Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification.

Yung-Te Lai, Sarma Sastry

Browse the full DAC paper archive.