Industrial Strength Formal Verification Techniques for Hardware Designs.

S. P. Rajan Natarajan Shankar Mandayam K. Srivas

Published in: VLSI Design (1997)

Keyphrases

formal verification
industrial strength
hardware designs
model checking
model checker
model based diagnosis
automated verification
bounded model checking
text mining
symbolic model checking
program slicing
real time
data sets
np hard
software systems
hardware description language