A Sufficient Condition for Detection of XOR-Type Logic

In this paper we formulate a sufficient condition for Boolean functions to have a decomposition of type , with the total number of product-terms in , and smaller than the number of product-terms in . This condition is used to develop an algorithm for deciding whether a given function is likely to benefit from XOR minimization.

[1]  Elena Dubrova,et al.  AOXMIN-MV: A Heuristic Algorithm for AND-OR-XOR Minimization , 1999 .

[2]  Tsutomu Sasao,et al.  A heuristic algorithm to design AND-OR-EXOR three-level networks , 1998, Proceedings of 1998 Asia and South Pacific Design Automation Conference.

[3]  Robert K. Brayton,et al.  Logic Minimization Algorithms for VLSI Synthesis , 1984, The Kluwer International Series in Engineering and Computer Science.

[4]  H. A. Curtis,et al.  A new approach to The design of switching circuits , 1962 .

[5]  Carl Sechen,et al.  Quasi-algebraic decompositions of switching functions , 1995, Proceedings Sixteenth Conference on Advanced Research in VLSI.

[6]  Santanu Chattopadhyay,et al.  KGPMIN: an efficient multilevel multioutput AND-OR-XOR minimizer , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..