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

权利要求书

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

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

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

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

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

2.如权利要求1所述的一种用于人工智能处理器芯片的功能验证系统，其特征在于：所述接口格式化模式经脚本程序处理，自动生成兼容SV和C++/C的向量包、向量侦听器，并通过自动生成的Bind连接模块连接到人工智能处理器功能模块的接口上。

3.权利要求1所述的一种用于人工智能处理器芯片的功能验证系统，其特征在于：所述域双工收发器发送与接收同时进行，内部可例化不限数量的参数化端口接收器和参数化端口发送器；SV域参数化端口接收器将向量侦听器收集的向量包从SV控制域发送到基于C++/C的人工智能软件模型控制域，中间无需进行向量包格式的转换；C++/C人工智能软件模型控制域参数化端口发送器将人工智能软件模型控制域处理完的向量包发送到SV控制域，中间无需进行向量包格式的转换。

4.权利要求1所述的一种用于人工智能处理器芯片的功能验证系统，其特征在于：所述向量侦听器连接在人工智能处理器功能模块的输入接口上，收集输入接口上的每笔有效数据传输，并组装成向量包发送给域双工收发器，经域双工收发器送入人工智能软件模型；同时，向量侦听器还连接在人工智能处理器功能模块的输出接口上，收集输出接口上的每笔有效数据传输，并组装成向量包送入向量比较器进行判决。

5.如权利要求1所述的一种用于人工智能处理器芯片的功能验证系统，其特征在于：所述向量比较器自动比较人工智能处理器芯片的接口输出向量与人工智能软件模型的预测输出向量，自动生成判决报告。

6.如权利要求2所述的一种用于人工智能处理器芯片的功能验证系统，其特征在于：所述接口格式化模式定义的端口信号名生成向量包中的向量信号名，向量包中的pack函数对向量信号进行格式化组包，向量包由1个或多个单位组成，每个单位为8 Bit；

格式化组包规则为：若向量信号位宽为8的整数倍，则按照由低位到高位的顺序，每8Bit组成一个单位；若向量信号位宽为8的非整数倍，则在高位补最少的0，使之成为8的整数倍，按照由低位到高位的顺序，每8 Bit组成一个单位；

向量包中的unpack函数则完成pack函数的逆过程。

7.如权利要求6所述的一种用于人工智能处理器芯片的功能验证系统，其特征在于：所述向量侦听器依据接口格式化模式定义的端口信号及有效信号的采样条件生成：接口格式化模式定义的端口信号生成向量侦听器的格式化端口列表；接口格式化模式定义的有效信号的采样条件生成向量侦听器的向量包采集控制逻辑块；向量包采集控制逻辑块将人工智能处理器功能模块端口信号的有效采样值填入向量包的向量信号中，并将向量包写入文件，及输出到UVM分析端口，该UVM分析端口连接到域双工收发器及向量比较器；向量侦听器由Bind连接模块连接到人工智能处理器功能模块端口。

8.如权利要求7所述的一种用于人工智能处理器芯片的功能验证系统，其特征在于：所述Bind连接模块使用标准的SV硬件设计语言Bind语法，将向量侦听器实例化并连接到人工智能处理器功能模块设计源码的端口。