[00308802]一种结合依赖关系消除误判的等价性验证方法

交易价格： 面议

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201310101920.8

交易方式： 完全转让许可转让技术入股

联系人：吉林大学

所在地：吉林长春市

服务承诺: 产权明晰; 资料保密
对所交付的所有资料进行保密; 如实描述

登录后向技术服务商咨询

咨询平台客服试试在线客服吧发布技术需求服务免费

技术详细介绍

摘要：本发明涉及一种结合依赖关系消除误判的等价性验证方法，属于模型验证技术领域。在验证等价性的两个电路中，引入新变量代替候选等价点后得到两电路不等价，此时新引入的变量扩大了原候选等价点的取值范围，可能发生误判。为消除误判，本方法首先对所有候选等价点依据电路结构信息计算其对应的拓扑关系。分析候选等价点对应的拓扑关系是否存在依赖关系：如不存在依赖关系，则不存在误判，即原电路不等价；若候选等价点间如存在依赖关系，则将候选等价点对应的子电路还原，进一步调用约束求解器求解。如果得到可满足的结果，则两电路是不等价的；如不可满足，则发生了误判现象，即两电路是等价的。本发明提高了等价性验证效率和芯片的首次硅片成功率，加快电子产品上市时间。

成果推荐需求推荐评估专家推荐评估机构推荐

更多>

上海平正评估有限公司

服务分类：资产评估、无形资产评...

进入主页
连城资产评估有限公司

服务分类：资产评估、无形资产评...

进入主页

更多>