Xiaofang Chen Yu Yang Ganesh Gopalakrishnan Ching-Tsun Chou Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. 81-88 2006 conf/fmcad/2006 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.28 db/conf/fmcad/fmcad2006.html#ChenYGC06