A Methodology for Hardware Verification Based on Logic Simulation (1991)

Cached

Download Links

by Randal E. Bryant
Venue:Journal of the ACM
Citations:37 - 5 self