EveCheck: An Event-Driven, Scalable Algorithm for Coherent Shared Memory Verification | IEEE Journals & Magazine | IEEE Xplore