DMCA
A Methodology for Hardware Verification Based on Logic Simulation (1991)
by
Randal E. Bryant
Venue: | Journal of the ACM |
Citations: | 38 - 4 self |