Title :
Equivalence Checking in Information System Hardware Design
Author :
Fan Dehui ; Ma Guangsheng
Author_Institution :
Coll. of Comput. Sci. & Technol., Harbin Eng. Univ., Harbin, China
Abstract :
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.
Keywords :
combinational circuits; logic design; WGL model; equivalence checking; information system hardware design; intelligent circuits design; weighted generalized list model; Boolean functions; Circuit synthesis; Computational modeling; Delay; Design automation; Integrated circuit modeling; Polynomials;
Conference_Titel :
Management and Service Science (MASS), 2011 International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-6579-8
DOI :
10.1109/ICMSS.2011.5999175
