Formal verification of sequential hardware: a tutorial.
Michael C. McFarlandPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1993)
Keyphrases
- formal verification
- model checking
- low cost
- model checker
- automated verification
- bounded model checking
- hardware and software
- real time
- temporal logic
- data acquisition
- hardware implementation
- symbolic model checking
- computer systems
- computing power
- vlsi implementation
- image processing
- computing systems
- massively parallel
- programming language
- program slicing
- functional verification