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

by Y-T Lai, S Sastry
Venue:Proc. of 29th Design Automation Conf