StitchUp: Protecting the Control-Flow of HLS Circuits Through Program Slicing

Add to your list(s) Download to your calendar using vCal

• Shane Fleming (Imperial College)
• Monday 28 September 2015, 14:00-15:00
• Level 9 Mahanakorn Lab., EE Dept..

If you have a question about this talk, please contact Grigorios Mingas.

Detecting soft errors in FPG As often requires full circuit duplication which is expensive in both area and power and often infeasible for certain applications such as satellite avionics. While full duplication might not be possible it may be possible to duplicate a subset of the circuit, but which subset? Our approach is to use a program analysis technique, called program slicing, with LegUp, a popular HLS tool, to extract and duplicate only the control-flow structure of the input program. Through duplicating only the control-flow structure we can guarantee that the correct path will be taken through the circuit or an error flagged, while consuming only a fraction of the resources over traditional duplication approaches. This talk will outline StitchUp, a LegUp extension we have developed for achieving this, along with some preliminary results and an error injection framework.

This talk is part of the CAS Talks series.

This talk is included in these lists:

• Andrea Picciau's list
• CAS Talks
• Circuits and Systems Group: Internal Seminars
• Level 9 Mahanakorn Lab., EE Dept.

Note that ex-directory lists are not shown.