北京
分享至
金融界2024年12月26日消息，国家知识产权局信息显示，上海思尔芯技术股份有限公司申请一项名为“测试激励代码的优化方法、装置、设备及介质”的专利，公开号CN 119179648 A，申请日期为2024年10月。
专利摘要显示，本发明公开了一种测试激励代码的优化方法、装置、设备及介质。涉及芯片验证技术领域，该方法包括：在待输入至芯片验证环境的测试激励代码中获取属于同一作用域的各约束表达式，根据包含的约束量识别待优化的目标约束表达式并进行排序，按照排序结果分别遍历每个目标约束表达式，并逐步确定每个目标约束表达式中目标被约束随机变量的目标取值范围，根据每个目标被约束随机变量的数据宽度，按照设定的数据宽度单位对每个目标被约束随机变量的目标取值范围进行重编码，并将重编码结果加入至测试激励代码中。通过依序逐步缩小目标被约束随机变量的目标取值范围并进行重编码，减小约束求解问题输入求解引擎的规模，提升约束求解器的性能。
本文源自：金融界
作者：情报员
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
