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

作　　者：张娅[1] 

机构地区：[1]西北核技术研究所科技信息中心,新疆乌鲁木齐841700

出　　处：《数字技术与应用》2013年第5期151-152,211,共3页Digital Technology & Application

摘　　要：FLSAH SCI协议作为Cache一致性协议的一种,具有灵活性、高效性和适应性强等特点,是目前最具发展潜力的Cache一致性协议之一。该协议在继承标准SCI协议低存储开销、维护精确共享信息等优点的同时对标准SCI协议进行优化,得到更为高效、灵活的FLASH SCI协议。本文用SystemC高层次语言对FLASH SCI协议进行建模与描述,并验证其正确性。模拟结果证明了FLASH SCI协议的正确性以及其在存储开销和执行效率上的优越性。FLASH SCI protocol as a kind of cache coherence protocols, with flexibility, efficiency and adaptability characteristics, is one of the most potentially developing protocol in cache coherence protocol. This protocol not only inherits the advantages of the standard SCI protocol, including low storage overhead and maintaining sharing of information accurately, but also optimizes the standard SCI protocol to generate an efticient and flexible FLASH SCI protocol. This paper models and describes the FLASH SCI protocol by using SystemC language, and then verifies its correctness. The simulation results declares that FLASH SCI protocol is entired correct and prove the correctness of FLASH SCI protocol with its superiority in storage cost and efficiency in implementation.

关 键 词：CACHE一致性协议 SystemC高层次语言 模拟验证 形式化验证 FLASH SCI协议 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]