Mathematical framework for representing discrete functions as word-level polynomials

D Pradhan; S Askar; M Ciesielski

Mathematical framework for representing discrete functions as word-level polynomials

D Pradhan, S Askar, M Ciesielski

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

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.

Translated title of the contribution	Mathematical framework for representing discrete functions as word-level polynomials
Original language	English
Title of host publication	Unknown
Publisher	IEEE Computer Society
Pages	135 - 139
Number of pages	4
Publication status	Published - Dec 2003

Bibliographical note

Conference Proceedings/Title of Journal: Eighth IEEE International High-Level Design Validation and Test Workshop, 2003
Other identifier: INSPECAccessionNumber:790724

Access to Document

http://www.cs.bris.ac.uk/Publications/pub_info.jsp?id=2000285

Handle.net

Persistent link

Cite this

@inproceedings{7b4dea41e3a2428fa476a40a53462948,

title = "Mathematical framework for representing discrete functions as word-level polynomials",

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. ",

author = "D Pradhan and S Askar and M Ciesielski",

note = "Conference Proceedings/Title of Journal: Eighth IEEE International High-Level Design Validation and Test Workshop, 2003 Other identifier: INSPECAccessionNumber:790724",

year = "2003",

month = dec,

language = "English",

pages = "135 -- 139",

booktitle = "Unknown",

publisher = "IEEE Computer Society",

address = "United States",

}

TY - GEN

T1 - Mathematical framework for representing discrete functions as word-level polynomials

AU - Pradhan, D

AU - Askar, S

AU - Ciesielski, M

N1 - Conference Proceedings/Title of Journal: Eighth IEEE International High-Level Design Validation and Test Workshop, 2003 Other identifier: INSPECAccessionNumber:790724

PY - 2003/12

Y1 - 2003/12

N2 - 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.

AB - 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.

M3 - Conference Contribution (Conference Proceeding)

SP - 135

EP - 139

BT - Unknown

PB - IEEE Computer Society

ER -

Mathematical framework for representing discrete functions as word-level polynomials

Abstract

Bibliographical note

Access to Document

Handle.net

Fingerprint

Cite this