• 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