2.4.2 国内外总体研究现状
国外从事 MBD 领域研究的知名大学和研究机构主要集中分布在欧美。Princeton University 教授 Sharad Malik 领导的 MBD 研究小组已经成为全世界一流的研究基地；Stanford Research Institute 设有芯片故障调试和诊断研究中心，在研究员 Bruno Dutertre 的带领下此研究小组在全球享有盛誉；University of Lisbon 教授Joao Marques-Silva 在 SAT 和 MBD 方面取得的研究成果国际领先；University of Toronto 教授 Andreas Veneris 领导的研究小组在 MBD 方面得了系列重要科研成果； 在 University of Michigan, University of Bremen, Australian National University 和 Graz University of Technology 等著名大学也都设有 MBD 相关的研究小组。
随着 SAT 和 MaxSAT 求解技术的飞速发展，MBD 问题主流求解方法也都调用 SAT 和 MaxSAT 求解器。在调用此求解器前需要将 MBD 问题的描述形式转换成 SAT 可接受的布尔可满足形式，而在转换时其内部元件间的拓扑和逻辑信息被丢弃[150] [151] 。在 MBD 求解过程中，电路的拓扑和逻辑信息对提高 MBD 求解效率起着重要作用。
国内外学者开始研究结合电路结构和逻辑信息的MBD 优化方法， Zhu 等[152] 学者给出了利用诊断解中骨架变量信息提高 MBD 求解效 率的方法，在MBD 方法得到部分候选诊断解后，提取当前诊断解集 中的所有变量的骨架变量信息，在下次求解前约束传播已有骨架变量 对应的赋值，进而在骨架变量对应的缩减空间中进行 MBD 求解，有 效缩减了后续求解时的搜索空间。Deorio 等[153] 学者提出结合电路设 计阶段的模式信息对 MBD 进行优化的方法，在设计阶段学习电路设 计中通讯模型的模式信息，在硅后诊断时利用提取的模式信息对 MBD 候选诊断解空间进行剪枝，进而减小了 MBD 问题的求解空间 提高了诊断效率。欧阳丹彤等[154] 学者给出了结合电路结构特征进行 抽象的 MBD 方法，提取电路结构特征并将电路抽象成不同的区域，
调用 MaxSAT 求解器对这些区域构成的抽象电路求解得到诊断，将此诊断解扩展以有效地获得抽象电路对应的所有诊断。周慧思等[155]提出一种结合结构特征的随机搜索 MBD 方法，依据单元传播规则结合问题结构特征逐步将问题中硬单元子句分成两部分，对新的子问题再次利用单元传播得出原问题中的硬单元子句中硬阻塞变量，再结合子句特征翻转相应软阻塞变量，从而提高 MBD 的求解效率。
Feldman 等学者[156] 提出结合 MaxSAT 的诊断求解方法，首先将 诊断问题建模成最大可满足问题(maximum satisfiability，MaxSAT)， 此方法比基于随机搜索的SAFARI 求解方法运行时间更长。Metodi 等 学者[157] 从编译建模角度提出考虑电路的统治关系的 SATbD 诊断方 法，此方法依据统治关系有效缩减求解空间，进而高效地找出所有极 小势诊断。2015 年，Ignatiev 等学者[158] 提出一种面向统治者编码 (dominator oriented encoding，DOE)的诊断问题建模方法，通过寻找过 滤掉一些节点和一些边的方法将 MBD 编码为 MaxSAT，进而有效缩 减建模后诊断问题的规模。此种建模编码方法利用了系统的结构信息，有效地缩减了 MBD 问题建模后子句集的规模。 欧阳丹彤等学者[159] 从拓扑结构出发以第一组观测的系统输入为基础，分析其他观测与第 一个观测之间的差异，提出多观测压缩模型对所选系统变量的约束进 行编码，多观测压缩模型还可以用于计算极小势的聚合诊断或极小子 集的聚合诊断。此外，还从逻辑关系角度出发提出基于支配的多观测 压缩模型，在压缩模型中使用支配门的概念来计算压缩模型的顶层诊 断，此模型更适用于计算极小势的聚合诊断。