Login / Signup

Formal verification in Intel CPU design.

John O'Leary
Published in: MEMOCODE (2004)
Keyphrases
  • formal verification
  • bounded model checking
  • functional verification
  • case study
  • design process
  • user interface
  • general purpose
  • model checking