Mathematical framework for representing discrete functions as word-level polynomials
, Askar, S. , Ciesielski, M. , Mathematical framework for representing discrete functions as word-level polynomials
. Eighth IEEE International High-Level Design Validation and Test Workshop, 2003
. ISBN INSPEC Accession Number:790724, pp. 135–139. December 2003. PDF, 205 Kbytes
This paper presents a mathematical framework for modeling arithmetic operators and other RTL design modules as discrete word-level functions and proposes a polynomial representation of those functions. The proposed representation attempts to bridge the gap between bit-level BDD representations and word-level representations, such as *BMDs and TEDs.