提高IP验证效率的十大技巧

1、提高ip验证效率的十大技巧 功能验证正成为ip验证的瓶颈，并影响到囫囵设计团队。设计工程师千方百计提高验证效率，以实现囫囵芯片设计的最佳利益。在这里，我们提供10个容易技巧，显著提升您的ip验证效率。1. 参加验证方案审核良好的开端是胜利的一半！在验证方案上的投入是十分重要的。无数时候，没有明确的微架构文档的验证方案（从白盒验证的观点）是不完整的。前期的投入可以削减无数执行中的障碍。你需要按照设计开发方案确定优先挨次。您还需要对验证方案的完整性有所投入。此外，假如您的验证团队正方案选购第三方验证的ip，请确保它符合dut的特别定制需求。2. 以文档的形式记录接口信号、寄存器和数据流文档是一种奢

2、靡品！许多设计工程师奉行“代码就是文档”的理念。这是可以理解的，由于你在与时光作战。然而，有关测试器件与测试平台之间的接口的基础文档和基础数据流信息对提高验证效率大有好处。在囫囵调试过程中这些文档能够充当参考从而避开混淆。3. 在系统整合前就完成dut的顶层编译为了早点把rtl交付给验证团队，工程师经常跳过dut的rtl顶层编译。你可千万别忽视这一步。每个新写的测试平台都会有自己的问题。而引用未成熟的dut只会将问题复杂化。因此，最好能给验证团队提供一个没有错误的dut顶层的rtl编码作为参考。4. 避开dut顶层浮现dangle信号dangle信号是内部模块之间的衔接信号。然而,因为缺少衔接

3、，这些dangle信号终于会被放到顶层的端口上。这破坏了测试平台顶层编译从而导致混乱。你需要在内部把它们衔接起来，然后根据规格要求，参照预定义的端口列表交付dut顶层。5. 为关键性的假设和接口信号添加须要的断言随着断言的日益普及，假如你可以多花些精力，添加须要的断言，绝对是有百利而无一害的。这可以是容易的内部fifo空满断言，也可以基于任何输入激励或任何可能浮现的异样的假设的复杂的断言。针对dut上的接口信号的断言可以提供准时的信息，以推断验证工程师是否正确整合dut。这些早期的断言可以为后期的调试节约大量的时光。6. 绕过冗长的初始化序列许多接口协议规范都列举了很长的初始化序列，以提供配置

4、的灵便性。一些初步的测试过后，验证的焦点会转移到其他环节。大多数的测试是为了验证初始化序列以外的特性，所以你应当提供办法绕过这些长久的初始化序列。7. 设置可变的计时器时长设计通常都会用法定时器以避开浮现挂起的状况。这些定时器要么符合标准的规范要么由内部定义。通常，这些计时器都设定有十分长的值以防止超时。不过，要测试那些很长的值需要消耗大量的时光。一些值甚至是仿真测试无法实现的。所以，你需要让计时器具有可伸缩性，以确保定时器可以毫不费劲地举行缩放。同时，你也应当调节其他相关的配置，总之一定要让计时器顺当举行仿真。8. 全都性验证这一步是 “锦上添花”！随着形式验证工具的日益普及，设计师可以做一

5、些全都性验证而无需在测试平台上大量投入。对设计（或设计的主要模块）举行一些十分基本的测试，将大大节约时光，从而加速启动全面验证。9. 在dut顶层用法system 接口设计师钟爱verilog，但是当今世界大多数的验证都是通过system verilog实现的。你应当逐渐发掘system verilog的“设计友好型”的特点。为dut顶层提供system verilog接口，而不是 verilog的端口列表。这会是一个良好的开端，它可以削减集成时光，也可为接口断言提供合适的场所。此外，这将有助于改变设计思维过程，从单纯的verilog到system verilog 从长远看，这无疑是有益之举。10. 参加功能笼罩率收敛你可以说，“我已经处理了代码笼罩率收敛。功能笼罩率收敛不关我的事 。”没错。然而，从长远来看，延迟的验证收敛必然让你耗费更多的努