[发明专利]一种用于人工智能处理器芯片的功能验证系统

说明书

一种用于人工智能处理器芯片的功能验证系统，包括向量侦听器、域双工收发器、向量比较器、接口格式化模式。接口格式化模式经脚本语言处理后自动生成向量包、向量侦听器，并自动将向量侦听器集成到功能验证结构中；向量侦听器收集人工智能处理器功能模块的输入输出接口向量包；域双工收发器将处理器功能模块的输入接口向量包送入人工智能软件模型控制域，并将处理结果返回向量比较器；向量比较器对处理器功能模块的输出向量包和人工智能软件模型控制域处理后的输出向量包进行比较判决。本发明降低了人工智能软硬件协同开发的复杂度，提高了人工智能处理器芯片的开发效率，显著的缩短了人工智能处理器芯片功能验证的收敛周期和芯片研发周期。

技术领域

本发明属于人工智能领域，具体涉及一种用于人工智能处理器芯片的功能验证系统。

背景技术

芯片功能验证是指验证团队基于芯片的功能设计说明，搭建合适的验证平台，在芯片生产之前找出功能缺失与性能缺陷，并协助芯片设计团队检验其修复方案。高质高效的功能验证是保证芯片按时按质流片生产的重要保障。

人工智能处理器芯片需要处理海量的向量数据，需要支持不断发展的深度学习网络如Vggnet、Resnet、Yolo，需要与人工智能软件协同开发，这些都对芯片功能验证结构和处理方法提出更高的挑战，它要求人工智能处理器芯片功能验证结构能够采取优化策略高效的支持向量处理，并与人工智能软件模型紧密结合。

目前主流的芯片功能验证结构如UVM统一验证方法学平台是基于System Verilog（SV）语言的，其产生于人工智能芯片兴起之前，注重于芯片物理级的细粒度控制，较少考虑对向量、张量的支持，缺少与人工智能软件模型的互联互通。本发明针人工智能芯片的特点，设计的功能验证结构可高效支持向量处理，可与人工智能软件模型无缝连接，可完成验证组件如向量侦听器的生成集成自动化，可兼容传统的UVM验证结构。

发明内容

本发明针对现有技术中的不足，提供一种用于人工智能处理器芯片的功能验证系统。

为实现上述目的，本发明采用以下技术方案：

一种用于人工智能处理器芯片的功能验证系统，其特征在于，包括：域双工收发器、向量侦听器、向量比较器、接口格式化模式；

所述向量侦听器收集人工智能处理器功能模块的输入输出接口向量包；

所述域双工收发器将人工智能处理器功能模块的输入接口向量包送入人工智能软件模型控制域，将人工智能软件模型控制域的处理结果返回向量比较器；

所述向量比较器对人工智能处理器功能模块的输出向量包和人工智能软件模型控制域处理后的输出向量包进行比较判决，将判决结果写入验证报告；

所述接口格式化模式定义了人工智能处理器功能模块的接口描述方式，该接口格式化模式经脚本语言处理后自动生成向量包、向量侦听器，并自动将向量侦听器集成到人工智能处理器功能模块。

为优化上述技术方案，采取的具体措施还包括：

进一步地，所述接口格式化模式经脚本程序处理，自动生成兼容SV和C++/C的向量包、向量侦听器，并通过自动生成的Bind连接模块连接到人工智能处理器功能模块的接口上。

进一步地，所述域双工收发器发送与接收同时进行，内部可例化不限数量的参数化端口接收器和参数化端口发送器；SV域参数化端口接收器将向量侦听器收集的向量包从SV控制域发送到基于C++/C的人工智能软件模型控制域，中间无需进行向量包格式的转换；C++/C人工智能软件模型控制域参数化端口发送器将人工智能软件模型控制域处理完的向量包发送到SV控制域，中间无需进行向量包格式的转换。