不知道大家有没有兴趣，我先抛砖引玉。 哪位仁兄可以大概解释一下D算法的具体步骤？ [s:1]

IBM 的 Roth 在 1966年发明了D算法. D算法及其改进算法是ATPG的主要算法。 D算法里，电路节点有五个状态 0 1 x D D bar D代表 电路该节点无错的时候，值为一；错误情况下，值为0， 也就是该节点 stuck at 0. D bar 为相反表示。 D算法支持对会聚（recovergence）结构的电路。 先写这点，下回继续。。 呵呵。