基于DPI-C的脉动阵列模块验证平台

来源：计算机测量与控制杂志2023年第6期北京时间：

作者：王鑫,陈博

摘要：针对卷积神经网络加速器中有关于脉动阵列模块的验证，提出并实现了一种基于直接编程接口C（DPI-C，Direct Programming Interface C）程序的验证平台，采用内嵌DPI-C程序并利用通用验证方法学（UVM，Universal Verification Methodology）满足脉动阵列模块中的浮点数乘加运算的验证需求。实验利用了SystemVerilog中的DPI接口技术，在验证平台中实现对C或C++代码的调用，通过编写C函数来实现复杂的参考模型，浮点数乘加运算便是利用C代码编写的。验证平台的整体结构是根据UVM来设计的，其中包括激励的设计、参考模型的编写、数据校对等组件，整个验证平台高效、简洁。此平台已经应用于人工智能芯片的验证工作中，编写的测试用例可以对脉动阵列进行充分验证，覆盖率达到了100%。验证平台可以保证脉动阵列验证的全面性、高效性并且调试纠错简单方便，同时还实现了UVM环境和测试用例的重用。

关键词：直接编程接口C;验证平台;验证方法学;脉动阵列;人工智能芯片

基金资助：国家自然科学基金（61703185）；高等学校学科创新引智计划项目（B12018）