Verification Of Hierarchical Cache Coherence Protocols For Futuristic Processors. door Xiaofang Chen & David C. Mills