A shared-variable-based synchronization approach to efficient cache coherence simulation for multi-core systems | IEEE Conference Publication | IEEE Xplore