Arithmetic Boolean Expression Manipulator Using BDDs

Abstract

Recently, there has been a lot of works on LSI design systems using Binary Decision Diagrams (BDDs), which are efficient representations of Boolean functions. We previously developed a Boolean expression manipulator, that can quickly calculate Boolean expressions by using BDD techniques. It has greatly assisted us in developing VLSI design systems and… (More)
DOI: 10.1023/A:1008643722423

19 Figures and Tables

Topics

  • Presentations referencing similar topics