哈工大功能验证技术教程范本.pptxVIP

功能验证技术 概述 验证的基本概念 验证：保证某种形式的转换是符合我们所期望的。它是一个复杂的过程。 功能验证：保证设计正确的实现了规范所定义的功能。 形式验证：形式验证采用数学的方法来验证一个设计的不同描述是等价的。平等性检测、模型检测。 验证平台（Testbench)：一段代码用来对一个设计产生预先决定了的输入序列，然后选择性的观察响应，是一个封闭式的系统。 概述 验证面临的挑战 验证的主导地位 SOC设计的关键是IP复用，IP复用的关键是信任，信任的关键是完整正确的验证。 在当今百万门级的ASIC，IP，SoC设计中，验证消耗了大约70%的设计努力。 用于验证的工程师的人数是RTL设计工程师的两倍。 当一个设计完成的时候验证代码的长度占总代码长度的80%。 验证要解决的问题 如何保证验证是充分的？ 如何实现验证的自动化？ 概述 验证要解决的问题 这个设计的功能是否正确？ 测试要解决的问题 一个正确的设计，在物理实现过程中是否有制造缺陷？ 二者的相同点 施加激励---〉观看响应 二者的不同点 验证施加的激励要人来编写 测试施加的激励是工具自动产生的，响应也是自动计算出来的。整个过程完全的自动化。 功能验证与芯片测试的差别 5 功能验证分类 从验证方法上分： 目的性验证 目的是验证设计所试图完成的功能在设计中已正确实现。最典型的情况是在抽象程度最高的层次完成，其最终结果是建立一套“黄金模型”，它可以在整个设计过程中作为设计细节的参考。 等价性验证 目的是验证设计过程中产生的不同层次的设计结果功能是否符合“黄金模型”。 从验证对象上分： IP验证 对某个IP的功能（如：单元测试）进行验证的过程。 系统验证 对包含一个或多个IP的SoC进行功能验证的过程。 概述 6 适合目的性验证技术 动态验证 动态验证是在一系列激励的作用下，对以下几个方 面的测试：一个设计方案的一个或几个模块、某设 计的硬件实现等。 静态功能验证 静态功能验证利用公式化的数学技巧来进行验证 而不使用验证测试序列。其测试方法还没有统一 的工业标准，说法比较含糊。 形式验证 动态－形式化混合验证 为了更好的发挥形式化验证技术全面 性的特点，在处理大型设计、更加广 泛的设计风格的设计时使用。 （符号 仿真、半形式化仿真 ） 软、硬件协同验证 硬件仿真 物理样机 虚拟样机 概述 7 目的性验证——动态验证技术 概念：对一个模块施加激励信号并由这个模块产生响应信号的过程。在确定性仿真中，激励信号被明确给出，而且模块的响应信号能够预知并被检测到。 基于事件的仿真：基于事件的软件仿真器通过事件的发生（一次一个事件）和在设计中进行传播而进行操作直至获得一个稳定的状态。该设计方案的模块包含内部周期时钟的概念和功能性的概念。输入的激励信号的任何变化都将作为事件被检测到，并将被传遍设计的每个阶段。由于输入信号的到达不同时和底层被测元素的信号的反馈不同时，可以在每个时钟周期对设计的某个元素评估多次。虽然这能提供高精度的仿真环境，但执行速度有赖于设计的规模，在大型的设计中其验证速度会相应降低。 基于周期的仿真：基于周期的仿真采用了不同的方法。这种仿真不再具有内部周期时钟的概念，它在单个周期中对状态及/或各端口之间进行逻辑评估。由于每个逻辑元素在每个周期中只赋值一次，因此这种方法极大地缩短了执行时间。 8 目的性验证——动态验证技术 随机模式仿真 随机地址和随机控制信号被加入总线或信号流中，而且有一个或多个总线监测器对这些信号进行监控，以确保总线协议不会因为这些操作而产生误操作。这种方法对总线验证尤其适用。 验证测试序列是直接的，因为操作周期的产生并非纯粹的随机产生，而是以某种特殊的方式来强调设计。这种向量发生器可用来以特定的分配产生特定的传输周期，如：在伪随机序列中产生20％的读，30％的写和5