Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits

@article{Bern1995EfficientOB,
  title={Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits},
  author={Jochen Bern and Christoph Meinel and Anna Slobodov{\'a}},
  journal={32nd Design Automation Conference},
  year={1995},
  pages={408-413}
}
  • Jochen Bern, Christoph Meinel, Anna Slobodová
  • Published 1995
  • Computer Science
  • 32nd Design Automation Conference
  • We present the concept of TBDD's which considerably enlarges the class of Boolean functions that can be efficiently manipulated in terms of OBDD's. It extends the idea of using domain transformations, which is well-known in many areas of mathematics, physics, and technical sciences, to the context of OBDD-based Boolean function manipulation in CAD: Instead of working with the OBDD-representation of a function f, TBDD's allow working with an OBDD-representation of a suited cube transformed… CONTINUE READING

    Figures and Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 28 CITATIONS

    Canonical TBDD's and Their Application to Combinational Verification

    VIEW 11 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Binary decision diagrams and beyond: enabling technologies for formal verification

    • R. Bryant
    • Computer Science
    • Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)
    • 1995

    Recent advances in BDD based representations for Boolean functions: a survey

    • Apurva Narayan
    • Computer Science
    • Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)
    • 1999
    VIEW 1 EXCERPT
    CITES METHODS

    Lower Bounds for Linearly Transformed OBDDs and FBDDs

    VIEW 3 EXCERPTS
    CITES BACKGROUND

    Binary decision diagrams in theory and practice

    VIEW 7 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    1995
    2014

    CITATION STATISTICS

    • 3 Highly Influenced Citations