组合电路测试生成的PODEM算法及实现

详细讨论了在已知组合电路结构，对多输入器件，根据组合电路的等效性，附加虚拟器件，将电路的树形数据结构化为二叉树结构，采用ＰＯＤＥＭ算法，按最难／最易原则回溯，在计算机上实现电路中的单一恒定故障（Ｓ－ａ－０和Ｓ－ａ－１）的测试矢量生成。

利用FAN算法进行组合电路的等价性检验

讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术。利用该算法进行了组合电路的等价性检验,实验结果表明了该方法的有效性。