@inproceedings{ChenHldvt07,
author = {X. Chen and Y. Yang and M. Delisi and G. Gopalakrishnan and C.-T. Chou},
title =  {Hierarchical Cache Coherence Protocol Verification One Level at a Time Through Assume Guarantee},
booktitle = {IEEE Int'l High Level Design Validation and Test Workshop},
year = {2007},
pages = {107-114}
}