Mathematical framework for representing discrete functions as word-level polynomials
Dhiraj K. Pradhan, S. Askar, Maciej J. Ciesielski · 2004
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.