SoC功能验证的特点和方法.pdfVIP

第2期 微处理机 No．2 2006年4月 MICROPROCESSORS Apr．．2006 SoC功能验证的特点和方法 徐英伟，刘佳 (中国电子科技集团公司第四十七研究所，沈阳110032) 摘要：简要分析了传统集成电路(AsIc)验证方法的特点以及将这些方法应用于系统级芯片 (soc)验证时所面临的问题。在此基础上，论述说明了模块级验证是提高soC验证效率的基础；而 基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外，还介绍了用于SoC功能 验证的关键方法，包括断言和RTL形式验证，Fa瑚，随机化测试激励和功能覆盖等。 关键词：系统级芯片；设计；功能验证；断言；功能测试；随机测试激励 中图分类号：孙{406 文献标识码：A TheFeatureand OfSOCFUnCtiOnaIVerifiCatiOn MethOdOIOgy ·XU Jia Ying—wei，LIU (弛e47矶R∞e口以胁疵眦e旷醌iME％ctrDn洳死c^加zqgyGr0印cD，】加r口￡iDn，妣H弦愕110032，吼i船) willface first medimculties山etmditionalASICVerificationme山od Abstract：This paperanalyzes verificationwill the fbrSoCverification．7rhenthe shows blocklevel SoC paper that：through improve functionalve“fication RandomT色stbenchAutomation willincreasethe e蚯ciency；Constmined technology in functional forSoCverification．Someodler arealsointmducedthis inclu— coverage techniques paper and TestStimulusandFunctional RTLFo瑚al ding：Assertion verification，Fa肌，Random CoVerage． ona Keywords：SoC(System domTest S血nulus： 1传统集成电路验证方法的特点和系统级 芯片(SoC)验证面临的问题 证时，大大增加了工程师的工作量，延长了整个SoC 设计周期。 传统的集成电路(AsIC—Applicationspecific Inte目r