000190587 001__ 190587
000190587 005__ 20190316235745.0
000190587 0247_ $$2doi$$a10.7873/DATE.2014.309
000190587 037__ $$aCONF
000190587 245__ $$aAn Efficient Manipulation Package for Biconditional Binary Decision Diagrams
000190587 269__ $$a2014
000190587 260__ $$bIEEE$$c2014
000190587 336__ $$aConference Papers
000190587 520__ $$aBiconditional Binary Decision Diagrams (BBDDs) are a novel class of binary decision diagrams where the branching condition, and its associated logic expansion, is biconditional on two variables. Reduced and ordered BBDDs are remarkably compact and unique for a given Boolean function. In order to exploit BBDDs in Electronic Design Automation (EDA) applications, efficient manipulation algorithms must be developed and integrated in a software package. In this paper, we present the theory for efficient BBDD manipulation and its practical software implementation. The key features of the proposed approach are (i) strong canonical form pre-conditioning of stored BBDD nodes, (ii) recursive formulation of Boolean operations in terms of biconditional expansions, (iii) performance-oriented memory management and (iv) dedicated BBDD re-ordering techniques. Experimental results show that the developed BBDD package achieves an average node count reduction of 19.48% and a speed-up factor of 1.63x with respect to a state-of-art decision diagram manipulation package. Employed in the synthesis of datapath circuits, the BBDD manipulation package is capable to advantageously restructure arithmetic operations producing 11.02% smaller and 32.29% faster circuits as compared to a commercial synthesis flow.
000190587 6531_ $$abenchmark testing
000190587 6531_ $$aboolean functions
000190587 6531_ $$adata structures
000190587 6531_ $$amemory management
000190587 6531_ $$asoftware algorithms
000190587 6531_ $$asoftware packages
000190587 700__ $$aAmarù, Luca
000190587 700__ $$aGaillardon, Pierre-Emmanuel
000190587 700__ $$g167918$$aDe Micheli, Giovanni$$0240269
000190587 7112_ $$dMarch 24-28, 2014$$cDresden, Germany$$aDesign, Automation and Test in Europe (DATE)
000190587 773__ $$tDesign, Automation and Test in Europe Conference and Exhibition (DATE), 2014
000190587 8564_ $$uhttps://infoscience.epfl.ch/record/190587/files/LA_DATE14.PDF$$zn/a$$s122882$$yn/a
000190587 909C0 $$xU11140$$0252283$$pLSI1
000190587 909CO $$pIC$$ooai:infoscience.tind.io:190587$$qGLOBAL_SET$$pconf$$pSTI
000190587 917Z8 $$x112915
000190587 917Z8 $$x112915
000190587 917Z8 $$x112915
000190587 917Z8 $$x112915
000190587 937__ $$aEPFL-CONF-190587
000190587 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000190587 980__ $$aCONF