A C++/SystemC model of NUVA over a cache-coherent multiprocessor (with mesh/torus network-on-chip topologies), based on GEM5. Work based on this code has been published in ESWEEK 2015:
http://dl.acm.org/citation.cfm?id=2830707
"NUVA: architectural support for runtime verification of parametric specifications over multicores"
SIMM has 50000+ lines of C++ code. Source code will be provided upon request. Currently, we cannot place it in the public domain until we resolve license issues involving other reused open-source software.