Abstract
Logic equivalence checking plays an important role in VLSI design flow. Recently, the effort of logic equivalence checking occupies 60%~80% effort of the whole design flow. Hence, an efficient algorithm for logic equivalence checking is needed and probabilistic verification is proposed. Probability expressions of circuits are built and compared. Recently, replacing primary inputs into real numbers is used. In [8], a perfect input assignment for probabilistic verification is proposed and this approach does not cause aliasing. But this input assignment approach needs plenty of calculation and memory usage while the input number is huge. Hence, we propose an advanced approach to reduce the usage of input assignments. We check internal equivalent gates of circuits and replace them with a single assignment. Experimental results show that our approach is workable in practical circuits.