温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明涉及芯片验证领域，特别是涉及一种适配约束求解器的方法、电子设备及存储介质，其通过预设不同类型的约束求解器及其适配的运算类型，通过将待适配的约束表达式转换为树形结构，在遍历树形结构的过程中将得到的运算类型与预设的不同类型的约束求解器进行...
该专利属于成都融见软件科技有限公司所有，仅供学习研究参考，未经过成都融见软件科技有限公司授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。