000182701 001__ 182701
000182701 005__ 20190416220713.0
000182701 020__ $$a978-3-9815370-0-0/
000182701 037__ $$aCONF
000182701 245__ $$aBiconditional BDD: A Novel Canonical BDD for Logic Synthesis targeting XOR-rich Functions
000182701 269__ $$a2013
000182701 260__ $$c2013
000182701 336__ $$aConference Papers
000182701 520__ $$aWe present a novel class of decision diagrams, called Biconditional Binary Decision Diagrams (BBDDs), that enable efficient logic synthesis for XOR-rich functions. BBDDs are binary decision diagrams where the Shannon’s expansion is replaced by the biconditional expansion. Since the biconditional expansion is based on the XOR/XNOR operations, XOR-rich logic circuits are efficiently represented and manipulated with canonical Reduced and Ordered BBDDs (ROBBDDs). Experimental results show that ROBBDDs have 37% fewer nodes on average compared to traditional ROBDDs. We exploit this opportunity in logic synthesis for XOR-rich functions. For this purpose, we developed a BBDD- based One-Pass Synthesis (OPS) methodology. The BBDD-based OPS is capable to harness the potential of novel XOR-efficient devices, such as ambipolar transistors. Experimental results show that our logic synthesis methodology reduces the number of ambipolar transistors by 49.7% on average with respect to state-of-art commercial logic synthesis tool. Considering CMOS technology, the BBBD-based OPS reduces the device count by 31.5% on average compared to commercial synthesis tool.
000182701 6531_ $$aBDD
000182701 6531_ $$acanonicity
000182701 6531_ $$aXOR-rich
000182701 6531_ $$alogic synthesis
000182701 6531_ $$aambipolar transistors
000182701 700__ $$aAmarù, Luca
000182701 700__ $$aGaillardon, Pierre-Emmanuel
000182701 700__ $$g167918$$aDe Micheli, Giovanni$$0240269
000182701 7112_ $$dMarch 18-22, 2013$$cGrenoble, France$$aDesign, Automation & Test in Europe Conference (DATE 2013)
000182701 773__ $$tProceedings of the Design, Automation & Test in Europe Conference (DATE 2013)
000182701 8564_ $$uhttps://infoscience.epfl.ch/record/182701/files/IP4_03.PDF$$zn/a$$s481544$$yn/a
000182701 909C0 $$xU11140$$0252283$$pLSI1
000182701 909CO $$pIC$$ooai:infoscience.tind.io:182701$$qGLOBAL_SET$$pconf$$pSTI
000182701 917Z8 $$x112915
000182701 917Z8 $$x112915
000182701 917Z8 $$x112915
000182701 917Z8 $$x112915
000182701 937__ $$aEPFL-CONF-182701
000182701 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000182701 980__ $$aCONF