Randal E. Bryant
Randal E. Bryant.
A methodology for hardware verification based on logic simulation.
Journal of the ACM
, 38(2):299-328, April 1991.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database