基于SystemC的Cache一致性协议描述与验证

• 作者: 张娅
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: Cache一致性协议 SystemC高层次语言 模拟验证 形式化验证 FLASH SCI协议
• 年，卷（期）: 2013,（5）
• 页码范围: 151-152,211
• 页数: 3页
• 分类号: TP306
• 字数: 2277字
• 语种: 中文

摘要

FLSAH SCI协议作为Cache一致性协议的一种，具有灵活性、高效性和适应性强等特点，是目前最具发展潜力的Cache一致性协议之一。该协议在继承标准SCI协议低存储开销、维护精确共享信息等优点的同时对标准SCI协议进行优化，得到更为高效、灵活的FLASH SCI协议。本文用SystemC高层次语言对FLASH SCI协议进行建模与描述，并验证其正确性。模拟结果证明了FLASH SCI协议的正确性以及其在存储开销和执行效率上的优越性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张娅	西北核技术研究所科技信息中心	1	0	0.0	0.0