Jae W. Lee Myron King Krste Asanovic Continual hashing for efficient fine-grain state inconsistency detection. 33-40 2007 ICCD http://dx.doi.org/10.1109/ICCD.2007.4601877 conf/iccd/2007 db/conf/iccd/iccd2007.html#LeeKA07