北京轩宇信息技术有限公司唐柳获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉北京轩宇信息技术有限公司申请的专利一种可扩展的FPGA仿真验证自动化方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115935872B 。
龙图腾网通过国家知识产权局官网在2025-08-01发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202211018041.4,技术领域涉及:G06F30/331;该发明授权一种可扩展的FPGA仿真验证自动化方法是由唐柳;孙宇明;房振军;李铀;王宏伟;于志杰设计研发完成,并于2022-08-24向国家知识产权局提交的专利申请。
本一种可扩展的FPGA仿真验证自动化方法在说明书摘要公布了:本发明涉及一种可扩展的FPGA仿真验证自动化方法,步骤包括:建立标准规范文件;通过元语法符号和模板引擎建立转换器模型;根据元模型设计转换器,提供专用环境读取被测单元信息;根据元元模型设计转换器,按照表单化视图输入验证用例步骤,生成用户自定义格式的验证报告;定义新的标准规范文件类型进行功能扩展,设计抽象模型实现更高抽象序列层的视图转换。本发明增强了验证工具的适应性,提升了工具应用的灵活性。
本发明授权一种可扩展的FPGA仿真验证自动化方法在权利要求书中公布了:1.一种可扩展的FPGA仿真验证自动化方法,其特征在于,步骤包括: S1、建立标准规范文件: 标准规范文件包括组件文件、设计文件、设计配置文件、总线定义文件、抽象定义文件、抽象器文件、生成器链文件和目录文件八种描述文件类型; S2、通过元语法符号和模板引擎建立转换器模型,以及不同转换器模型与S1中标准规范文件的映射关系; 转换器模型包括基础模型、元模型及元元模型: S3、根据元模型设计转换器,提供专用环境读取被测单元信息,按照标准模式将被测单元信息的所有组件打包成标准格式的XML文件,填写被测单元所有组件描述属性的XML字段:物理端口、接口、参数、泛型、寄存器映射、物理属性,存于数据库; 通过对系统总线访问的寄存器进行控制,创建和调用验证模块VIP,在专用环境中用户输入的仿真验证环境配置信息与被测单元信息进行匹配,完成验证模块VIP与被测单元连接;通过设计文件自动生成仿真验证代码,完成对被测单元功能验证环境的搭建; S4、根据元元模型设计转换器,按照表单化视图输入验证用例步骤,通过设计文件自动生成用例代码,整合到S3生成的验证环境中,启动脚本执行仿真验证,并自动读取仿真验证结果,生成用户自定义格式的验证报告; S5、定义新的标准规范文件类型进行功能扩展,设计抽象模型实现更高抽象序列层的视图转换。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京轩宇信息技术有限公司,其通讯地址为:100190 北京市海淀区科学院南路2号融科资讯中心C座南楼1101-1102;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。