A Methodology for the Formal Verification of RISC Microprocessors A Functional Approach.
Salah MernizMohamed BenmohammedPublished in: AICCSA (2007)
Keyphrases
- formal verification
- functional verification
- model checking
- instruction set
- model checker
- symbolic model checking
- bounded model checking
- automated verification
- program slicing
- application specific
- personal computer
- computer architecture
- computing power
- software engineering
- formal specification
- temporal logic
- high speed