Login / Signup

I'm Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor.

Michael KantrowitzLisa M. Noack
Published in: DAC (1996)
Keyphrases
  • data analysis
  • expert systems
  • statistical analysis
  • static analysis
  • machine learning
  • formal analysis
  • signature verification