Equivalence Checking in Information System Hardware Design
Dehui Fan, Guangsheng Ma · 2011
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.