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

摘要

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