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

本发明公开了一种基于完备仿真的组合运算电路等价性验证方法及系统。本发明深度结合电路仿真和SAT求解的LEC验证方法，利用现代计算机SIMD的功能特性，设计了一种非常高效的完备仿真算法来处理SAT求解器难以求解的运算子电路。为了充分利用SAT...
该专利属于中国科学院软件研究所所有，仅供学习研究参考，未经过中国科学院软件研究所授权不得商用。

详细技术文档下载地址

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