Verification of CGRA Executable Code and Debugging of Memory Dependence Violation.
Heejun ShimMinwook AhnJinSae JungYenjo HanSoojung RyuPublished in: MTV (2012)
Keyphrases
- hardware designs
- java programs
- model checking
- source code
- control flow
- memory requirements
- formal verification
- program slicing
- memory usage
- program understanding
- formal specification
- execution traces
- symbolic execution
- multi threaded
- processor core
- neural network
- limited memory
- memory space
- computing power
- main memory
- model based diagnosis
- fault localization
- hardware description language
- software testing
- address space
- process algebra
- functional verification
- data flow
- memory size
- code generation
- formal methods
- computational power