A new generation of ISCAS benchmarks from formal verification of high-level microprocessors.
Miroslav N. VelevPublished in: ISCAS (5) (2004)
Keyphrases
- formal verification
- high level
- model checking
- low level
- symbolic model checking
- model checker
- automated verification
- bounded model checking
- functional verification
- temporal logic
- computing power
- lower level
- generation process
- program slicing
- graph theory
- low level features
- decision problems
- fuzzy sets
- programming language
- software engineering
- artificial intelligence