● 摘要
随着无线通信网卡数字集成电路规模的扩大化及设计复杂度的提高，如何对芯片设计的大量数字流传输、复杂控制流模拟、片外接口及存贮设备交互进行充分验证从而提高验证准确性节省验证时间，成为当前数字电路验证工程师的首要问题。本文提出了一种使用系统级逻辑验证与FPGA辅助验证相结合的解决方案。该方案逻辑验证部分由多个操作单元组成，实现对芯片传输的必要数据帧组包传输、各种正异常操作模拟，检查被测单元的各种响应操作是否正常。具有验证结果准确，可移植性好，复用性强等特点并且通过对无线网卡芯片的验证为该方法提供了实践支持。论文创新点在于，文中提到的系统级逻辑验证使用层次化和模块化的设计思想，这样做既保证了测试用例的灵活度又使验证环境具有了复用性和兼容其他类似验证项目的能力。在测试激励方面采用了定向随机激励方法通过对随机数的约束及随机种子的选定实现了在复杂控制流中插入随机数据流验证的可能。使用断言与功能覆盖点结合组成的功能覆盖组模型为被测单元改动后的大规模回归性测试提供了方便，指导验证人员以覆盖率模型为标准增补测试用例从而保证验证效果。FPGA辅助验证的目的保障了芯片与片外接口及设备数据交互时的兼容性，并且使驱动编写人员可以更早介入从而提高项目效率。