Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee.

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou

Browse the full FMCAD paper archive.