哈工大功能验证技术.pptxVIP

功能验证技术概述验证的基本概念验证：保证某种形式的转换是符合我们所期望的。它是一个复杂的过程。功能验证：保证设计正确的实现了规范所定义的功能。形式验证：形式验证采用数学的方法来验证一个设计的不同描述是等价的。平等性检测、模型检测。验证平台（Testbench)：一段代码用来对一个设计产生预先决定了的输入序列，然后选择性的观察响应，是一个封闭式的系统。 概述验证面临的挑战验证的主导地位SOC设计的关键是IP复用，IP复用的关键是信任，信任的关键是完整正确的验证。在当今百万门级的ASIC，IP，SoC设计中，验证消耗了大约70%的设计努力。 用于验证的工程师的人数是RTL设计工程师的两倍。 当一个设计完成的时候验证代码的长度占总代码长度的80%。 验证要解决的问题如何保证验证是充分的？如何实现验证的自动化？概述功能验证与芯片测试的差别验证要解决的问题这个设计的功能是否正确？测试要解决的问题一个正确的设计，在物理实现过程中是否有制造缺陷？二者的相同点施加激励---〉观看响应二者的不同点验证施加的激励要人来编写测试施加的激励是工具自动产生的，响应也是自动计算出来的。整个过程完全的自动化。概述功能验证分类从验证方法上分：目的性验证 目的是验证设计所试图完成的功能在设计中已正确实现。最典型的情况是在抽象程度最高的层次完成，其最终结果是建立一套“黄金模型”，它可以在整个设计过程中作为设计细节