SoC设计验证策略及方法学_董杨鑫

《SoC设计验证策略及方法学_董杨鑫》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、质量工程卷理论与实践QualityEngineeringTheory&PracticesSoC设计验证策略及方法学TheStrategyandMethodologyofSoCDesignVerification董杨鑫,郑建宏DongYang-xin,ZhengJian-hong(3GResearchInstituteofChongqing(重庆重邮信科股份有限公ChongyouInformationTechnologyCO.司3G研究院,重庆400065)LTD,Chongqing400065,P.R.China)摘要:验证在SoC

2、设计过程中有十分重要的作用，它将影响到芯片的整体开销和质量。本文首先介绍了当前业界比较常用的一些验证技术的特点，包括仿真技术、静态验证技术、形式验证、物理验证等，然后通过实例论述在SoC设计验证中的关键技术——重用技术、随机约束验证、自检技术和形式断言验证。关键字:验证技术;SoC;重用;随机约束;自检;形式断言53中图分类号:TN407文献标识码:A文章编号:1003-0107(2007)10-0053-04基金项目:国家“863”项目(2004AA001390)Abstract:Verificationhasaveryimpor

3、tantroleintheprocessofSoCdesign,itwillinfluencetheoverallchipcostandquality.Thecharacteristicsofsomecommonlyusedverificationtechnologiesintheindustryareintroducedfirstinthispaper,suchassimulation,statictechnologies,formalverificationandphysicalverification.Andthentheke

4、ytechnologiesinSoCdesignverification,reusetechnology,randomconstraintverification,self-checkingtechnologyandformalassertionverification,arepresentedwithexamples.Keywords:Verification;SoC;Reuse;Randomconstraint;Self-checking;FormalassertionCLCnumber:TN407Documentcode:AA

5、rticleID:1003-0107(2007)10-0053-041.引言的验证工具和技术难以解决验证仿真技术包括基于事件的仿验证是证明设计人员的设计问题，为了减少设计错误而达到真(Event-BasedSimulation)、意图与具体实现是否一致的过可以接受的程度，必须使用一系基于时钟周期的仿真(Cycle-程，在硬件设计的每个步骤都有列复杂的验证工具和技术。目BasedSimulation)、基于事相应的验证。在当前的SoC设计前，在业界出现了许多验证技务的验证(Transaction-Based中，验证工作占了整个设计工作

6、术，它们大致可以分为四类:基Verification)、软硬件协同仿的70%左右，验证工程师的数量于仿真的验证技术;静态验证技真(HW/SWCo-verification)和覆[2]将达到RTL(RegisterTransfer术;形式验证技术;物理版图验证盖率分析等。[2]Level)设计人员的2倍。验证的和分析。目的是要确保设计的具体实现达2.1基于事件的仿真到设计规范所定义的功能需求。2.仿真技术硬件设计在验证过程中出现的主要问题基于仿真的验证是应用非常有：验证是否已足够，选择什么普遍的一种验证方法，其典型流制度详细测试计划[

7、1]验证策略和技术，怎么计划、缩程如图1所示。在基于仿真的验短验证时间等。一个好的验证方证中，硬件设计置于测试平台之测试平台创建Lint法学是从验证计划出发的，在验中，测试平台产生激励输入到设证计划中应该详细列出所要验证计中，之后将硬件设计的输出与产生激励仿真的功能，以确保设计规范得到参考输出进行比较。输入激励可以覆盖率分析调试Bug跟踪[1]满足。验证方法学还应该决定在仿真之前产生，也可以在仿真过在验证过程中使用何种验证语程中从数据库中读入到设计中，复原言，目前比较流行的验证语言有或者是在仿真运行过程中产生。版本控制Vera、E、

8、C/C++等。类似地，参考输出也可以提前产现在愈来愈达成共识:单一生或者是在仿真过程中产生。图1仿真验证的典型流程·2007第10期·ELECTRONICSQUALITY理论与实践质量工程卷Theory&PracticesQualit