节点文献

基于模拟的验证技术在CPU设计中的应用

免费订阅

【作者】 吕涛李华伟李晓维樊建平

【Author】 LU Tao, LI Hua-wei, LI Xiao-wei, FAN Jian-ping (Institute of Computing Technology,Chinese Academy of Science,Beijing 100080,China)

【机构】 中国科学院计算技术研究所中国科学院计算技术研究所 北京100080北京100080北京100080

【摘要】 在一款通用CPU设计中 ,应用了多种验证技术 ,包括基于测试矢量的验证、基于覆盖率的验证等等 .通过理论分析和实验研究 ,不同的技术显现出各自适用的时机和方式 .实验和分析结果进一步表明了各种验证技术的特点及其在工程应用中的有效性 .

【基金】 国家“8 6 3”高技术研究发展计划重点资助项目 ( 2 0 01AA11110 0 ) ;国家自然科学基金资助项目 ( 6 9976 0 0 2 )
  • 【分类号】TP332
  • 【被引频次】5
  • 【下载频次】69
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: