摘要：本文提出了一种用于组合电路中的多故障诊断的新算法FAOG(FilteredAND/ORgraphs)。此算法基于过滤技术和AOG图。其中过滤技术用来除去电路中的非可能致错部分,以减少所需处理的电路规模。AOG是与电路对应的AND/OR图,是改错的关键部分。此算法对于树状组合电路是完全自动的。对于普通组合电路是半自动的。它既解决了基于模拟的改错算法只能限定出错区域而不能告知如何诊断故障信息的局限性,也大大减轻了符号诊断法的内存爆炸问题。实验表明,这是一种快速高效的故障诊断方案,适用于多故障的组合电路。

摘要：　在集成电路设计过程中,随着设计规模的不断增大,验证和故障诊断日趋重要。文章首先介绍了SOC形式验证中故障诊断的概念和思想,然后分别讨论了两类故障诊断法:模拟诊断法和符号诊断法。