一种可重构芯片的验证方法及平台与流程

本发明涉及可重构芯片的验证。本发明具体涉及一种可重构芯片的验证方法及平台。

背景技术：

1、在芯片设计的需求阶段需要芯片验证，在芯片设计的整个生命周期内，需要用不同的验证方法，来查找芯片的设计缺陷，充分并快速的释放投片风险。芯片验证包括逻辑功能验证、压力测试验证、寿命测试验证、软硬件协同验证等方式。在逻辑功能验证环节，特别是模块级功能验证中，会占据整个芯片开发周期的70％时间，其中，构建大量的测试用例也需要大量的验证时间。

2、在可重构芯片的验证方法里，需要有相关算子的参考模型、处理器的模拟器、内存模型和验证ip等验证过程，可重构芯片里大量的计算模块和指令模块，也给验证的周期和质量保证都带来了很大的挑战。为了给大量的测试用例留有足够的时间，需要快速有效的搭建适配于可重构芯片的模块级验证环境，而现有技术中无法实现以上验证环境的快速构建，从而不利于可重构芯片的验证。

技术实现思路

1、本发明的目的是提供一种可重构芯片的验证方法及平台，解决可重构芯片验证周期长的问题，并且对可重构芯片的验证质量进行过程性管控。

2、本发明的一个方面，提供了一种可重构芯片的验证方法，其包括：根据设定格式和格式设定中的关键字段规范rtl顶层文件文本。根据规范后的rtl顶层文件文本生成验证环境框架。通过生成的验证环境框架验证可重构芯片。

3、本发明可重构芯片的验证方法的一种实施方式中，还包括：读取初始rtl顶层文件文本。将初始rtl顶层文件文本分割为多段rtl顶层文件文本。

4、本发明可重构芯片的验证方法的另一种实施方式中，设定格式中的关键字包括：程序开始字段、程序结束字段、验证时输入字段、验证时输出字段。在验证可重构芯片中匹配的时钟信息和复位信息。验证时输出字段中包括与可重构芯片管脚对应的管脚信息。

5、本发明可重构芯片的验证方法的再一种实施方式中，包括：将规范后的rtl顶层文件文本、参考模型库文件、模拟器库文件、仿真脚本文件和通用代理文件输入到验证平台生成单元生成验证环境框架。

6、本发明可重构芯片的验证方法的再一种实施方式中，验证平台生成单元中包括多个验证环境配置时所需的验证文件的设定生成目录。设定生成目录与验证环境中的各功能模块的设定参数相对应。

7、可重构芯片的验证方法还包括：根据关键字段从规范后的rtl顶层文件文本中，提取相应的关键字段内容。根据关键字段内容在多个设定生成目录中生成验证文件。

8、本发明可重构芯片的验证方法的再一种实施方式中，设定生成目录包括：环境变量启动脚本文件、测试用例文件和验证环境文件。

9、本发明的另一个方面，提供了一种可重构芯片的验证平台，包括：

10、格式化单元，其配置为根据设定格式和格式设定中的关键字段规范rtl顶层文件文本。

11、验证环境生成单元，其配置为根据规范后的rtl顶层文件文本生成验证环境框架。

12、验证单元，其配置为通过生成的验证环境框架验证可重构芯片。

13、本发明可重构芯片的验证平台的另一种实施方式中，格式化单元还配置为，读取初始rtl顶层文件文本。将初始rtl顶层文件文本分割为多段rtl顶层文件文本。

14、本发明可重构芯片的验证平台的再一种实施方式中，设定格式中的关键字包括：程序开始字段、程序结束字段、验证时输入字段、验证时输出字段。在验证可重构芯片中匹配的时钟信息和复位信息。验证时输出字段中包括与可重构芯片管脚对应的管脚信息。

15、验证环境生成单元还包括：验证平台生成单元和验证环境框架。

16、验证环境生成单元，还配置为将规范后的rtl顶层文件文本、参考模型库文件、模拟器库文件、仿真脚本文件和通用代理文件输入到验证平台生成单元生成验证环境框架。

17、验证平台生成单元中包括多个验证环境配置时所需的验证文件的设定生成目录。设定生成目录与验证环境中的各功能模块的设定参数相对应。

18、验证环境生成单元还配置为，根据关键字段从规范后的rtl顶层文件文本中，提取相应的关键字段内容。根据关键字段内容在多个设定生成目录中生成验证文件。

