Sciweavers

GLVLSI
2010
IEEE

Dynamically resizable binary decision diagrams

13 years 8 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 node structure, which is modified at run-time to closely follow the variations in size of the stored OBDDs. We compare the new library with existing OBDD libraries on ACM/SIGDA and industrial circuits and report significant performance and space gains. Categories and Subject Descriptors:
Stergios Stergiou, Jawahar Jain
Added 10 Jul 2010
Updated 10 Jul 2010
Type Conference
Year 2010
Where GLVLSI
Authors Stergios Stergiou, Jawahar Jain
Comments (0)