Skip to main content
Log in

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

Journal of Electronic Testing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13

References

  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

    Google Scholar 

  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

    Google Scholar 

  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, Germany

    MATH  Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

  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

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yavuz Can.

Additional information

Responsible Editor: C. A. Papachristou

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Can, Y., Kassim, H. & Fischer, G. New Boolean Equation for Orthogonalizing of Disjunctive Normal Form based on the Method of Orthogonalizing Difference-Building. J Electron Test 32, 197–208 (2016). https://doi.org/10.1007/s10836-016-5572-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10836-016-5572-6

Keywords

Navigation