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

作者：张娅

来源：数字技术与应用, 2013, (05): 151-152+211.

DOI：10.19695/j.cnki.cn12-1369.2013.05.104

• Cache一致性协议
• SystemC高层次语言
• 模拟验证
• 形式化验证
• FLASH
• SCI协议 Cache Coherence Protocol SystemC High-level Language Simulation verifying FLASH SCI Protocol

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

• 单位
  西北核技术研究所