Abstract: Most recent combinational equivalence checking techniques are based on exploiting circuit similarity. In this paper, we focus on circuits with no internal equivalent nodes or after internal ...

Abstract: Binary Decision Diagrams (BDDs) provide a canonical and compact representation of Boolean functions. The canonical property makes it possible to easily detect many useful properties of ...