上海思尔芯技术股份有限公司贾非凡获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉上海思尔芯技术股份有限公司申请的专利测试激励代码的优化方法、装置、设备及介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119179648B 。
龙图腾网通过国家知识产权局官网在2025-10-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411428862.4，技术领域涉及：G06F11/3668；该发明授权测试激励代码的优化方法、装置、设备及介质是由贾非凡;黄传动;曹阳;王晨阳;汪程辉设计研发完成，并于2024-10-14向国家知识产权局提交的专利申请。
本测试激励代码的优化方法、装置、设备及介质在说明书摘要公布了：本发明公开了一种测试激励代码的优化方法、装置、设备及介质。涉及芯片验证技术领域，该方法包括：在待输入至芯片验证环境的测试激励代码中获取属于同一作用域的各约束表达式，根据包含的约束量识别待优化的目标约束表达式并进行排序，按照排序结果分别遍历每个目标约束表达式，并逐步确定每个目标约束表达式中目标被约束随机变量的目标取值范围，根据每个目标被约束随机变量的数据宽度，按照设定的数据宽度单位对每个目标被约束随机变量的目标取值范围进行重编码，并将重编码结果加入至测试激励代码中。通过依序逐步缩小目标被约束随机变量的目标取值范围并进行重编码，减小约束求解问题输入求解引擎的规模，提升约束求解器的性能。
本发明授权测试激励代码的优化方法、装置、设备及介质在权利要求书中公布了：1.一种测试激励代码的优化方法，其特征在于，包括： 在待输入至芯片验证环境的测试激励代码中获取属于同一作用域的各约束表达式；其中，每个约束表达式中包含被约束随机变量和用于约束被约束随机变量的取值范围的约束量，约束量为常量或其他随机变量； 根据约束表达式中包含的约束量，对在各约束表达式中识别出待优化的目标约束表达式，并对各目标约束表达式进行排序； 按照排序结果分别遍历每个目标约束表达式，并在遍历过程中逐步确定出每个目标约束表达式中目标被约束随机变量的目标取值范围，其中，目标取值范围中仅包含有常量； 根据每个目标被约束随机变量的数据宽度，按照设定的数据宽度单位对每个目标被约束随机变量的目标取值范围进行重编码，并将重编码结果加入至测试激励代码中。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海思尔芯技术股份有限公司，其通讯地址为：201315 上海市浦东新区中国(上海)自由贸易试验区临港新片区秋山路1775弄29、30号6楼27室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励