Equivalence Checking Based on Weighted Generalized List Model
Guangsheng Ma · Harbin Ligong Daxue xuebao · 2009
Equivalence checking is playing a significant role in Integrated 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 cheking.Compared with the model BDD,the experiments show that the WGL is more efficient.