Verification of datapaths based on world level polynomial

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.