Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits

  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},
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
Highly Cited
This paper has 34 citations. REVIEW CITATIONS
22 Citations
0 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 22 extracted citations

Similar Papers

Loading similar papers…