等价性验证是在设计电路时确保电路正常功能的方法，在集成电路的设计中有很重要的位置。目前已经存在很多验证技术，但是由于在验证过程中运用的相关技术会出现许多缺陷，所以解决在运用相关技术验证电路等价性时产生的缺陷就变成了当前研究的重要方向。例如，在等价性验证时利用割集的方法就很容易会出现误判现象，那么如何在运用割集验证电路等价性的同时解决误判现象就成了提高验证效率的主要问题。文中关于误判现象提出一种利用电路加权值的方法对ATPG的相关算法进行改进来消除误判的方法。主要是用这种方法对PODEM算法的一些缺点进行改进，当出现误判时，可以利用ATPG技术中的PODEM算法对反例进行反驳。但是由于PODEM算法是在原始输入端开始赋值，同时在出现冲突时也会回溯到原始输入端，因此效率并不高。所以我们结合了电路加权值的方法找到一个电路的内部节点作为PODEM的起始端进行输入和回溯，这样会减少回溯的次数和时间，从而提高效率。权值的方法主要以电路的结构为基础对电路每个内部节点和原始输入进行权值的分配，分配原则会在文中介绍。使得每个节点都有一个自己的权值，可以利用这些权值来比较原始输入以及内部节点在电路中的重要性，从而找到对电路影响最大的内部节点和原始输入，以这样的点作为关键点对电路进行操作。权值方法结合了电路的结构特点，能够很好的对许多算法进行改良来解决算法本身存在的一些缺陷。在PODEM算法中也存在许多缺陷，例如赋值和回溯都要到原始输入，赋值和回溯路径也不是最佳的。所以我们利用加权的方法以内部节点作为输入进行赋值和回溯，并且找到输入的权值排序，对最高权值的输入先进行赋值，以便尽早发现和解决冲突。但是利用权值改善PODEM的方法也有存在一定的缺点，就是在电路确实不等价的情况下效率会非常低，由于电路确实不等价的情况需要对电路所有输入节点进行分配、传播以及回溯，只有所有节点都验证过之后才能得出结论两电路确实不等价，所以与其他验证方法相比效率要低。