海光集成电路设计(北京)有限公司江源获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉海光集成电路设计(北京)有限公司申请的专利代码模型生成方法、代码模型验证方法及相关装置获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119623367B 。
龙图腾网通过国家知识产权局官网在2026-04-21发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411654886.1,技术领域涉及:G06F30/33;该发明授权代码模型生成方法、代码模型验证方法及相关装置是由江源设计研发完成,并于2024-11-18向国家知识产权局提交的专利申请。
本代码模型生成方法、代码模型验证方法及相关装置在说明书摘要公布了:本申请实施例提供一种代码模型生成方法、代码模型验证方法及相关装置,所述代码模型生成方法,包括:获取原始代码模型,所述原始代码模型包括至少一个属性;基于所述原始代码模型,确定所述原始代码模型在仿真验证过程中被调用的属性;根据所述被调用的属性,选择实现所述被调用的属性的代码组成目标代码模型。可以得到更加简洁的标代码模型。从而在仿真验证过程中若使用所述目标代码模型,减少对所述原目标代码模型仿真运算时的运算量,从而加快仿真验证过程中的仿真速度,提高了仿真验证效率。
本发明授权代码模型生成方法、代码模型验证方法及相关装置在权利要求书中公布了:1.一种代码模型生成方法,其特征在于,包括: 获取原始代码模型,所述原始代码模型包括至少一个属性,所述原始代码模型为基于RAL的存储单元; 基于所述原始代码模型,确定所述原始代码模型在仿真验证过程中被调用的属性; 根据所述被调用的属性,选择实现所述被调用的属性的代码组成目标代码模型; 其中,所述基于所述原始代码模型,确定所述原始代码模型在仿真验证过程中被调用的属性的步骤包括: 使用所述原始代码模型运行一次测试用例,获取所述运行一次测试用例过程中所述原始代码模型被调用的属性的属性代码。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人海光集成电路设计(北京)有限公司,其通讯地址为:100080 北京市海淀区东北旺西路8号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

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