McVerSi: A test generation framework for fast memory consistency verification in simulation | IEEE Conference Publication | IEEE Xplore