节点文献

SoC芯片验证技术的研究

A Study on SoC’s Verification Techniques

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 王国章须自明刘战于宗光

【Author】 WANG GUOZHANG XU ZIMING LIU ZHAN YU ZONGGUANG

【机构】 江南大学江南大学 214035无锡214035无锡中电第五十八研究所214035无锡

【摘要】 近几年来,SoC技术已经得到了迅速的发展,随之而来的是SoC设计的验证也变得更加复杂,花费的时间和人力成倍增加。一个SoC芯片的验证可能会用到多种验证技术,常用的SoC的验证技术包括SoC的模拟仿真技术、静态时序分析技术、SoC的FPGA验证技术、SoC的形式验证技术以及SoC的软硬件协同验证技术等。本文讨论了这几种验证技术的特点以及在SoC设计中的作用。

【Abstract】 SoC technology has been improved currently. However, verification in SoC design has become much more complicated. The verification of a SoC combines many kinds verification techniques. The verification techniques for SoC include simulation technique of SoC, static timing analyze of SoC, FPGA verification technique of SoC, formal verification technique of SoC, SW/HW coverification technique of SoC and etc. Several types of verification are discussed in the paper.

【关键词】 SoC验证STA协同验证
【Key words】 SoCVerificationSTACoverification
【基金】 电子元器件可靠性物理及其应用技术国防技术重点实验室基金资助(编号不公开)
  • 【文献出处】 微计算机信息 ,Microcomputer Information , 编辑部邮箱 ,2007年23期
  • 【分类号】TN47
  • 【被引频次】56
  • 【下载频次】801
节点文献中: 

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

本文的引文网络