一种可扩展的FPGA仿真验证自动化方法技术

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

【技术实现步骤摘要】
一种可扩展的FPGA仿真验证自动化方法


[0001]本专利技术涉及一种可扩展的FPGA仿真验证自动化方法，属于大规模可编程逻辑自动化设计与验证


技术介绍

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

技术实现思路

[0003]本专利技术解决的技术问题是：克服现有技术的不足，提出一种可扩展的FPGA仿真验证自动化方法，实现从不同设计平台下被测工程设计提取到仿真验证环境、验证用例和验证报告的全自动化，使整个验证的工作流、数据流和信息流有效地结合起来，实现验证文件视图和环境代码视图同步，文件列表、通信协议标准化，让系统本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种可扩展的FPGA仿真验证自动化方法，其特征在于，步骤包括：S1、建立标准规范文件：标准规范文件包括组件文件、设计文件、设计配置文件、总线定义文件、抽象定义文件、抽象器文件、生成器链文件和目录文件八种描述文件类型；S2、通过元语法符号和模板引擎建立转换器模型，以及不同转换器模型与S1中标准规范文件的映射关系；转换器模型包括基础模型、元模型及元元模型：S3、根据元模型设计转换器，提供专用环境读取被测单元信息，按照标准模式将被测单元信息的所有组件打包成标准格式的XML文件，填写被测单元所有组件描述属性的XML字段：物理端口、接口、参数、泛型、寄存器映射、物理属性，存于数据库；通过对系统总线访问的寄存器进行控制，创建和调用验证模块VIP，在专用环境中用户输入的仿真验证环境配置信息与被测单元信息进行匹配，完成验证模块VIP与被测单元连接；通过设计文件自动生成仿真验证代码，完成对被测单元功能验证环境的搭建；S4、根据元元模型设计转换器，按照表单化视图输入验证用例步骤，通过设计文件自动生成用例代码，整合到S3生成的验证环境中，启动脚本执行仿真验证，并自动读取仿真验证结果，生成用户自定义格式的验证报告；S5、定义新的标准规范文件类型进行功能扩展，设计抽象模型实现更高抽象序列层的视图转换。2.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，组件文件通过XML访问被测单元信息，记录有被测单元信息的接口。3.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，设计文件定义组件配置和组件互连配置，生成与逻辑互连和物理互连相关的视图，实现组件的子组件的实例、组件实例的参数值以及组件实例之间的连接，记录组件的内部结构。4.根据权利要求1所述的一种可扩展的FPGA仿真验证自动化方法，其特征在于，设计配置文件为组件实例选择适当的视图组合，实现特定目的配置设计，定义生成链或设计描述的额外...

【专利技术属性】
技术研发人员：唐柳，孙宇明，房振军，李铀，王宏伟，于志杰，
申请(专利权)人：北京轩宇信息技术有限公司，
类型：发明
国别省市：