数字IC设计验证平台的搭建.pptVIP

数字IC验证流程 一、数字IC验证流程 验证的流程并行于设计流程 验证工程师阅读硬件规范并拟定验证计划，然后依照计划创建测试来检查RTL代码是否准确实现了所有特性。 1.1 制定验证计划：验证计划是和硬件规范紧密联系在一起的，它描述了需要验证什么样的特性，以及采用哪些技术。 验证技术可能包含有定向或随机的测试、断言、软硬件协同验证、硬件仿真、形式验证（formality工具比较RTL与网表是否一致），以及对验证IP的使用。 1.1 验证计划的制定 制定验证计划分为三部分：制定功能验证需求书、指定验证平台的抽象层次、激励的产生和结果检查方案。 1.1.1功能验证需求书的内容是确认设计的哪些功能是需要被验证的，它主要是测试用例（testcase）和功能点(testpoint)的一个列表，构成了整个验证计划的基础。 基于覆盖率驱动的验证环境中功能覆盖率是功能测试完备程度的指标。功能覆盖率就是对功能点的覆盖。 1.1 验证计划的制定 1.1.2制定验证平台的抽象层次：验证平台搭建优先考虑制定验证平台的抽象层次，高层次的抽象建模可以让平台中低层次的功能自动化，提高验证平台的效率。 1.1.3激励的产生和检查方案：有四种激励产生器：基元产生器、场景产生器、多流产生器和基于状态的产生器。这四种激励产生器均是自动化生成激励，扩展基类即可实现。 基元产生器用于生成相互独立的事务，事务之中的数据变