An ILP formulation for reliability-oriented high-level synthesis

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Citations (Scopus)

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 languageEnglish (US)
Title of host publicationProceedings - 6th International Symposium on Quality Electronic Design, ISQED 2005
Pages364-369
Number of pages6
DOIs
StatePublished - Dec 1 2005
Event6th International Symposium on Quality Electronic Design, ISQED 2005 - San Jose, CA, United States
Duration: Mar 21 2005Mar 23 2005

Publication series

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

Other

Other6th International Symposium on Quality Electronic Design, ISQED 2005
CountryUnited States
CitySan Jose, CA
Period3/21/053/23/05

Fingerprint

Linear programming
Adders
High level synthesis
Systems analysis
Hardware
Experiments

All Science Journal Classification (ASJC) codes

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

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). [1410610] (Proceedings - International Symposium on Quality Electronic Design, ISQED). https://doi.org/10.1109/ISQED.2005.15
Tosun, S. ; Ozturk, O. ; Mansouri, N. ; Arvas, E. ; Kandemir, Mahmut ; Xie, Y. ; Hung, W. L. / An ILP formulation for reliability-oriented high-level synthesis. Proceedings - 6th International Symposium on Quality Electronic Design, ISQED 2005. 2005. pp. 364-369 (Proceedings - International Symposium on Quality Electronic Design, ISQED).
@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 Mahmut Kandemir and Y. Xie and Hung, {W. L.}",
year = "2005",
month = "12",
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",

}

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.; Arvas, E.; Kandemir, Mahmut; Xie, Y.; Hung, W. L.

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 proceedingConference 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, Mahmut

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

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

ER -

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