Formal verification of pipelined microprocessors.
Daniel KröningPublished in: Ausgezeichnete Informatikdissertationen (2001)
Keyphrases
- bounded model checking
- single chip
- programming language
- symbolic model checking
- model checking
- program slicing
- linear array
- instruction set
- personal computer
- model checker
- data flow
- object oriented
- computer systems
- formal verification
- computing power
- computer architecture
- functional verification
- automated verification