基于断言合成的验证方法学及应用.pdfVIP

￡l】国集成 电路 设 计 China Integrated Circuit 表2当前调试、基于 自定义断言的调试和基于断言合成的调试方法比较 问题，比如：生成描述跨时钟域的 当前调试方法 自定义断言 断言合成 断言，生成描述电源动态开关过程 内容 只交付 IPRTL 交付 IPRTL和 交付 IPRTL和 的断言。圆 给SoC组 自定义assert 自动化白盒assert 仿真错误怎么办 定位错误到菜个 IP， 初始调试，把l错误的 初始调试，把错误的 汇报给相关 IP缎 原因反馈给 IP缎 真IE原因反馈给 IP组 所花时间 大于 I天 需要 IP级赢度介入， IP组基本不需要介入， 参考文献 60％的调试工作在SoC级 50％的调试工作在SoC级 [1]PropertySpecificationLanguage,， 发现未测试的 濡要几天 需要几天 几个小时 功能点 才有可能 Reference Manual version 1．1， 优点 无 避免无意义的调试 囟动化，避免冗余调试 A~ccellera 错误。具体流程如下： 2[】IEEEStandardforSystemVerilog-UnifiedHardware 在回归测试中生成的断言可以用作错误的触发 Design,Specification，andVerificationLanguage,，IEEE， 器 (trigger)。首先仅对 RTL模块进行 emulation仿 20l3，330--447 真，如果 emulation出现错误 ，就利用断言和 RTL协 33『J”AssertionSynthesis”，http：／／www．semiwiki．corn／ 同仿真重新跑一次，断言有可能被触发，这就帮助验 forum／content／1599-assertion-synthesis．html 证工程师快速定位错误。通过这个方法可以找到 [4]YuanLu，YunshanZhu：Methodsofrautomatically emulation的错误原因。 generatingassertions．April201hUSPatent7926020． [5]YuanLu，YunshanZhu：SystemsandMethodsofr 6 结论 Gen~atingPredicatesandAssertions．April2010：US Patent20100088257． 总而言之，断言合成可以生成高质量 白盒断言， 6【]YuanLu，YunshanZhu：Systemsandmethodsofr 这些断言可以应用于 IP／SoC验证的多个阶段；在 generatingpredicatesandas~rtions． NextOpSoftware RTL稳定阶段 ，可以帮助发现一些很