面向soc的事务级验证研究.pdfVIP

第17卷 第3期 计算机技术 与发展 V()1.17 N().3 2007年3月 (劝MPUTERTECHN01))二YANDDEVEI仄犷MF闪T Mar 2007 面向SOC的事务级验证研究 韩 霞，杨洪斌，吴 悦 (上海大学计算机工程与科学学院，上海200072) 摘 要:随着集成电路的快速发展，一个5汇白勺规模已经在几百万门至几千万门左右，面对这样高的复杂度，功能验证成 为芯片设计中的一个挑战。传统的验证方法已经成为5刃设计的瓶“颈”。基于事务的验证方法成为5丈一设计中功能验 证最有效的途径之一。文中重点阐述了基于事务验证的相关概念，给出了完成5天一事务验证的一般流程和设计方法，并 详细分析了事务验证平台的设计调试和功能覆盖率分析，最后对传统的验证方法和基于事务的验证方法进行了比较，给 出了基于事务验证方法的优点。 关键词:系统芯片;基于事务的验证;验证平台 中图分类号:T邢02.1 文献标识码:A 文章编号:1673一629X(2007)03一0033一04 SOc 一orientedTransaction一BasedVerificationMethodology HANXia，YANGll6ng一bin，WUYue (段11x〔〕lofo〕fllputerE卿neeri叹and段ienceofsllallghaiUniversity，511扭lghai200072，China) A加tract:Withthe俪tdevelo卿entofIC，theavailabilityofmillionsoftransistorsonasi吧lechipllasall(〕w创lthecreationofmorecom- plexon一ch;ps邓tems ，Thefunctio蒯 verifi皿tlonofsuch娜t二 h乏比h二 ac闹lenge.ThotraditionalverificationnletlxKkJ剧〔tu。 intoa肠ttleneckof段C’sdo1郎，butt~ tion一1〕苗edverification(T13V)met】飞司。1Ogy:5oreandoreeffective.Int初ucesthe崛ic conce环ionoft~ ction一basedve行fication八mdthenshowstheTBV’5们。、vanddesi即a场uts二C.Thedebu聪ingprocess出ldthemea - surementoffunct，onalcoveraseareanal界edindetailforTBV.Finallycomparestraditlon习verificationmeth浏01OgywithT』3V，andpre- sentsT13V’sadvantages K盯叨.〕rds:5丈;tl荃ul以ICtionbas司verification;testbench 0 引 言 功能的目的。这种验证方法的抽象层次较低，测试向 随着集成电路技术的迅猛发展，系统芯片(黝C， 量细节会增加验证的负担，不利于编写测试与验证程 systemonChin)已经成为当今集成电路设计的发展方 序;对于功能覆盖率很难进行分析;同时平台的开发与 向。通常一个乳C的规模在几百万门至几千万门左 设计的接口协议要紧密相关，从而就使得测试平台的 右，而且重用的IP(intelIectualproPerty)模块数越来越 重用变得非常困难[2]。 多，面对这么高的复杂度，如何快速地验证这些IP和 利用基于事务的验证(TBV，Transa ction压lsed 整个系统己成为5￡验证的难点和热点川。 Verification)是基于模拟的验证技术发展过程中的一 国内外的研究人员虽然已经提出了一系列的验证 个必然阶段