soc功能验证的特点和方法new

《soc功能验证的特点和方法new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、万方数据第2期2006年4月微处理机MICROPROCESSORSNo．2Apr．．2006SoC功能验证的特点和方法徐英伟，刘佳(中国电子科技集团公司第四十七研究所，沈阳110032)摘要：简要分析了传统集成电路(AsIc)验证方法的特点以及将这些方法应用于系统级芯片(soc)验证时所面临的问题。在此基础上，论述说明了模块级验证是提高soC验证效率的基础；而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外，还介绍了用于SoC功能验证的关键方法，包括断言和RTL形式验证，Fa瑚，随机化测试激励和功能覆盖等。关键词：系统级芯片；设计；功能验证；断言；功能测试；随机测试

2、激励中图分类号：孙{406文献标识码：A文章编号：1002—2279(2006)02—0011一03TheFeatureandMethOdOIOgyOfSOCFUnCtiOnaIVerifiCatiOn·XUYing—wei，LIUJia(弛e47矶R∞e口以胁疵眦e旷醌iME％ctrDn洳死c^加zqgyGr0印cD，】加r口￡iDn，妣H弦愕110032，吼i船)Abstract：Thispaperfirstanalyzesmedimculties山etmditionalASICVerificationme山odwillfacefbrSoCverification．7rhent

3、hepapershowsthat：throughblocklevelverificationwillimprovetheSoCfunctionalve“ficatione蚯ciency；ConstminedRandomT色stbenchAutomationtechnologywillincreasethefunctionalcoverageforSoCverification．Someodlertechniquesarealsointmducedinthispaperinclu—ding：AssertionandRTLFo瑚alverification，Fa肌，RandomTest

4、StimulusandFunctionalCoVerage．Keywords：SoC(SystemonaChip)；Design；Verification；Assertion；FunctionalVerification；Ran—domTestS血nulus：1传统集成电路验证方法的特点和系统级芯片(SoC)验证面临的问题传统的集成电路(AsIC—ApplicationspecificInte目ratedCircuit)验证具有以下特点：(1)直接验证。在规模较小的情况下可以获得很高的验证效率；(2)模块级验证。由于功能单一，不需要严格的功能覆盖分析，主要的验证评估来自于代码覆盖；

5、(3)完整的验证平台，包括HDL，Perl，c等混合语言。通过混合语言的编程技术可以实现较简单的随机化测试和自动检查功能，复杂的随机化测试和自动检查功能需要大量的编程工作。随着系统级芯片(soc—Systemonachip)规模的增加，其电路功能越来越强大，越来越复杂，测试激励成指数倍地增加。传统AsIc验证方法的直接测试虽可以验证SoC的基本功能，但会遗漏某些可能的测试空间。同时，缺乏层次化概念和较高的抽象层次，不易扩充和重用。在没有专门的硬件验证语言的支持下，不易实现功能覆盖分析和自动检查功能。因而，传统AsIC验证方法在应用于soc验证时，大大增加了工程师的工作量，延长了整个

6、SoC设计周期。2模块级(BlockLevel)验证是提高SoC验证效率的基础全芯片的系统级验证对SoC设计有非常重要的意义，它保证了SoC整体功能的基本正确，并可进行一定的软硬件协同仿真。但是与传统的AsIc设计相比，在SoC设计中更需要进行完整的模块级验证，原因如下：(1)系统级验证只有在整体设计基本完成之后才能进行，而模块级验证可以和设计并行，可有效地提高模块的设计质量；(2)设计工程师对设计模块有比较透彻的了解，可以很快分析和定位设计缺陷(bug)。当模块级的bug带人到系统级后，bug分析和定位的复杂性大大增加；(3)高质量的设计模块可以更容易地在其他设计中进行重用；作者

7、简介：徐英伟(1971一)，男，山东人，硕士研究生，高级工程师，主研方向：微电子技术。收稿日期：2005—0l—08万方数据·12·微处理机2006年(4)断言(Assertion)和形式验证(modelcheck)技术可以在没有完备测试激励的情况下帮助设计工程师发现潜在的模块设计缺陷。形式验证技术在短期内还难以应用到超大规模SoC系统验证。图l是—愀的验证平台，它形象地说明了模块级验证技术对于SoC设计和设计重用的重要意义。图l设计验证平台从图1中可见，系统级测试激