Restructuring of Arithmetic Circuits with Biconditional Binary Decision Diagrams

<i>Biconditional Binary Decision Diagrams</i> (BBDDs) are a novel class of canonical binary decision diagrams where the branching condition, and its associated logic expansion is <i>biconditional</i> on two variables. In this demonstration we use an efficient BBDD manipulation package as front-end to a commercial synthesis tool to restructure arithmetic operations in critical components of telecommunication circuits. We show that our approach meets tight timing constraints otherwise beyond the capabilities of traditional synthesis methods.


Presented at:
University Booth at DATE 2014, Dresden, Germany, March 24-28, 2014
Year:
2014
Laboratories:




 Record created 2015-01-27, last modified 2018-09-13

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)