Fast exact and quasi-minimal minimization of highly testable fixed-polarity AND/XOR canonical networks

• Published in: [1992] Proceedings 29th ACM/IEEE Design Automation Conference pp. 30 - 35
• Main Authors: Sarabi, A., Perkowski, M.A.
• Format: Conference Proceeding
• Language: English
• Published: IEEE Comput. Soc. Press 1992
• Subjects: Arithmetic; Boolean functions; Circuit testing; Field programmable gate arrays; Logic design; Logic devices; Minimization methods; Network synthesis; Programmable logic arrays; Switching circuits
• ISBN: 9780818628221; 0818628227
• ISSN: 0738-100X
• DOI: 10.1109/DAC.1992.227867

The authors introduce fast exact and quasi-minimal algorithms for minimal fixed polarity AND/XOR canonical representation of Boolean functions. The method uses features of arrays of disjoint cubes representations of functions to identify the minimal networks. These features can drastically reduce the search space and provide high quality heuristics for quasi-minimal representations. Experimental results show that these special AND/XOR networks, on the average, have a similar number of terms to Boolean AND/OR networks while there were functions for which AND/XOR circuits were much smaller. The circuits generated are much more testable.< >