Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou. Hierarchical cache coherence protocol verification one level at a time through assume guarantee. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2007, Irvine, CA, USA, November 7-9, 2007. pages 107-114, IEEE Computer Society, 2007. [doi]
Abstract is missing.