DocumentCode
341485
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
Volume
1
fYear
1999
fDate
36342
Firstpage
379
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISCAS.1999.777882
Filename
777882
Link To Document