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.


Présenté à:
University Booth at DATE 2014, Dresden, Germany, March 24-28, 2014
Année
2014
Laboratoires:




 Notice créée le 2015-01-27, modifiée le 2019-03-17

n/a:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)