Simulation-based memory dependence checker for CGRA-mapped code verification.

Heejun Shim, Soojung Ryu

Browse the full ISCAS paper archive.