Login / Signup
A Scalable Formal Verification Methodology for Pipelined Microprocessors.
Jeremy R. Levitt
Kunle Olukotun
Published in:
DAC (1996)
Keyphrases
</>
formal verification
model checking
model checker
symbolic model checking
bounded model checking
automated verification
temporal logic
data flow
instruction set
highly scalable
state space
object oriented
computer systems
design methodology
program slicing