Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Journal of Electronic Testing
Erschienen in: Journal of Electronic Testing 2/2016

17.03.2016

New Boolean Equation for Orthogonalizing of Disjunctive Normal Form based on the Method of Orthogonalizing Difference-Building

Erschienen in: Journal of Electronic Testing | Ausgabe 2/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper a new Boolean equation for the orthogonalization of Boolean functions respectively of Ternary-Vector-Lists of disjunctive normal form is presented. It provides the mathematical solution of orthogonalization for the first time. The new equation is based on the new method of orthogonalizing difference-building ⊖. In contrast to other methods the new method has a faster computation time. Another advantage is the smaller number of product terms respectively of Ternary-Vectors in the orthogonalized result in contrast to other methods. Furthermore, the new equation can be used as a part in the calculation procedure of getting suitable test patterns for combinatorial circuits for verifying feasible logical faults.
Vorheriger Artikel An Exact approach for Complete Test Set Generation of Toffoli-Fredkin-Peres based Reversible Circuits
Nächster Artikel Applications of Mixed-Signal Technology in Digital Testing

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Weitere Produktempfehlungen anzeigen
Literatur
1.
Bochmann D, Posthoff CH (1981) Binäre dynamische Systeme. Akademie-Verlag Berlin, DDR
2.
Bochmann D, Zakrevskij AD, Posthoff CH (1984) Boolesche Gleichungen. Theorie - Anwendungen - Algorithmen. VEB Verlag Technik, Berlin, DDR
3.
Bochmann D (2006) Binäre Systeme - Ein Boolean Buch. LiLoLe-Verlag, Hagen, Germany
4.
Bronstein IN, Musiol G, Mühlig H, Semendjajew KA (2008) Taschenbuch der Mathematik 7. vollständig überarbeitete und ergänzte Auflage. Harri Deutsch Verlag, Frankfurt am Main, Thun, Germany
5.
Bushnell M L, Agrawal V D (2000) Essentials of electronic testing for digital, memory and mixed-signal VLSI circuits. Springer Science+Business Media, Inc., New York USA
6.
Can Y, Fischer G (2015) Orthogonalizing Boolean Subtraction of Minterms or Ternary-Vectors. Journal Acta Physica Polonica A. Special Issue of the International Conference on Computational and Experimental Science and Engineering, 128(2B): B-388
7.
Can Y, Fischer G (2015) Boolean Orthogonalizing Combination Methods. In: Fifth International Conference on Computational Science, Engineering and Information Technology (CCSEIT 2015), Vienna, Austria, 23-24
8.
Cohen M B, Gibbons P B, Mugridge W B, Colbourn C (2003) Constructing Test Suites for Interaction Testing. In: Proc. 25th International Conference on Software Engineeruing (ICSE’03), IEEE Computer Society
9.
Crama Y, Hammer P L (2011) Boolean Functions. Theory, Algorithms, and Applications. Cambridge University Press, New York, USA
10.
Czutro A (2013) Applications of SAT-Based Test Pattern Generation Efficiency. Dissertation, Technical Faculty of Albert-Ludwigs-University in Freiburg, Germany
11.
Fujiwara H (1985) Logic Testing and Design for Testability. MIT Press, Cambridge, MA
12.
Gherman V (2006) Scalable Deterministic Logic Built-In Self-Test. Dissertation, Computer Engineering of University Stuttgart, Germany
13.
Kassim H, Can Y, Sattler M S (2014) Untersuchung eines neuen Algorithmus zur Berechnung orthogonalisierter Differenz. Bachelor-thesis, Friedrich-Alexander-University Erlangen-Nuremberg, Germany
14.
Kempe G (2003) Tupel von TVL als Datenstruktur für Boolesche Funktionen, Tupel von TVL als Datenstruktur für Boolesche Funktionen. Dissertation Technische Universität Bergakademie of Freiberg, Germany
15.
Kühnrich M (1979) Ternärvektorlisten und deren Anwendung auf binäre Schaltnetzwerke. Dissertation Technische Universität Karl-Marx-Stadt (Chemnitz), DDR
16.
Matthes W (1987) Spezielle Hardware zur Verarbeitung von Ternärvektorlisten. Dissertation Technische Universität, Karl-Marx-Stadt (Chemnitz), DDR
17.
Polian I (2004) On non-standard fault models for logic digital circuits: simulation, design for testability, industrial applications. VDI Fortschritt-Berichte 20(377):169–178
18.
Posthoff CH (1979) Der Boolesche Differentialkalkül und seine Anwendung auf die Untersuchung dynamischer Erscheinungen in binären Systemen. Dissertation, Technische Hochschule Karl-Marx-Stadt (Chemnitz) DDR
19.
Posthoff CH, Steinbach B (1979) Binäre Gleichungen - Algorithmen und Programme. wissenschaftliche Schriftreihen, Karl-Marx-Stadt (Chemnitz), DDR
20.
Posthoff CH, Steinbach B (1991) Logikentwurf mit XBOOLE. Algorithmen und Programme. Verlag Technik GmbH Berlin Germany
21.
Posthoff C, Bochmann D, Haubold K (1986) Diskrete Mathematik. BSB Teubner Leipzig DDR
22.
Popula L (2011) Mathematik für Ingenieure und Naturwissenschaften Band 1. Viewer + Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden, Germany
23.
Steinbach B, Stöckert M (1994) Design of Fully Testable Circuits by Functional Decomposition and Implicit Test Pattern Generation. In: Proceedings of the 12th IEEE VLSI Test Symposium
24.
Steinbach B, Quoc L T (1990) Entwurf testbarer Schaltungen Wissenschaftliche Schriftreihen. Technische Universität Chemnitz, GermanyMATH
25.
Steinbach B, Posthoff CH (2010) The Solution of Discrete Constraint Problems Using Boolean Models. The Use of Ternary Vectors for Parallel SAT-Solving. In: Proc. of the 2nd International Conference on Agents and Artificial Intelligence - ICAART, Valencia, Spain, 22-24th January
26.
Steinbach B, Dorotska CH (2002) Orthogonal Block Change & Block Building Using Ordered Lists of Ternary Vectors. Freiberg University of Mining and Technology. Freiberg, Germany
27.
Steinbach B, Dorotska CH (2003) Orthogonal Block Change & Block Building using a Simulated Annealing Algorithm. In: Proc. Conference on The Experience of Designing and Application of CAD Systems in Microelectronics CADSM 2003
28.
Steinbach B, Dorotska CH (2000) Orthogonal Block Building Using Ordered Lists of Ternary Vectors Freiberg University of Mining and Technology. Freiberg, Germany
29.
Tsai W-T, Colbourn CJ, Luoy J, Qi G, Li Q, Bai X (2013) Test Algebra for Combinatorial Testing. In: Proc. 8th International Workshop on Automation of Software Test (AST 2013), San Francisco, CA, USA
30.
Zander HJ (1989) Logischer Entwurf binärer Systeme. Verlag Technik, Berlin, DDR
Metadaten
Titel
New Boolean Equation for Orthogonalizing of Disjunctive Normal Form based on the Method of Orthogonalizing Difference-Building
Publikationsdatum
17.03.2016
Erschienen in
Journal of Electronic Testing / Ausgabe 2/2016
Print ISSN: 0923-8174
Elektronische ISSN: 1573-0727
DOI
https://doi.org/10.1007/s10836-016-5572-6

Weitere Artikel der Ausgabe 2/2016

Journal of Electronic Testing 2/2016 Zur Ausgabe

OriginalPaper

A CMOS Ripple Detector for Voltage Regulator Testing

OriginalPaper

An Exact approach for Complete Test Set Generation of Toffoli-Fredkin-Peres based Reversible Circuits

OriginalPaper

Built-In Self-Test Design for the 3D-Stacked Wide-I/O DRAM

OriginalPaper

A 10-Transistor 65 nm SRAM Cell Tolerant to Single-Event Upsets

OriginalPaper

Exemplar-based Failure Triage for Regression Design Debugging

News

Test Technology Newsletter

Neuer Inhalt

    Bildnachweise