Verification of CGRA Executable Code and Debugging of Memory Dependence Violation. - Heejun Shim; Minwook Ahn; JinSae Jung; Yenjo Han; Soojung Ryu (MTV, 2012)