143
Voted
GLVLSI
2010
IEEE
16 years 11 hour ago
2010
IEEE
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...