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

一种全新的针对算术电路电路的形式验证算法。示例性实施例耦合(或者说组合)可满足性(SAT)求解器和逆向工程(RE)；该逆向工程算法利用运算逻辑电路的结构特征(例如1位加法器结构，进位树结构)，从而使得该算法可以不用在乎验证电路的规模大小。示...
该专利属于奇捷科技股份有限公司所有，仅供学习研究参考，未经过奇捷科技股份有限公司授权不得商用。

详细技术文档下载地址

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