Nirav Dave Michael Katelman Myron King Arvind 0001 José Meseguer 0001 Verification of microarchitectural refinements in rule-based systems. 61-71 2011 MEMOCODE https://doi.org/10.1109/MEMCOD.2011.5970511 conf/memocode/2011 db/conf/memocode/memocode2011.html#DaveKKAM11