Sciweavers

GLVLSI
2010
IEEE
139views VLSI» more  GLVLSI 2010»
14 years 5 months ago
Dynamically resizable binary decision diagrams
We present the architecture of a new Ordered Binary Decision Diagram library that is designed from the ground up to be space efficient. The main novelty lies in the library’s no...
Stergios Stergiou, Jawahar Jain