loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Symposium on Quality of Electronic Design (ISQED'05)
An ILP Formulation for Reliability-Oriented High-Level Synthesis
San Jose, California
March 21-March 23
ISBN: 0-7695-2301-3
S. Tosun, Syracuse University
O. Ozturk, Pennsylvania State University
N. Mansouri, Syracuse University
E. Arvas, Syracuse University
M. Kandemir, Pennsylvania State University
Y. Xie, Pennsylvania State University
W-L. Hung, Pennsylvania State University
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.
Citation:
S. Tosun, O. Ozturk, N. Mansouri, E. Arvas, M. Kandemir, Y. Xie, W-L. Hung, "An ILP Formulation for Reliability-Oriented High-Level Synthesis," isqed, pp.364-369, Sixth International Symposium on Quality of Electronic Design (ISQED'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.