结合断言与覆盖率为导向的验证方法.pdfVIP

25卷 第11期 微 电子 学与计算机 V0l1．25 No．11 2008年 l1月 M ICI lEI，E( 0NICS ∞ M口[)UTER November2008 结合断言与覆盖率为导向的验证方法 褚晓滨，陆铁军，宗 宇 (北京微电子技术研究所，北京 100076) 摘 要：伴随着半导体工艺的不断发展，可以将更多的功能集成到单系统芯片上．这对传统的验证方法和验证途径提 出了种种挑战．以覆盖率为导向的验证方法中，覆盖率模型是在外部通过DUT执行的功能来统计覆盖率，很难侦测 到DUT内部的工作状态，存在对功能 “遗漏点”的侦测．基于断言的验证方法可以将断言加入到DUT内部，通过断言 覆盖加强覆盖率检测．阐述了将断言和覆盖率为导向相结合的验证方法，并用此种方法对USI32．0系统进行了验证． 讨论了如何将两种验证方法有效地结合，并且通过比较覆盖率为导向的验证方法与结合断言与覆盖率为导向的验证 方法的结果，说明结合断言与覆盖率为导向的验证方法提高了验证过程中的观测性，减少了验证周期． 关键词：覆盖率；断言；验证方法；海量存储 ． 中图分类号：TN4 文献标识码 ：A 文章编号：1000—7180(2008)11—0039—04 Combination ofAssertion andCoverage-Driven Verification M ethodology CHUXiao-bin，LUTie-jun，ZONGYu (BeijingMicroelcetronicsTechnologyInstitute，Beijing100076，China) Abstract：W iththedevelopmentofsemiconductor，moreandmorefunctionsareintegratedonachip．Thispresentchal— lengestOthetraditionalverificationmethodologynadverifiactionapproach．Incoverage-drivenverifiactionmethodology， theoovreagemodelwhichaclculatestheocveragefrom thefunctionoutsidetheDUT，ishardtodetcettheworkstatesin— sidetheDUT，80somefun ctionalpointsraeblindspotstothismethodology．Assertion-basedverificationinsertingasset— tionintoDUT canenhnacedetcetde abilityofocverage-drivenverifiaction．Thispaperdescribestheverifiactionmethodol— ogyofocmbinationofassertionnadocverage-driven，nadhaving verifide USB2．0system withthemethodology．Thispa— peralsodiscusseshow tOocmbinethetwoverifiactionmethodologyefficientlyapplied tOverifysystem，nadshowsthat ocmbinationofassertionnadocverage-drivenverifiactionimprovesobservationabilityinverificationprc~ressna drdeuces theperiod ofverificationbyocmparing theresult