专利查询
首页
专利评估
登录
注册
当前位置:
首页
>
专利查询
>
国微集团深圳有限公司
>
多输出实例的CNF生成方法、等价性验证方法、存储介质技术
>技术资料下载
下载多输出实例的CNF生成方法、等价性验证方法、存储介质的技术资料
文档序号:33242060
温馨提示:您尚未登录,请点
登陆
后下载,如果您还没有账户请点
注册
,登陆完成后,请刷新本页查看技术详细信息。
本发明公开了一种多输出实例的CNF生成方法、等价性验证方法、存储介质。其中多输出实例的CNF生成方法,包括:遍历时,在存储结构中查找当前的端口net的输入端口net对应的CNF;如果没找到,则计算当前的端口net的引用次数,遍历当前的端口n...
该专利属于国微集团(深圳)有限公司所有,仅供学习研究参考,未经过国微集团(深圳)有限公司授权不得商用。
详细技术文档下载地址
温馨提示:您尚未登录,请点
登陆
后下载,如果您还没有账户请点
注册
,登陆完成后,请刷新本页查看技术详细信息。