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

说明书

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

技术领域

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

背景技术

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

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

发明内容

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

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

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

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

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

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

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

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

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

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

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

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