[发明专利]一种基于SAT的电路错误诊断方法有效
| 申请号： | 202110202215.1 | 申请日： | 2021-02-24 |
| 公开（公告）号： | CN112836456B | 公开（公告）日： | 2022-11-15 |
| 发明（设计）人： | 苏明;王灿灿;王刚;张青坡 | 申请（专利权）人： | 南开大学 |
| 主分类号： | G06F30/3315 | 分类号： | G06F30/3315 |
| 代理公司： | 天津创智睿诚知识产权代理有限公司 12251 | 代理人： | 王海滨;田阳 |
| 地址： | 300350*** | 国省代码： | 天津;12 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： |
本发明公开了一种基于SAT的电路错误诊断方法，首先将待诊断电路的网表结构、给定的观测集共同转化成CNF表达式，通过计算CNF表达式是否有解来判断电路是否存在错误；如果电路存在错误，将电路的网表结构划分成多个错误备选模块，对每个错误备选模块插入一个异或门组成的选择电路，将原电路网表转化成了诊断架构，然后提取该诊断架构的CNF表达式，对其进行SAT求解，根据解的形式判断该错误备选模块中是否有错误。本发明用 |
||
| 搜索关键词： | 一种 基于 sat 电路 错误 诊断 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南开大学，未经南开大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110202215.1/，转载请声明来源钻瓜专利网。
