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

by Y-T Lai, S Sastry
Venue:Proc. of 29th ACM/IEEE Design Automation Conference