An ILP formulation for reliability-oriented high-level synthesis

S. Tosun; O. Ozturk; N. Mansouri; E. Arvas; M. Kandemir; Y. Xie; W. L. Hung

doi:10.1109/ISQED.2005.15

An ILP formulation for reliability-oriented high-level synthesis

S. Tosun, O. Ozturk, N. Mansouri, E. Arvas, M. Kandemir, Y. Xie, W. L. Hung

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

29 Scopus citations

Abstract

Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulation for reliability-oriented high-level synthesis that addresses the soft error problem. The proposed approach tries to maximize reliability of the design while observing the bounds on area and performance, and makes use of our reliability characterization of hardware components such as adders and multipliers. We implemented the proposed approach, performed experiments with several example designs, and compared the results with those obtained by a prior proposal. Our results show that incorporating reliability as a first-class metric during high-level synthesis brings significant improvements on the overall design reliability.

Original language	English (US)
Title of host publication	Proceedings - 6th International Symposium on Quality Electronic Design, ISQED 2005
Pages	364-369
Number of pages	6
DOIs	https://doi.org/10.1109/ISQED.2005.15
State	Published - Dec 1 2005
Event	6th International Symposium on Quality Electronic Design, ISQED 2005 - San Jose, CA, United States Duration: Mar 21 2005 → Mar 23 2005

Publication series

Name	Proceedings - International Symposium on Quality Electronic Design, ISQED
ISSN (Print)	1948-3287
ISSN (Electronic)	1948-3295

Other

Other	6th International Symposium on Quality Electronic Design, ISQED 2005
Country/Territory	United States
City	San Jose, CA
Period	3/21/05 → 3/23/05

All Science Journal Classification (ASJC) codes

Hardware and Architecture
Electrical and Electronic Engineering
Safety, Risk, Reliability and Quality

Access to Document

10.1109/ISQED.2005.15

Cite this

Tosun, S., Ozturk, O., Mansouri, N., Arvas, E., Kandemir, M., Xie, Y., & Hung, W. L. (2005). An ILP formulation for reliability-oriented high-level synthesis. In Proceedings - 6th International Symposium on Quality Electronic Design, ISQED 2005 (pp. 364-369). Article 1410610 (Proceedings - International Symposium on Quality Electronic Design, ISQED). https://doi.org/10.1109/ISQED.2005.15

@inproceedings{ebda15526a864652b87551ef92723c14,

title = "An ILP formulation for reliability-oriented high-level synthesis",

abstract = "Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulation for reliability-oriented high-level synthesis that addresses the soft error problem. The proposed approach tries to maximize reliability of the design while observing the bounds on area and performance, and makes use of our reliability characterization of hardware components such as adders and multipliers. We implemented the proposed approach, performed experiments with several example designs, and compared the results with those obtained by a prior proposal. Our results show that incorporating reliability as a first-class metric during high-level synthesis brings significant improvements on the overall design reliability.",

author = "S. Tosun and O. Ozturk and N. Mansouri and E. Arvas and M. Kandemir and Y. Xie and Hung, {W. L.}",

year = "2005",

month = dec,

day = "1",

doi = "10.1109/ISQED.2005.15",

language = "English (US)",

isbn = "0769523013",

series = "Proceedings - International Symposium on Quality Electronic Design, ISQED",

pages = "364--369",

booktitle = "Proceedings - 6th International Symposium on Quality Electronic Design, ISQED 2005",

note = "6th International Symposium on Quality Electronic Design, ISQED 2005 ; Conference date: 21-03-2005 Through 23-03-2005",

}

Tosun, S, Ozturk, O, Mansouri, N, Arvas, E, Kandemir, M, Xie, Y & Hung, WL 2005, An ILP formulation for reliability-oriented high-level synthesis. in Proceedings - 6th International Symposium on Quality Electronic Design, ISQED 2005., 1410610, Proceedings - International Symposium on Quality Electronic Design, ISQED, pp. 364-369, 6th International Symposium on Quality Electronic Design, ISQED 2005, San Jose, CA, United States, 3/21/05. https://doi.org/10.1109/ISQED.2005.15

An ILP formulation for reliability-oriented high-level synthesis. / Tosun, S.; Ozturk, O.; Mansouri, N. et al.
Proceedings - 6th International Symposium on Quality Electronic Design, ISQED 2005. 2005. p. 364-369 1410610 (Proceedings - International Symposium on Quality Electronic Design, ISQED).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - An ILP formulation for reliability-oriented high-level synthesis

AU - Tosun, S.

AU - Ozturk, O.

AU - Mansouri, N.

AU - Arvas, E.

AU - Kandemir, M.

AU - Xie, Y.

AU - Hung, W. L.

PY - 2005/12/1

Y1 - 2005/12/1

N2 - Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulation for reliability-oriented high-level synthesis that addresses the soft error problem. The proposed approach tries to maximize reliability of the design while observing the bounds on area and performance, and makes use of our reliability characterization of hardware components such as adders and multipliers. We implemented the proposed approach, performed experiments with several example designs, and compared the results with those obtained by a prior proposal. Our results show that incorporating reliability as a first-class metric during high-level synthesis brings significant improvements on the overall design reliability.

AB - Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulation for reliability-oriented high-level synthesis that addresses the soft error problem. The proposed approach tries to maximize reliability of the design while observing the bounds on area and performance, and makes use of our reliability characterization of hardware components such as adders and multipliers. We implemented the proposed approach, performed experiments with several example designs, and compared the results with those obtained by a prior proposal. Our results show that incorporating reliability as a first-class metric during high-level synthesis brings significant improvements on the overall design reliability.

UR - http://www.scopus.com/inward/record.url?scp=28444484435&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=28444484435&partnerID=8YFLogxK

U2 - 10.1109/ISQED.2005.15

DO - 10.1109/ISQED.2005.15

M3 - Conference contribution

AN - SCOPUS:28444484435

SN - 0769523013

SN - 9780769523019

T3 - Proceedings - International Symposium on Quality Electronic Design, ISQED

SP - 364

EP - 369

BT - Proceedings - 6th International Symposium on Quality Electronic Design, ISQED 2005

T2 - 6th International Symposium on Quality Electronic Design, ISQED 2005

Y2 - 21 March 2005 through 23 March 2005

ER -

An ILP formulation for reliability-oriented high-level synthesis

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this