Mathematical framework for representing discrete functions as word-level polynomials

DK Pradhan; S Askar; M Ciesielski

doi:10.1109/HLDVT.2003.1252487

Mathematical framework for representing discrete functions as word-level polynomials

DK Pradhan, S Askar, M Ciesielski

Department of Computer Science

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

10 Citations (Scopus)

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	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
ISBN (Print)	0780382366
DOIs	https://doi.org/10.1109/HLDVT.2003.1252487
Publication status	Published - Nov 2003

Bibliographical note

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

Access to Document

10.1109/HLDVT.2003.1252487

http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=28031&arnumber=1252487&count=29&index=21

Handle.net

Persistent link

Cite this

@inproceedings{3e23260d743b47ceb80590595700b7c2,

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 = "DK Pradhan and S Askar and M Ciesielski",

note = "Other: http://www.cs.bris.ac.uk/Publications/pub_info.jsp?id=2000283",

year = "2003",

month = nov,

doi = "10.1109/HLDVT.2003.1252487",

language = "English",

isbn = "0780382366",

pages = "135 -- 139",

booktitle = "Eighth IEEE International High-Level Design Validation and Test Workshop, San Francisco, 12-14 November",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

Mathematical framework for representing discrete functions as word-level polynomials. / Pradhan, DK; Askar, S; Ciesielski, M.
Eighth IEEE International High-Level Design Validation and Test Workshop, San Francisco, 12-14 November. Institute of Electrical and Electronics Engineers (IEEE), 2003. p. 135 - 139.

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

TY - GEN

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

AU - Pradhan, DK

AU - Askar, S

AU - Ciesielski, M

N1 - Other: http://www.cs.bris.ac.uk/Publications/pub_info.jsp?id=2000283

PY - 2003/11

Y1 - 2003/11

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.

U2 - 10.1109/HLDVT.2003.1252487

DO - 10.1109/HLDVT.2003.1252487

M3 - Conference Contribution (Conference Proceeding)

SN - 0780382366

SP - 135

EP - 139

BT - Eighth IEEE International High-Level Design Validation and Test Workshop, San Francisco, 12-14 November

PB - Institute of Electrical and Electronics Engineers (IEEE)

ER -

Mathematical framework for representing discrete functions as word-level polynomials

Abstract

Bibliographical note

Access to Document

Handle.net

Fingerprint

Cite this