数字ic设计验证平台的搭建.ppt

数字IC验证流程
一、数字IC验证流程
验证的流程并行于设计流程
验证工程师阅读硬件规范并拟定验证计划,然后依照计划创建测试来检查RTL代码是否准确实现了所有特性。
制定验证计划:验证计划是和硬件规范紧密联系在一起的,它描述了需要验证什么样的特性,以及采用哪些技术。
验证技术可能包含有定向或随机的测试、断言、软硬件协同验证、硬件仿真、形式验证(formality工具比较RTL与网表是否一致),以及对验证IP的使用。
验证计划的制定
制定验证计划分为三部分:制定功能验证需求书、指定验证平台的抽象层次、激励的产生和结果检查方案。
,它主要是测试用例(testcase)和功能点(testpoint)的一个列表,构成了整个验证计划的基础。
基于覆盖率驱动的验证环境中功能覆盖率是功能测试完备程度的指标。功能覆盖率就是对功能点的覆盖。
验证计划的制定
:验证平台搭建优先考虑制定验证平台的抽象层次,高层次的抽象建模可以让平台中低层次的功能自动化,提高验证平台的效率。
:有四种激励产生器:基元产生器、场景产生器、多流产生器和基于状态的产生器。这四种激励产生器均是自动化生成激励,扩展基类即可实现。
基元产生器用于生成相互独立的事务,事务之中的数据变量是相互无关的。场景发生器生成的是一个数据或事务描述符的序列。多流发生器即多个数据流的发生器。基于状态的发生器是使随机化生成过程依赖于外部状态信息。
验证计划的制定
检查方案:一般公司均采用计分板(scoreboard)检查机制。
Scoreboard的工作原理:DUT产生的响应input_stream压栈到queue1中,expect_stream为DUT的期望响应, expect_stream压栈到queue2中,然后将两个队列弹栈进行数据比对,同时scoreboard在仿真过程中report自检查的统计结果。

:搭建模块级验证平台时,信号层、被测设计(DUT)和验证环境(program test)必须在顶层模块实例化。

:
。
,实现模块级到子系统级的复用,提高平台的可重用性。
。由callback实现,使用回调方法来检测流过事务处理器的数据流,利用回调(callback)插入异常(erro injection)和收集功能覆盖率。
,使用好的代码风格易实现模块级代码的复用。
,跟RTL代码一样,是一个不断完善的过程。在验证的过程中不断完善自己的平台,使其方便、准确的验证我们的项目。
回归测试与覆盖率收敛
全部测试用例被成功运行后,验证就进入回归测试和覆盖率收敛阶段。
回归测试要求能够周期的批处理运行、测试用例必须能够容易得到重现、成功与失败能够自动检测。
覆盖率显示出设计被测试的程度,是验证收敛的重要标准。
所有的测试应该在每天或者每周做回归而且周期性的运行。设计人员或者验证工程师应该查看覆盖率,从而修改或者添加更多的测试用例,从而尽可能达到100%。
二、VMM分层次验证平台
VMM是IC设计领域的一种高级验证方法学,主要由ARM和synopsys公司的设计验证领域的专家共同设计,用于开发先进的验证环境,已成为当前业内公认的验证方法标准。
VMM验证方法学的基础是systemverilog语言。Systemverilog是一种由verilog发展过来的硬件描述、硬件验证统一语言,前者是2005年版verilog的扩展,而后者的功能验证特性以面向对象程序设计技术为基础。VMM所有的方法学基础来自于systemverilog,并吸收了C语言的一些先进思想。
VMM验证方法学的特点





建立VMM风格的测试平台所需要的时间要比传统的定向测试平台多得多,但对于验证大规模的电路来说,VMM验证平台要比传统的定向测试平台功能验证的齐备性要高得多,大大提高流片的成功率,并且平台的可重用性在后期的验证工作中将发挥节约测试时间和人力资源的功效。