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

权利要求书

1.一种可扩展的FPGA仿真验证自动化方法，其特征在于，步骤包括：

S1、建立标准规范文件：

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

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

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

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

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

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

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

2.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，组件文件通过XML访问被测单元信息，记录有被测单元信息的接口。

3.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，设计文件定义组件配置和组件互连配置，生成与逻辑互连和物理互连相关的视图，实现组件的子组件的实例、组件实例的参数值以及组件实例之间的连接，记录组件的内部结构。

4.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，设计配置文件为组件实例选择适当的视图组合，实现特定目的配置设计，定义生成链或设计描述的额外配置信息，根据设计文件组件配置和组件互连配置，编译和仿真寄存器传输级电路RTL，执行事务级通信TLM。

5.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，总线定义文件描述总线类型属性，记录独立于协议表示的硬件通信协议的属性。

6.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，抽象定义文件描述总线表示属性，定义结构抽象及内容抽象间的适配器。

7.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，抽象器文件定义根据逻辑端口及其属性所记录的硬件通信协议信息，基于设计配置文件中的视图组合，描述连接的总线接口之间的事务级通信TLM。

8.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，生成器链文件定义转换器的分组和排序，描述在标准规范文档上运行的转换器URL和提供给转换器的输入参数名称和值，以及实现流程步骤，使设计环境基于链中定义的流程运行这些转换器。

9.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，目录文件记录标准规范文件的位置和文件中的元素标识符。

10.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，基础模型用于实现内容方式建模，基础模型将仿真验证环境组件实现的具体内容提取为抽象语法树。

11.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，元模型用于实现算法结构建模，定义硬件资源、硬件处理器、线网端口、事务端口、硬件桥、时钟资源、模型库，描述设计组件、组件的实例化和组件间的连接，连接接口采用请求/响应式通信和面向流程的通信。

12.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，元元模型用于实现验证计划结构建模，定义描述软件访问的顺序编程语言，连接接口的事务级通信寄存器模型，和事件驱动的硬件描述模型。