000224346 001__ 224346
000224346 005__ 20190317000615.0
000224346 037__ $$aCONF
000224346 245__ $$aLUT Mapping and Optimization for Majority-Inverter Graphs
000224346 260__ $$c2016-06-11
000224346 269__ $$a2016-06-11
000224346 336__ $$aConference Papers
000224346 500__ $$aERC Cybercare 669354 / SNF 200021-146600
000224346 520__ $$aA <i>Majority-Inverter Graph</i> (MIG) is a directed acyclic graph in which every vertex represents a three-input majority operation and edges may be complemented to indicate operand inversion. MIGs have algebraic and Boolean properties that enable efficient logic optimization. They have been shown to obtain superior synthesis results as compared to state-of-the- art <i>And-Inverter Graph</i> (AIG) based algorithms. In this paper, we extend MIGs to <i>Functionally Reduced</i> MIGs (FRMIGs), analogous to the extension of AIGs to <i>Functionally Reduced</i> AIGs (FRAIGs). This enables the use of MIGs in a <i>lossless synthesis</i> design flow. We present an FRMIG based technology mapper for <i>lookup tables</i> (LUTs). Any MIG may be mapped to a <i>k</i>- LUT network. Using <i>exact synthesis</i> we may decompose the <i>k</i>- LUT network back into an equivalent MIG. We show how LUT mapping and exact <i>k</i>-LUT decomposition can be used to create an MIG optimization method. Finally, we present the results of applying our new optimization method and LUT mapper to both logic optimization and technology mapping.
000224346 700__ $$g244796$$aHaaswijk, Winston Jason$$0248465
000224346 700__ $$g263922$$aSoeken, Mathias$$0249604
000224346 700__ $$aAmaru, Luca
000224346 700__ $$aGaillardon, Pierre-Emmanuel
000224346 700__ $$g167918$$aDe Micheli, Giovanni$$0240269
000224346 7112_ $$dJune 10-11, 2016$$cAustin, Texas, USA$$a25th International Workshop on Logic & Synthesis (IWLS)
000224346 773__ $$tProceedings of the 25th International Workshop on Logic & Synthesis (IWLS)
000224346 8560_ $$fcarole.burget@epfl.ch
000224346 8564_ $$uhttps://infoscience.epfl.ch/record/224346/files/WH_IWLS16.pdf$$zn/a$$s438525$$yn/a
000224346 909C0 $$xU11140$$0252283$$pLSI1
000224346 909CO $$pIC$$qGLOBAL_SET$$ooai:infoscience.tind.io:224346$$pconf$$pSTI
000224346 917Z8 $$x112915
000224346 937__ $$aEPFL-CONF-224346
000224346 973__ $$rREVIEWED$$aEPFL
000224346 980__ $$aCONF