Login / Signup

Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction.

Miroslav N. VelevRandal E. Bryant
Published in: DAC (2000)
Keyphrases
  • formal verification
  • functional units
  • model checking
  • computer systems
  • orders of magnitude
  • object oriented
  • signal processing
  • finite state machines