HSIS: a BDD-based environment for formal verification (1994)

by A. Aziz , F. Balarin , S. -t. Cheng , R. Hojati , T. Kam , S. C. Krishnan , R. K. Ranjan , T. R. Shiple , V. Singhal , S. Tasiran , H. -y. Wang , R. K. Brayton , A. L. Sangiovanni-vincentelli
Venue:in Proceedings of 31st ACM/IEE Design Automation Conference
Citations:25 - 14 self