| SoC设计验证策略及方法学 |
| |
| 引用本文： | 董杨鑫,郑建宏.SoC设计验证策略及方法学[J].电子质量,2007,22(10):53-56. |
| |
| 作者姓名： | 董杨鑫 郑建宏 |
| |
| 作者单位： | 重庆重邮信科股份有限公司3G研究院,重庆,400065;重庆重邮信科股份有限公司3G研究院,重庆,400065 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 验证在SoC设计过程中有十分重要的作用,它将影响到芯片的整体开销和质量.本文首先介绍了当前业界比较常用的一些验证技术的特点,包括仿真技术、静态验证技术、形式验证、物理验证等,然后通过实例论述在SoC设计验证中的关键技术--重用技术、随机约束验证、自检技术和形式断言验证.
|
| 关 键 词： | 验证技术 SoC 重用 随机约束 自检 形式断言 |
| 文章编号： | 1003-0107（2007）10-0053-04 |
The Strategy and Methodology of SoC Design Verification |
| |
| Dong Yang-xin,Zheng Jian-hong.The Strategy and Methodology of SoC Design Verification[J].Electronics Quality,2007,22(10):53-56. |
| |
| Authors: | Dong Yang-xin Zheng Jian-hong |
| |
| Institution: | 3G Research Institute of Chongqing Chongyou Information Technology CO. LTD, Chongqing 400065, P.R.China |
| |
| Abstract: | Verification has a very important role in the process of SoC design,it will influence the overall chip cost and quality. The characteristics of some commonly used verification technologies in the industry are introduced first in this paper,such as simulation,static technologies,formal verification and physical verification. And then the key technologies in SoC design verification,reuse technology,random constraint verification,self-checking technology and formal assertion verification,are presented with examples. |
| |
| Keywords: | SoC |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
