Document
拖动滑块完成拼图
个人中心

预订订单
服务订单
发布专利 发布成果 人才入驻 发布商标 发布需求

在线咨询

联系我们

龙图腾公众号
首页 专利交易 IP管家助手 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 北京开源芯片研究院郑楚育获国家专利权

北京开源芯片研究院郑楚育获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉北京开源芯片研究院申请的专利代码生成方法、装置、设备及可读存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119883283B

龙图腾网通过国家知识产权局官网在2025-07-25发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510350614.0,技术领域涉及:G06F8/41;该发明授权代码生成方法、装置、设备及可读存储介质是由郑楚育;何伟;唐丹;包云岗设计研发完成,并于2025-03-24向国家知识产权局提交的专利申请。

代码生成方法、装置、设备及可读存储介质在说明书摘要公布了:本发明实施例提供一种代码生成方法、装置、设备及可读存储介质,基于待验证代码对应的目标语法树,确定待验证代码中的待验证模块对应的目标模块节点;在目标模块节点中插入目标延迟队列对应的延迟队列节点,并对目标语法树中与指定信号组相关的节点进行修改;目标延迟队列用于对指定信号组进行随机延迟输出;将修改后的目标语法树转换为包含目标延迟队列的目标代码;目标代码用于进行对待验证模块的接口时序功能验证。通过语法树插桩的方式,便于对待验证模块进行错误注入,降低了错误注入的复杂度以及对验证人员专业技能的要求门槛。同时,无需验证人员逐个编写不同传输延迟对应的测试用例的测试,节省了验证时间,一定程度上提高了验证效率。

本发明授权代码生成方法、装置、设备及可读存储介质在权利要求书中公布了:1.一种代码生成方法,其特征在于,所述方法包括: 基于待验证代码对应的目标语法树,确定所述待验证代码中的待验证模块对应的目标模块节点; 在所述目标模块节点中插入目标延迟队列对应的延迟队列节点,并对所述目标语法树中与指定信号组相关的节点进行修改;所述目标延迟队列用于对所述指定信号组中各指定信号进行随机延迟输出; 将修改后的所述目标语法树转换为包含所述目标延迟队列的目标代码;所述目标代码用于进行对所述待验证模块的接口时序功能验证; 其中,所述在所述目标模块节点中插入目标延迟队列对应的延迟队列节点,并对所述目标语法树中与指定信号组相关的节点进行修改,包括: 基于预先构建的目标延迟队列,获取所述目标延迟队列对应的延迟队列节点; 在所述目标模块节点中插入所述目标延迟队列对应的延迟队列节点; 将目所述标模块节点中与所述指定信号组相关的信号声明节点中的原信号名称均修改为目标信号名称,并将所述待验证代码中待验证模块下游的代码在目标语法树中对应的各下游节点中指定信号组的原信号名称均修改为目标信号名称。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京开源芯片研究院,其通讯地址为:100084 北京市海淀区海淀大街31号3层312;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。