[发明专利]一种可扩展的FPGA仿真验证自动化方法

说明书

本发明涉及一种可扩展的FPGA仿真验证自动化方法，步骤包括：建立标准规范文件；通过元语法符号和模板引擎建立转换器模型；根据元模型设计转换器，提供专用环境读取被测单元信息；根据元元模型设计转换器，按照表单化视图输入验证用例步骤，生成用户自定义格式的验证报告；定义新的标准规范文件类型进行功能扩展，设计抽象模型实现更高抽象序列层的视图转换。本发明增强了验证工具的适应性，提升了工具应用的灵活性。

技术领域

本发明涉及一种可扩展的FPGA仿真验证自动化方法，属于大规模可编程逻辑自动化设计与验证技术领域。

背景技术

近年来已有一些快速搭建FPGA仿真验证环境的方法，提高了部分验证效率，满足了部分可重用性。但是，针对不同FPGA芯片供应商提供的不同设计平台，或者不同仿真软件平台，还需要通过修改工具源代码才能实现相应功能，而且这些方法也缺少验证用例的自动化实现，以及验证用例工具和验证环境的自动结合，比如，用例工具获取仿真工具结果，访问被测设计(DUT)中特定寄存器等；另一方面，验证环境的可移植性、协同工作能力和可维护性，以及文档编制的便利性也亟待进一步加强。

发明内容

本发明解决的技术问题是：克服现有技术的不足，提出一种可扩展的FPGA仿真验证自动化方法，实现从不同设计平台下被测工程设计提取到仿真验证环境、验证用例和验证报告的全自动化，使整个验证的工作流、数据流和信息流有效地结合起来，实现验证文件视图和环境代码视图同步，文件列表、通信协议标准化，让系统不再依赖特定的芯片供应商和验证服务方，从而进一步提高FPGA仿真验证系统的可扩展性和验证效率。

本发明解决技术的方案是：

一种可扩展的FPGA仿真验证自动化方法，步骤包括：

S1、建立标准规范文件：

标准规范文件包括组件文件、设计文件、设计配置文件、总线定义文件、抽象定义文件、抽象器文件、生成器链文件和目录文件八种描述文件类型；

S2、通过元语法符号和模板引擎建立转换器模型，以及不同转换器模型与S1中标准规范文件的映射关系；

转换器模型包括基础模型、元模型及元元模型：

S3、根据元模型设计转换器，提供专用环境读取被测单元信息，按照标准模式将被测单元信息的所有组件打包成标准格式的XML文件，填写被测单元所有组件描述属性的XML字段：物理端口、接口、参数、泛型、寄存器映射、物理属性，存于数据库；

通过对系统总线访问的寄存器进行控制，创建和调用验证模块VIP，在专用环境中用户输入的仿真验证环境配置信息与被测单元信息进行匹配，完成验证模块VIP与被测单元连接；通过设计文件自动生成仿真验证代码，完成对被测单元功能验证环境的搭建；

S4、根据元元模型设计转换器，按照表单化视图输入验证用例步骤，通过设计文件自动生成用例代码，整合到S3生成的验证环境中，启动脚本执行仿真验证，并自动读取仿真验证结果，生成用户自定义格式的验证报告；

S5、定义新的标准规范文件类型进行功能扩展，设计抽象模型实现更高抽象序列层的视图转换。

进一步的，组件文件通过XML访问被测单元信息，记录有被测单元信息的接口。

进一步的，设计文件定义组件配置和组件互连配置，生成与逻辑互连和物理互连相关的视图，实现组件的子组件的实例、组件实例的参数值以及组件实例之间的连接，记录组件的内部结构。

进一步的，设计配置文件为组件实例选择适当的视图组合，实现特定目的配置设计，定义生成链或设计描述的额外配置信息，根据设计文件组件配置和组件互连配置，编译和仿真寄存器传输级电路RTL，执行事务级通信TLM。

进一步的，总线定义文件描述总线类型属性，记录独立于协议表示的硬件通信协议的属性。