Title :
Mathematical framework for representing discrete functions as word-level polynomials
Author :
Pradhan, Dhiraj K. ; Askar, Serkan ; Ciesielski, Maciej
Author_Institution :
Dept. of Comput. Sci., Bristol Univ., UK
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.
Keywords :
Boolean functions; binary decision diagrams; high level synthesis; polynomial approximation; RTL design modules; arithmetic operators; automated verification tools; bit-level BDD representations; discrete function; discrete word-level functions; high level synthesis; mathematical framework; multivariate polynomial; polynomial representation; Binary decision diagrams; Boolean functions; Bridges; Computer science; Data structures; Design engineering; Digital arithmetic; Logic functions; Polynomials; Robustness;
Conference_Titel :
High-Level Design Validation and Test Workshop, 2003. Eighth IEEE International
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-7803-8236-6
DOI :
10.1109/HLDVT.2003.1252487
