Formal Design Verification of Digital Systems (1993)

Cached

Download Links

by Thomas Shiple , Adnan Aziz , Felice Balarin , Szu-Tsung Cheng , Ramin Hojati , Timothy Kam , Sriram Krishnan , Vigyan Singhal , Huey-yih Wang , Robert Brayton , Alberto Sangiovanni-Vincentelli
Venue:In Proceedings of TECHCON
Citations:1 - 1 self