Title :
Verification of datapaths based on world level polynomial
Author :
Junhua, Wu ; Donghai, Li ; Guangsheng, Ma
Author_Institution :
Coll. of Comput. Sci. & Technol., Harbin Eng. Univ., Harbin, China
Abstract :
A reduced, canonical, weighted generalized list (WGL) is presented in this paper. This representation can effective describe world-level polynomial function. The reduction rules of WGL were proposed, and the equivalence verification method of register transfer level (RTL) design based on WGL was implemented. Experimental results show that WGL is more effective than other existent model, when it is used for the equivalent verification of RTL design.
Keywords :
binary decision diagrams; computational complexity; formal verification; polynomials; binary decision diagrams; datapaths verification; equivalence verification method; register transfer level design; weighted generalized list; world-level polynomial function; Algebra; Arithmetic; Boolean functions; Circuits; Computer science; Data structures; Discrete cosine transforms; Fast Fourier transforms; Polynomials; Signal design;
Conference_Titel :
Solid-State and Integrated-Circuit Technology, 2008. ICSICT 2008. 9th International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-2185-5
Electronic_ISBN :
978-1-4244-2186-2
DOI :
10.1109/ICSICT.2008.4734983
