期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

基于SystemC的Cache一致性协议描述与验证
下载PDF
导出
摘要 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.
作者 张娅
机构地区 西北核技术研究所科技信息中心
出处 《数字技术与应用》 2013年第5期151-152,211,共3页 Digital Technology & Application
关键词 CACHE一致性协议 SystemC高层次语言 模拟验证 形式化验证 FLASH SCI协议 Cache Coherence Protocol SystemC High-level Language Simulation verifying FLASH SCI Protocol
分类号 TP306 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献8

  • 1李崇民,王海,李兆麟.CMP中Cache一致性协议的验证[J].电子技术应用,2005,31(12):1-4. 被引量：4
  • 2李挥;陈曦.SystemC电子系统级设计[M]{H}北京:科学出版社,2010.
  • 3Heinrich M A. The Performance and Scalability of Distributed Shared Memory Cache Coherence Protocols[D].{H}Stanford University,1998.
  • 4Jeffrey Kuskin,David Ofelt,Mark Heinrich. The Stanford FLASH Multiprocessor[A].1999.302-313.
  • 5G. Delaznno. Constraint-Based Verification of Parameterized Cache Coherence Protocol[J].Formal Methods in SystemC Design,2003,(03):257-301.
  • 6孙昱东,孙强南,阮英纲.Cache一致性协议的研究与评价[J].计算机工程与应用,1995,31(5):53-56. 被引量：6
  • 7陈海燕;郭阳;刘祥远;陈吉华.集成电路计算机辅助设计与验证实践[M]{H}长沙:国防科技大学出版社,2010.
  • 8屈婉霞,郭阳,庞征斌,杨晓东.基于伪临界值的Cache一致性协议验证方法[J].国防科技大学学报,2008,30(6):47-52. 被引量：3

二级参考文献23

  • 1Pong F, Dubois M. Verification Techniques for Cache Coherence Protocols[J]. ACM Computing Surveys, 1997, 29(1) : 82 - 126.
  • 2Adir A, Shurek A G. Generating Concurrent Test-programs with Collisions for Multiprocessor Verification[C]//Washington DC, USA: IEEE Computer Society, 2002.
  • 3Sorin D J, Hill M D, Wood A D A. Dynamic Verification of End-to-end Multiprocessor Invariants[ C]//International Conference on Dependable Systems and Networks (DSN'03), San Francisco, CA, USA, 2003.
  • 4Chert X F, Gopalakrishnan G. A General Compositional Approach to Verifying Hierarchical Cache Coherence Protocols[R]. Salt Lake City: University of Utah, 2006.
  • 5Chen X F, Yang Y, Gopalakrishnan G, et al. Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee[C]// Formal Methods in Computer Aided Design (FMCAD2006), San Jose, IEEE Computer Society, 2006.
  • 6Martin M M K. Formal Verification and lts Impact on the Snooping Versus Directory Protocol Debate[ C]//Proceedings of the 23^rd International Conference on Computer Design (ICCD'05), San Jose, CA, USA, IEEE Computer Society, 2005.
  • 7Plakal M, Sorin D J, Anne E, et al. Lamport Clocks: Verifying a Directory Cache-coherence Protocol[C]//The 10^th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), Puerto Vallarta, Mexico, 1998.
  • 8Emerson E A, Kahlon V. Exact and Efficient Verification of Parameterized Cache Coherence Protocols[J]. Lecture Notes in Computer Science, 2003, 2860: 247-262.
  • 9Mcmillan K L. Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking[ C ]//Proceedings of the 11^th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, London, UK, 2001.
  • 10Gupta A, Weber W D. Cache Invalidation Patterns in Shared-memory Multiprocessors[J]. IEEE Trans. Comput., 1992, 41 (7) : 794 - 810.

共引文献8

数字技术与应用
2013年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部