Abstract-I detta dokument föreslår vi ett paradigmskifte i att representera och optimera logik genom att endast använda majoritet (MAJ) och inversion (INV) fungerar som grundläggande operationer. Vi representerar logiska funktioner av majoritet-inverter graf (MIG): en riktad acyklisk graf bestående av tre-ingång majoritet noder och regelbundna/kompletterade kanter. Vi optimerar MIGs via en ny Boolesk algebra, baserad uteslutande på majoritets- och inversionsverksamhet, som vi formellt axiomatiserar i denna uppsats. Som ett komplement till MIG algebraisk optimering utvecklar vi kraftfulla Booleska metoder som utnyttjar globala egenskaper hos MIG, såsom bit-terror maskering. MIG algebraiska och booleska metoder tillsammans uppnår mycket hög optimeringskvalitet. Med tanke på uppsättningen av IWLS'05-riktmärken, möjliggör vår MIG-optimer (MIGhty) en 7% djupminskning i LUT-6-kretsar karterade av ABC samtidigt som den minskar storlek och effektaktivitet, med avseende på liknande och-inverter graf (AIG) optimering. Fokusering på aritmetiska intensiva riktmärken istället, MIGhty möjliggör en 16% djupminskning i LUT-6 kretsar kartlagt av ABC, återigen med avseende på liknande AIG optimering. Anställd som front-end till en delay-kritisk 22-nm applikationsspecificerad integrerad kretsflöde (logisk syntes + fysisk design) MIGhty minskar den genomsnittliga fördröjningen / area / effekt med 13% / 4% / 3%, respektive över 31 akademiska och industriella riktmärken. Vi visar också på förseningar/område/effektförbättringar med 10%/10%/5% för ett kommersiellt FPGA-flöde. Index Terms-Boolean algebra, designmetoder och verktyg, riktade acykliska grafer (DAG), logiksyntes, majoritetslogik, optimering.
Den majoritetsinverterdiagram (MIG) som föreslagits av Amarú, et al. REF ger en alternativ logisk representation med hjälp av tre ingångars majoritetsnoder och regelbundna/kompletterade kanter.
Majority-Inverter Graph: A New Paradigm for Logic Optimization
{'venue': 'IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems', 'journal': 'IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems', 'mag_field_of_study': ['Computer Science']}