Title :
Reed-Muller weight and literal vectors for NPN classification
Author :
Chang, Chip-Hong ; Falkowski, Bogdan J.
Author_Institution :
Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
Abstract :
In this paper, we have proven by using the subnumber operation that the Reed-Muller weight and literal vectors fully classify Boolean functions in the NP equivalent class and NPN equivalent class, respectively. The presented proof leads to applications in technology mapping and design with Universal Logic Modules
Keywords :
Boolean functions; logic design; switching functions; vectors; Boolean function classification; NP equivalent class; NPN classification; NPN equivalent class; Reed-Muller literal vectors; Reed-Muller weight vectors; negation; permutation; subnumber operation; switching functions; technology mapping; universal logic modules; Boolean functions; Circuit synthesis; Design automation; Input variables; Integrated circuit interconnections; Laboratories; Logic circuits; Logic design; Software libraries; Switching circuits;
Conference_Titel :
Circuits and Systems, 1999. ISCAS '99. Proceedings of the 1999 IEEE International Symposium on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-5471-0
DOI :
10.1109/ISCAS.1999.777882
