SoC设计验证策略及方法学

摘要：

验证在SoC设计过程中有十分重要的作用,它将影响到芯片的整体开销和质量.本文首先介绍了当前业界比较常用的一些验证技术的特点,包括仿真技术、静态验证技术、形式验证、物理验证等,然后通过实例论述在SoC设计验证中的关键技术--重用技术、随机约束验证、自检技术和形式断言验证.

关键词：验证技术、SoC、重用、随机约束、自检、形式断言

分类号：TN407(微电子学、集成电路（IC）)

资助基金：国家高技术研究发展计划863计划2004AA001390

在线出版日期：2008-01-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：53-56