Highly Influenced

# Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits

@article{Bern1994EfficientOB, 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={1994}, pages={408-413} }

- Published 1994 in 32nd Design Automation Conference
DOI:10.1145/217474.217563

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