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.
References
Bochmann D, Posthoff CH (1981) Binäre dynamische Systeme. Akademie-Verlag Berlin, DDR
Bochmann D, Zakrevskij AD, Posthoff CH (1984) Boolesche Gleichungen. Theorie - Anwendungen - Algorithmen. VEB Verlag Technik, Berlin, DDR
Bochmann D (2006) Binäre Systeme - Ein Boolean Buch. LiLoLe-Verlag, Hagen, Germany
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
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
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
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
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
Crama Y, Hammer P L (2011) Boolean Functions. Theory, Algorithms, and Applications. Cambridge University Press, New York, USA
Czutro A (2013) Applications of SAT-Based Test Pattern Generation Efficiency. Dissertation, Technical Faculty of Albert-Ludwigs-University in Freiburg, Germany
Fujiwara H (1985) Logic Testing and Design for Testability. MIT Press, Cambridge, MA
Gherman V (2006) Scalable Deterministic Logic Built-In Self-Test. Dissertation, Computer Engineering of University Stuttgart, Germany
Kassim H, Can Y, Sattler M S (2014) Untersuchung eines neuen Algorithmus zur Berechnung orthogonalisierter Differenz. Bachelor-thesis, Friedrich-Alexander-University Erlangen-Nuremberg, Germany
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
Kühnrich M (1979) Ternärvektorlisten und deren Anwendung auf binäre Schaltnetzwerke. Dissertation Technische Universität Karl-Marx-Stadt (Chemnitz), DDR
Matthes W (1987) Spezielle Hardware zur Verarbeitung von Ternärvektorlisten. Dissertation Technische Universität, Karl-Marx-Stadt (Chemnitz), DDR
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
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
Posthoff CH, Steinbach B (1979) Binäre Gleichungen - Algorithmen und Programme. wissenschaftliche Schriftreihen, Karl-Marx-Stadt (Chemnitz), DDR
Posthoff CH, Steinbach B (1991) Logikentwurf mit XBOOLE. Algorithmen und Programme. Verlag Technik GmbH Berlin Germany
Posthoff C, Bochmann D, Haubold K (1986) Diskrete Mathematik. BSB Teubner Leipzig DDR
Popula L (2011) Mathematik für Ingenieure und Naturwissenschaften Band 1. Viewer + Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden, Germany
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
Steinbach B, Quoc L T (1990) Entwurf testbarer Schaltungen Wissenschaftliche Schriftreihen. Technische Universität Chemnitz, Germany
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
Steinbach B, Dorotska CH (2002) Orthogonal Block Change & Block Building Using Ordered Lists of Ternary Vectors. Freiberg University of Mining and Technology. Freiberg, Germany
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
Steinbach B, Dorotska CH (2000) Orthogonal Block Building Using Ordered Lists of Ternary Vectors Freiberg University of Mining and Technology. Freiberg, Germany
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
Zander HJ (1989) Logischer Entwurf binärer Systeme. Verlag Technik, Berlin, DDR
Author information
Authors and Affiliations
Corresponding author
Additional information
Responsible Editor: C. A. Papachristou
Rights and permissions
About this article
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10836-016-5572-6