Skip to main content

Mathematical framework for representing discrete functions as word-level polynomials

Dhiraj Pradhan, 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. ISSN 1552-6674, pp. 135–139. December 2003. PDF, 205 Kbytes.

Abstract

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.

Bibtex entry.

Contact details

Publication Admin