Journal of the ACM Bibliography

Randal E. Bryant. A methodology for hardware verification based on logic simulation. Journal of the ACM, 38(2):299-328, April 1991. [BibTeX entry]
Categories and Subject Descriptors: B.6.3 [Logic Design]: Design Aids -- simulation, switching theory, verification

General Terms: Theory, Verfication

Additional Key Words and Phrases: Hardware verification, logic simulation, ternary simulation

Selected references


Shortcuts:

  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database