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

家集成电路人才培养基地 Nationa! Instructon BaMe for Intrgrated Cireuit Aleut 西安电子科技大学微电子学 数字C验证流程 数字IC验证流程 验证的流程并行于设计流程 ·验证工程师阅读硬件规范并拟定验证计划,然 后依照计划创建测试来检査RL代码是否准确 实现了所有特性。 1.1制定验证计划:验证计划是和硬件规范紧 密联系在一起的,它描述了需要验证什么样的 特性,以及采用哪些技术。 ·验证技术可能包含有定向或随机的测试、断言、 软硬件协同验证、硬件仿真、形式验证 ( formality工具比较RTL与网表是否一致), 以及对验证IP的使用。 1.1验证计划的制定 ·制定验证计划分为三部分:制定功能验证 需求书、指定验证平台的抽象层次、激劢 的产生和结果检查方案。 ·1.1.1功能验证需求书的内容是确认设计的 哪些功能是需要被验证的,它主要是测试 用例( testcase)和功能点( testpoint)的 个列表,构成了整个验证计划的基础。 基于覆盖率驱动的验证环境中功能覆盖率 是功能测试完备程度的指标。功能覆盖率 就是对功能点的覆盖。 1.1验证计划的制定 ·1.1.2制定验证平台的抽象层次:验证平台搭建优 先考虑制定验证平台的抽象层次,高层次的抽象建 模可以让平台中低层次的功能自动化,提高验证 台的效率。 激励的产生和检查