Yung-Te Lai, Sarma Sastry
Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification
DAC, 1992.
@inproceedings{DAC-1992-LaiS, acmid = "113938.149642", author = "Yung-Te Lai and Sarma Sastry", booktitle = "{Proceedings of the 29th Design Automation Conference}", isbn = "0-8186-2822-7", pages = "608--613", publisher = "{IEEE Computer Society Press}", title = "{Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification}", year = 1992, }