Formal Verification of a Superscalar Execution Unit.

Kyle L. Nelson Alok Jain Randal E. Bryant

Published in: DAC (1997)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
multithreading
temporal logic
execution model
instruction set
object oriented
formal specification
functional verification