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.
|Translated title of the contribution||Mathematical framework for representing discrete functions as word-level polynomials|
|Title of host publication||Eighth IEEE International High-Level Design Validation and Test Workshop, San Francisco, 12-14 November|
|Publisher||Institute of Electrical and Electronics Engineers (IEEE)|
|Pages||135 - 139|
|Number of pages||5|
|Publication status||Published - Nov 2003|