Formal verification in hardware design: a survey.

Christoph Kern Mark R. Greenstreet

Published in: ACM Trans. Design Autom. Electr. Syst. (1999)

Keyphrases

formal verification
hardware design
model checking
hardware implementation
model checker
automated verification
fpga hardware
symbolic model checking
bounded model checking
hardware software
program slicing
temporal logic
general purpose
real time
formal specification
feature extraction
neural network