数字IC设计验证平台的搭建演示文稿.pptVIP

数字IC设计验证平台的搭建演示文稿第1页，共30页。优选数字IC设计验证平台的搭建第2页，共30页。一、数字IC验证流程验证的流程并行于设计流程验证工程师阅读硬件规范并拟定验证计划，然后依照计划创建测试来检查RTL代码是否准确实现了所有特性。1.1制定验证计划：验证计划是和硬件规范紧密联系在一起的，它描述了需要验证什么样的特性，以及采用哪些技术。验证技术可能包含有定向或随机的测试、断言、软硬件协同验证、硬件仿真、形式验证（formality工具比较RTL与网表是否一致），以及对验证IP的使用。第3页，共30页。1.1验证计划的制定制定验证计划分为三部分：制定功能验证需求书、指定验证平台的抽象层次、激励的产生和结果检查方案。1.1.1功能验证需求书的内容是确认设计的哪些功能是需要被验证的，它主要是测试用例（testcase）和功能点(testpoint)的一个列表，构成了整个验证计划的基础。基于覆盖率驱动的验证环境中功能覆盖率是功能测试完备程度的指标。功能覆盖率就是对功能点的覆盖。第4页，共30页。1.1验证计划的制定1.1.2制定验证平台的抽象层次：验证平台搭建优先考虑制定验证平台的抽象层次，高层次的抽象建模可以让平台中低层次的功能自动化，提高验证平台的效率。1.1.3激励的产生和检查方案：有四种激励产生器：基元产生器、场景产生器、多流产生器和基于状态的产生器。这四种激励产生器均是自动化生成激励，扩展基类即可实现。基元产生器用于生成相互独立的事务，事务之中的数据变量是相互无关的。场景发生器生成的是一个数据或事务描述符的序列。多流发生器即多个数据流的发生器。基于状态的发生器是使随机化生成过程依赖于外部状态信息。第5页，共30页。1.1验证计划的制定检查方案：一般公司均采用计分板（scoreboard）检查机制。Scoreboard的工作原理：DUT产生的响应input_stream压栈到queue1中，expect_stream为DUT的期望响应，expect_stream压栈到queue2中，然后将两个队列弹栈进行数据比对，同时scoreboard在仿真过程中report自检查的统计结果。第6页，共30页。1.2搭建验证平台1.2.1搭建验证平台的方法：搭建模块级验证平台时，信号层、被测设计（DUT）和验证环境（programtest）必须在顶层模块实例化。第7页，共30页。1.2搭建验证平台1.2.2搭建验证平台的注意点：1.VIP的验证组件的使用可以大大缩短平台搭建的开发周期。2.sub_env组件的使用，实现模块级到子系统级的复用，提高平台的可重用性。3.个性化代码。由callback实现，使用回调方法来检测流过事务处理器的数据流，利用回调（callback）插入异常（erroinjection）和收集功能覆盖率。4.在搭建模块级验证平台时，使用好的代码风格易实现模块级代码的复用。5.验证平台搭建好后，跟RTL代码一样，是一个不断完善的过程。在验证的过程中不断完善自己的平台，使其方便、准确的验证我们的项目。第8页，共30页。1.3回归测试与覆盖率收敛全部测试用例被成功运行后，验证就进入回归测试和覆盖率收敛阶段。回归测试要求能够周期的批处理运行、测试用例必须能够容易得到重现、成功与失败能够自动检测。覆盖率显示出设计被测试的程度，是验证收敛的重要标准。所有的测试应该在每天或者每周做回归而且周期性的运行。设计人员或者验证工程师应该查看覆盖率，从而修改或者添加更多的测试用例，从而尽可能达到100%。第9页，共30页。二、VMM分层次验证平台VMM是IC设计领域的一种高级验证方法学，主要由ARM和synopsys公司的设计验证领域的专家共同设计，用于开发先进的验证环境，已成为当前业内公认的验证方法标准。VMM验证方法学的基础是systemverilog语言。Systemverilog是一种由verilog发展过来的硬件描述、硬件验证统一语言，前者是2005年版verilog的扩展，而后者的功能验证特性以面向对象程序设计技术为基础。VMM所有的方法学基础来自于systemverilog，并吸收了C语言的一些先进思想。第10页，共30页。2.1VMM验证方法学的特点1.受约束的随机激励2.覆盖率驱动3.使用事务处理器的分层测试平台4.对所用测试用例通用的测试平台5.独立于测试平台之外的个性化代码建立VMM风格的测试平台所需要的时间要比传统的定向测试平台多得多，但对于验证大规模的电路来说，VMM验证平台要比传统的定向测试平台功能验证的齐备性要高得多，大大提高流片的成功率，并且平台的可重用性在后期的验证工作中将发