Exploiting Positive Equality and Partial Non-Consistency in the Formal Verification of Pipelined Microprocessors.

Miroslav N. Velev Randal E. Bryant

Published in: DAC (1999)

Keyphrases

formal verification
model checking
automated verification
bounded model checking
positive and negative
model checker
symbolic model checking
computer architecture
program slicing
personal computer
partial information
consistency checking
temporal logic
data flow
computing power
functional verification