[发明专利]一种可重构芯片的验证方法及平台

权利要求书

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

根据设定格式和格式设定中的关键字段规范RTL顶层文件文本；

根据规范后的RTL顶层文件文本生成验证环境框架；

通过生成的验证环境框架验证所述可重构芯片。

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

读取初始RTL顶层文件文本；

将所述初始RTL顶层文件文本分割为多段RTL顶层文件文本。

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

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

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

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

可重构芯片的验证方法还包括：

根据关键字段从所述规范后的RTL顶层文件文本中，提取相应的关键字段内容；

根据所述关键字段内容在多个设定生成目录中生成所述验证文件。

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

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

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

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

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

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

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

所述验证环境生成单元还包括：验证平台生成单元和验证环境框架；

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

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

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

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

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

其中，测试用例输入单元配置为，接收所述测试用例文件；

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

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

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

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

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

所述比对模型根据所述输入\输出验证数据和所述处理器验证数据获取当前验证数据；

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