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

作     者：王鑫 陈博 WANG Xin;CHEN Bo

作者机构：江南大学物联网工程学院江苏无锡214122 

基　　金：国家自然科学基金(61703185) 高等学校学科创新引智计划项目(B12018) 

出 版 物：《计算机测量与控制》 (Computer Measurement &Control)

年 卷 期：2023年第31卷第6期

页      码：293-298页

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

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

学科分类：08[工学] 080203[080203] 0802[工学-机械学] 

D　O　I：10.16526/j.cnki.11-4762/tp.2023.06.044

馆 藏 号：203122299...