High level formal verification of next-generation microprocessors.
Thomas SchubertPublished in: DAC (2003)
Keyphrases
- formal verification
- high level
- model checking
- low level
- automated verification
- bounded model checking
- model checker
- symbolic model checking
- program slicing
- programming language
- higher level
- low level features
- personal computer
- functional verification
- artificial intelligence
- instruction set
- single chip
- computer architecture
- semantic information
- object oriented