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:

• Type: Conference
• Year: 2010
• Where: GLVLSI
• Authors: Stergios Stergiou, Jawahar Jain
• Keywords: GLVLSI 2010, Library’s Node Structure, Ordered Binary Decision Diagram, Report Significant Performance, VLSI