19、设定生成目录包括：环境变量启动脚本文件、测试用例文件和验证环境文件。

20、本发明可重构芯片的验证平台的再一种实施方式中，验证环境框架包括：

21、测试用例输入单元、虚拟控制器、功能寄存器模型、参考模型、比对模型、能够处理多种运算类型的多个可重构处理单元、多个输入\输出激励驱动模块。

22、其中，测试用例输入单元配置为，接收测试用例文件。

23、虚拟控制器的输入连接测试用例输入单元且从测试用例输入单元中接收测试用例文件。虚拟控制器的输出连接可重构处理单元和功能寄存器模型。

24、可重构处理单元根据测试用例文件中的处理信息，通过输入\输出激励驱动模块驱动验证单元，验证可重构芯片。输入\输出激励驱动模块的输出连接参考模型和比对模型。向参考模型和比对模型中发送输入\输出验证数据。

25、可重构处理单元根据测试用例文件中的处理信息，驱动验证单元验证可重构芯片获取处理器验证数据。

26、功能寄存器模型的输出连接参考模型，参考模型从测试用例文件中获取参考运算信息。

27、参考模型根据参考运算信息和输入\输出验证数据，获取参考数据且输出给比对模型。

28、比对模型根据输入\输出验证数据和处理器验证数据获取当前验证数据。

29、比对模型比对参考数据和当前验证数据获取验证结果。

30、下文将以明确易懂的方式，结合附图对可重构芯片的验证方法及验证平台的特性、技术特征、优点及其实现方式予以进一步说明。

技术特征：

1.一种可重构芯片的验证方法，其特征在于，其包括：

2.根据权利要求1所述可重构芯片的验证方法，其特征在于，还包括：

3.根据权利要求1所述可重构芯片的验证方法，其特征在于，所述设定格式中的关键字包括：程序开始字段、程序结束字段、验证时输入字段、验证时输出字段；在验证所述可重构芯片中匹配的时钟信息和复位信息；所述验证时输出字段中包括与可重构芯片管脚对应的管脚信息。

4.根据权利要求1所述可重构芯片的验证方法，其特征在于，包括：

5.根据权利要求4所述可重构芯片的验证方法，其特征在于，所述验证平台生成单元中包括多个验证环境配置时所需的验证文件的设定生成目录；所述设定生成目录与所述验证环境中的各功能模块的设定参数相对应；

6.根据权利要求5所述可重构芯片的验证方法，其特征在于，所述设定生成目录包括：环境变量启动脚本文件、测试用例文件和验证环境文件。

7.一种可重构芯片的验证平台，其特征在于，包括：

8.根据权利要求7所述的可重构芯片的验证平台，其特征在于，所述格式化单元还配置为，读取初始rtl顶层文件文本；将所述初始rtl顶层文件文本分割为多段rtl顶层文件文本。

9.根据权利要求7所述的可重构芯片的验证平台，其特征在于，所述设定格式中的关键字包括：程序开始字段、程序结束字段、验证时输入字段、验证时输出字段；在验证所述可重构芯片中匹配的时钟信息和复位信息；所述验证时输出字段中包括与可重构芯片管脚对应的管脚信息；

10.根据权利要求9所述的可重构芯片的验证平台，其特征在于，所述验证环境框架包括：测试用例输入单元、虚拟控制器、功能寄存器模型、参考模型、比对模型、能够处理多种运算类型的多个可重构处理单元、多个输入\输出激励驱动模块；

技术总结
本发明公开了可重构芯片的验证方法和验证平台，其包括：根据设定格式和格式设定中的关键字段规范RTL顶层文件文本。根据规范后的RTL顶层文件文本生成验证环境框架。通过生成的验证环境框架验证可重构芯片。本发明也提出的可重构芯片的验证方法及验证平台，对RTL设计的顶层文件的改造，通过增加特定格式的关键字。运用该发明的验证平台，根据不同的具体设计特性，创建不同模块的模块级验证环境。该发明的验证方法，使得不同模块的模块级验证环境，运用一套相似的验证方法学，来细化本模块的具体的验证代码。并且运行相同的仿真脚本，来启动eda仿真，来检查仿真结果。运用相同的调试追踪手段，来实现可重构芯片的不同模块的质量保证。

技术研发人员：胡瑞栋,欧阳鹏
受保护的技术使用者：江苏清微智能科技有限公司
技术研发日：
技术公布日：2024/1/13