中国人民解放军军事科学院国防科技创新研究院蒋艳德获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中国人民解放军军事科学院国防科技创新研究院申请的专利支持多种验证场景的仿真验证系统及方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN120995948B 。
龙图腾网通过国家知识产权局官网在2026-01-27发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202511535638.X,技术领域涉及:G06F30/33;该发明授权支持多种验证场景的仿真验证系统及方法是由蒋艳德;王会权;张光达;袁世起;裴秉玺;易品筠;罗慧;张瑞康;马敬博设计研发完成,并于2025-10-27向国家知识产权局提交的专利申请。
本支持多种验证场景的仿真验证系统及方法在说明书摘要公布了:本发明公开了一种支持多种验证场景的仿真验证系统及方法,涉及芯片设计验证技术领域,该系统包括:统一验证环境,基于同一验证方法学构建,用于通过接口与设计代码连接,提供测试激励;模式配置模块,用于接收用户指令,控制仿真验证系统在寄存器传输级功能仿真模式、零延迟门级仿真模式和带时序反标的门级后仿真模式之间进行切换,模式配置模块通过预定义的宏定义实现模式切换;环境复用模块,用于在不同仿真模式下复用验证环境和测试用例;结果分析与对比模块,用于收集、比对不同仿真模式下的仿真结果。本发明能够整合多种仿真模式,实现验证环境的无缝切换与高度复用,同时兼顾仿真速度和时序精度,显著提升复杂芯片设计的验证效率与质量。
本发明授权支持多种验证场景的仿真验证系统及方法在权利要求书中公布了:1.一种支持多种验证场景的仿真验证系统,其特征在于,包括: 统一验证环境,基于同一验证方法学构建,用于通过接口与设计代码连接,提供测试激励; 模式配置模块,用于接收用户指令,控制仿真验证系统在寄存器传输级功能仿真模式、零延迟门级仿真模式和带时序反标的门级后仿真模式之间进行切换,所述模式配置模块通过预定义的宏定义实现模式切换,所述宏定义包括用于启用零延迟门级仿真模式的第一宏定义、以及用于启用带时序反标的门级后仿真模式的第二宏定义; 环境复用模块,用于在不同仿真模式下复用验证环境和测试用例; 结果分析与对比模块,用于收集、比对不同仿真模式下的仿真结果; 其中,在寄存器传输级功能仿真模式切换到零延迟门级仿真模式时,使用门级网表替换寄存器传输级功能仿真的设计代码,将所有门级延迟归零;在寄存器传输级功能仿真模式切换到带时序反标的门级后仿真模式时,使用综合后网表并加载标准延迟格式文件进行时序反标注。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中国人民解放军军事科学院国防科技创新研究院,其通讯地址为:100071 北京市丰台区东大街53号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励