High-speed formal verification of heterogeneous coherence hierarchies.
Jesse G. BeuJason A. PooveyEric R. HeinThomas M. ContePublished in: HPCA (2013)
Keyphrases
- formal verification
- high speed
- model checking
- model checker
- low power
- bounded model checking
- automated verification
- symbolic model checking
- program slicing
- real world
- heterogeneous networks
- domain specific
- functional verification
- orders of magnitude
- domain independent
- hierarchical structure
- temporal logic
- distributed systems
- high speed networks