Formal verification of pipelined processors with precise exceptions.
Krishnamani KalyanasundaramR. K. ShyamasundarPublished in: MEMOCODE (2004)
Keyphrases
- formal verification
- model checking
- parallel architecture
- bounded model checking
- model checker
- parallel algorithm
- automated verification
- symbolic model checking
- data flow
- parallel processing
- functional verification
- program slicing
- high end
- shared memory
- parallel architectures
- multi agent systems
- distributed memory
- high performance computing
- parallel computing
- temporal logic