10.3969/j.issn.1003-0107.2007.10.017
SoC设计验证策略及方法学
验证在SoC设计过程中有十分重要的作用,它将影响到芯片的整体开销和质量.本文首先介绍了当前业界比较常用的一些验证技术的特点,包括仿真技术、静态验证技术、形式验证、物理验证等,然后通过实例论述在SoC设计验证中的关键技术--重用技术、随机约束验证、自检技术和形式断言验证.
验证技术、SoC、重用、随机约束、自检、形式断言
TN407(微电子学、集成电路（IC）)
国家高技术研究发展计划863计划2004AA001390
2008-01-21（万方平台首次上网日期，不代表论文的发表时间）
共4页
53-56
