[发明专利]一种结合依赖关系消除误判的等价性验证方法有效
| 申请号： | 201310101920.8 | 申请日： | 2013-03-27 |
| 公开（公告）号： | CN103150453A | 公开（公告）日： | 2013-06-12 |
| 发明（设计）人： | 张立明;欧阳丹彤;赵毅;叶育鑫;李占山;张永刚;于海鸿;李河;刘杰;董旭初 | 申请（专利权）人： | 吉林大学 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 长春吉大专利代理有限责任公司 22201 | 代理人： | 王寿珍;朱世林 |
| 地址： | 130012 吉*** | 国省代码： | 吉林;22 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种结合依赖关系消除误判的等价性验证方法，属于模型验证技术领域。在验证等价性的两个电路中，引入新变量代替候选等价点后得到两电路不等价，此时新引入的变量扩大了原候选等价点的取值范围，可能发生误判。为消除误判，本方法首先对所有候选等价点依据电路结构信息计算其对应的拓扑关系。分析候选等价点对应的拓扑关系是否存在依赖关系：如不存在依赖关系，则不存在误判，即原电路不等价；若候选等价点间如存在依赖关系，则将候选等价点对应的子电路还原，进一步调用约束求解器求解。如果得到可满足的结果，则两电路是不等价的；如不可满足，则发生了误判现象，即两电路是等价的。本发明提高了等价性验证效率和芯片的首次硅片成功率，加快电子产品上市时间。 | ||
| 搜索关键词： | 一种 结合 依赖 关系 消除 误判 等价 验证 方法 | ||
【主权项】：
一种结合依赖关系消除误判的等价性验证方法，其特征在于：至少包括如下步骤：步骤1：对所有候选等价点依据电路结构信息计算其对应的拓扑关系；步骤2：分析候选等价点对应的拓扑关系是否存在依赖关系；步骤3：判断是否存在误判：如果候选等价结点间不存在依赖关系，则验证结果为等价，不存在误判，转步骤5；如果候选等价结点间存在依赖关系，则此时并不能得到两模型不等价，即可能存在误判现象；步骤4：结合依赖关系消除误判；步骤5：输出等价性验证结果，等价性验证结束。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于吉林大学，未经吉林大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201310101920.8/，转载请声明来源钻瓜专利网。
