Edge-valued binary decision diagrams for multi-level hier- archical verification (1992)

by Y-T Lai, S Sastry
Venue:in Proc. Design Automation Conference (DAC