沐曦集成电路(上海)股份有限公司邹俊俊获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉沐曦集成电路(上海)股份有限公司申请的专利基于软件存储模型的验证系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN120068746B 。
龙图腾网通过国家知识产权局官网在2025-11-18发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510280545.0,技术领域涉及:G06F30/33;该发明授权基于软件存储模型的验证系统是由邹俊俊;陈磊设计研发完成,并于2025-03-11向国家知识产权局提交的专利申请。
本基于软件存储模型的验证系统在说明书摘要公布了:本发明涉及芯片技术领域,尤其涉及一种基于软件存储模型的验证系统,包括驱动模块、第一转换接口、RTL模块、第二转换接口和存储模型,驱动模块以及存储模型基于软件语言实现,第一转换接口和第二转换接口基于软件语言以及硬件语言实现,RTL模块基于硬件语言实现,RTL模块中用于存储待测芯片设计的RTL代码;驱动模块与第一转换接口相连接,第一转换接口与RTL模块相连接,RTL模块与第二转换接口相连接,存储模型包括前门访问通路和后门访问通路,RTL模块通过前门访问通路与存储模型相连接,驱动模块通过后门访问通路与存储模型相连接。本发明降低了芯片验证成本,提升了芯片验证效率和验证系统性能。
本发明授权基于软件存储模型的验证系统在权利要求书中公布了:1.一种基于软件存储模型的验证系统,其特征在于, 包括:驱动模块、第一转换接口、RTL模块、第二转换接口和存储模型,所述驱动模块以及存储模型基于软件语言实现,所述第一转换接口和第二转换接口基于软件语言以及硬件语言实现,所述RTL模块基于硬件语言实现,所述RTL模块中用于存储待测芯片设计的RTL代码; 其中,所述驱动模块与第一转换接口相连接,所述第一转换接口与RTL模块相连接,所述RTL模块与第二转换接口相连接,所述存储模型包括前门访问通路和后门访问通路,所述RTL模块通过前门访问通路与所述存储模型相连接,所述驱动模块通过后门访问通路与所述存储模型相连接; 所述驱动模块用于通过后门访问通路访问所述存储模型,确定运算参数的内存分配地址,生成内存地址分配指令,将所述内存地址分配指令通过所述后门访问通路发送给所述存储模型; 所述存储模型基于接收的内存地址分配指令,在分配的内存地址中存储对应的运算参数; 所述驱动模块还用于基于运算逻辑生成原始运算指令,并将所述原始运算指令发送给所述第一转换接口,所述原始运算指令基于软件语言生成,所述运算参数和运算逻辑基于测试用例生成,所述测试用例包括软件测试用例和系统测试用例; 所述第一转换接口用于将原始运算指令转换为基于硬件语言实现的目标运算指令,并将所述目标运算指令发送给RTL模块; 所述RTL模块用于基于目标运算指令生成原始存储器操作指令,并将所述原始存储器操作指令发送给所述第二转换接口,所述原始存储器操作指令基于硬件语言生成; 所述第二转换接口用于将所述原始存储器操作指令转换为基于软件语言实现的目标存储器操作指令; 所述第二转换接口通过前门访问通路将目标存储器操作指令发送至所述存储模型中执行对应的存储器操作。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人沐曦集成电路(上海)股份有限公司,其通讯地址为:201203 上海市浦东新区中国(上海)自由贸易试验区郭守敬路498号8幢19号楼3层;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

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