下载电路的划分方法、等价性验证方法、存储介质的技术资料

文档序号:37156807

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

本发明公开了一种电路的划分方法、等价性验证方法、存储介质。其中电路的划分方法,包括:先对参考电路与实现电路的组合逻辑进行等价性验证,得到匹配失败的寄存器和/或组合逻辑等价性验证不通过的寄存器;将得到的匹配失败的寄存器和/或组合逻辑等价性验证...
该专利属于深圳国微芯科技有限公司所有,仅供学习研究参考,未经过深圳国微芯科技有限公司授权不得商用。

详细技术文档下载地址

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