Amarù, LucaBalatsoukas Stimming, AlexiosGaillardon, Pierre-EmmanuelBurg, AndreasDe Micheli, Giovanni2015-01-272015-01-272015-01-272014https://infoscience.epfl.ch/handle/20.500.14299/110573<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.text::conference output::conference poster not in proceedings