@inproceedings{c9f3e5199c78450aba1ca7c3b2ffb0f0,
title = "High-level synthesis of error detecting cores through low-cost modulo-3 shadow datapaths",
abstract = "In this study, we propose a low-cost approach to error detection for arithmetic orientated data paths by performing lightweight shadow computations in modulo-3 space for each main computation. By leveraging the binding and scheduling flexibility of high-level synthesis, we detect errors through diverse binding and minimize area cost through intelligent checkpoint scheduling and modulo-3 reducer sharing. We evaluated our technique with 12 high-level synthesis benchmarks using FPGA emulated netlist-level error injection. We observe coverages of 99.13% for stuck-at faults, 99.46% for soft errors, and 99.67% for timing errors with a 25.7% area cost and negligible performance impact. Leveraging error detection latencies on the order of 10 cycles (3 orders of magnitude faster than end result check) for soft errors, we also explore a rollback recovery method with an additional area cost of 28.0%, observing a 175x increase in reliability against soft errors.",
keywords = "High-level synthesis, aliasing, automation, binding, checkpointing, datapath, electrical faults, error detection, high performance, logic optimization, low cost, modulo arithmetic, optimization, pIPelining, rollback recovery, scheduling, shadow logic, soft errors, state machine, stuck-at faults, timing errors",
author = "Campbell, {Keith A.} and Pranay Vissa and Pan, {David Z.} and Deming Chen",
note = "Publisher Copyright: {\textcopyright} 2015 ACM.; 52nd ACM/EDAC/IEEE Design Automation Conference, DAC 2015 ; Conference date: 07-06-2015 Through 11-06-2015",
year = "2015",
month = jul,
day = "24",
doi = "10.1145/2744769.2744851",
language = "English (US)",
series = "Proceedings - Design Automation Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2015 52nd ACM/EDAC/IEEE Design Automation Conference, DAC 2015",
address = "United States",
}