DocumentCode
2982326
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
fYear
2011
fDate
12-14 Aug. 2011
Firstpage
1
Lastpage
3
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Management and Service Science (MASS), 2011 International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-6579-8
Type
conf
DOI
10.1109/ICMSS.2011.5999175
Filename
5999175
Link To Document