Cost-efficient scheduling in high-level synthesis for Soft-Error Vulnerability Mitigation

Due to the continuous reduction in chip feature size and supply voltage, soft errors are becoming a serious problem in the today's LSI design. Most literature on system-level design techniques has been conventionally tackling this issue by spatial and/or temporal modular redundancy, whose cost in circuit area and performance is large. This paper proposes a soft error-aware scheduling method in high-level synthesis (HLS), which does not rely on such expensive, conventional techniques. The reliability of the datapath circuit is determined not only by that of hardware resources to which operations and values are assigned, but also that of their active time (i.e., time during which operational results should be correct). By considering both of these factors, our proposed method schedules operations so that the reliability of HLS-generated datapath circuits can be maximized under designer-given area/latency constraints. Experimental results demonstrate the effectiveness of our method over existing methods, especially for strict area/latency constraints.

[1]  Mahmut T. Kandemir,et al.  An ILP formulation for reliability-oriented high-level synthesis , 2005, Sixth international symposium on quality electronic design (isqed'05).

[2]  Ismail Kadayif,et al.  Modeling soft errors for data caches and alleviating their effects on data reliability , 2010, Microprocess. Microsystems.

[3]  Elaheh Bozorgzadeh,et al.  SEU-aware resource binding for modular redundancy based designs on FPGAs , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[4]  Jörg Henkel,et al.  Self-Immunity Technique to Improve Register File Integrity Against Soft Errors , 2011, 2011 24th Internatioal Conference on VLSI Design.

[5]  Martin Lukasiewycz,et al.  Reliability-Aware System Synthesis , 2007 .

[6]  M. Fazeli,et al.  A Low Energy Soft Error-Tolerant Register File Architecture for Embedded Processors , 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.

[7]  Niraj K. Jha,et al.  Behavioral Synthesis of Fault Secure Controller/Datapaths Based on Aliasing Probability Analysis , 2000, IEEE Trans. Computers.

[8]  Wei Liu,et al.  Using Register Lifetime Predictions to Protect Register Files Against Soft Errors , 2008 .

[9]  John P. Hayes,et al.  High-level vulnerability over space and time to insidious soft errors , 2008, 2008 IEEE International High Level Design Validation and Test Workshop.

[10]  Ramesh Karri,et al.  Fault secure datapath synthesis using hybrid time and hardware redundancy , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[11]  Lorenzo Alvisi,et al.  Modeling the effect of technology trends on the soft error rate of combinational logic , 2002, Proceedings International Conference on Dependable Systems and Networks.

[12]  Mahmut T. Kandemir,et al.  Reliability-centric high-level synthesis , 2005, Design, Automation and Test in Europe.

[13]  Pedro Reviriego,et al.  Reliability analysis of memories protected with BICS and a per-word parity bit , 2010, TODE.