Computation of disjoint cube representations using a maximal binate variable heuristic

Proceedings of the Annual Southeastern Symposium on System Theory

Volumn 2002-January, Issue , 2002, Pages 417-421

  Shivakumaraiah, Lokesh ^a   Thornton, Mitchell A ^a  

^a MISSISSIPPI STATE UNIVERSITY   (United States)

Author keywords

Binate function variables; Cube list representations disjoint sum of products; Unate function variables

Indexed keywords

BINS; COMPUTATION THEORY; SYSTEM THEORY;

BENCHMARK FUNCTIONS; BINATE FUNCTIONS; DISJOINT CUBES; SUM OF PRODUCTS; UNATE FUNCTIONS;

GEOMETRY;

EID: 0012932833     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SSST.2002.1027079     Document Type: Conference Paper

References (12)

1. B. J. Falkowski, I. Schafer, M. A. Perkowski, " A fast computer algorithm for the generation of disjoint cubes for completely and incompletely specified Boolean functions," Proceedings of 33rd Midwest Symposium on Circuits & Systems, Calgary, Alberta, August 1990, pp. 1119-1122.
2. B. J. Falkowski, I. Schäfer, C. H. Chang, "An effective computer algorithm for the calculation of disjoint cube representation of Boolean functions,", 1993., Proceedings of the 36th IEEE Midwest Symposium on Circuits and Systems, Detroit. MI, USA, August 1993, pp. 1308-1311.
3. Bogdan J. Falkowski. "Calculation of Rademacher-Walsh Spectral coefficients for systems of completely and incompletely specified Boolean functions," IEEE International Symposium on Circuits and Systems, Chicago, IL, USA, May 1993, pp. 1698-1701.
4. B. J. Falkowski and C. H. Chang, "Paired Haar spectra computation through operations on disjoint cubes," IEE Proceedings on Circuits. Devices and Systems, June 1999, pp. 117-123.
5. T. Kozlowski, E. L. Dagless, Jonathan M. Saul, "An enhanced algorithm for the minimization of exclusive-OR-sum-of-products for incompletely specified functions," Proceedings of IEEE International Conference on Computer Design: VLSI in Computers and Processors, Austin, TX, USA, October 1995, pp. 224-249.
6. S.L. Hurst. D.M. Miller. J.C. Muzio, Spectral Techniques in Digital Logic, London, U.K., Academic Press, 1985.
7. R. K. Brayton, G. D. Hachtel, C. T. McMullen, and A. L. Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, Boston, MA: Kluwer Academic Publishers, 1984.
8. M. A. Thornton, R. Drechsler and D. M. Miller, Spectral Techniques in VLSI CAD, Kluwer Academic Publishers, Dordrecht, Netherlands, 2001.
9. T. Kozlowski, Application of exclusive-OR logic in technology independent logic optimization, Ph.D. Dissertation, University of Bristol, January 1996.
10. 110] T. Sasao, Exmin2: A simplification algorithm for exclusive-or sum-of-products expressions for multiple-valued input two-valued-output functions, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 12(5), pp. 621-632, 1993.
11. N. Song and M. Perkowski, EXORC1SM-MV-2: Minimization and exclusive sum of products expressions for multiple-valued input incompletely specified functions. Proceedings qf the International Symposium on Multi-valued Logic, pp. 132-137, May 1993.
12. A. Mishchenko and M. Perkowski, Fast heuristic minimization of exclusive-sums-of-products, Proceedings of the International Workshop on Reed-Muller expansions in circuit design, pp. 242-249, August 2001.