Login / Signup

Debugging and optimizing high performance superscalar out-of-order processors using formal verification techniques.

Bijan AlizadehMasahiro Fujita
Published in: ISQED (2011)
Keyphrases
  • formal verification
  • highly parallel
  • artificial intelligence
  • multi agent systems
  • symbolic model checking
  • bounded model checking
  • embedded processors