Automatic Generation of Invariants in Processor Verification.

Jeffrey X. Su David L. Dill Clark W. Barrett

Published in: FMCAD (1996)

Keyphrases

functional verification
high speed
automatically generate
real time
model checking
affine invariant
moment invariants
computer architecture
formal verification
verification method
data sets
image sequences
general purpose
distributed memory
asynchronous circuits
quasi invariant