Equivalence Checking for Intelligent Circuits

Equivalence checking is playing a significant role in Intelligent Circuits design. However, the common models for verification either have their complexity problems or have applicable limitations. In order to overcome the deficiencies, a model WGL (Weighted Generalized List) is proposed and based on WGL we give an algorithm for checking. comparing the model WLDDs, the experiments show that the WGL is more efficient.