Compared with the method only using universal cut or special cut, the method can obviously improve the speed of verification for combinational circuits.

• 与只基于通用割集或专用割集的验证方法相比，该方法可以使组合电路的验证速度明显提高。