Proceedings of the 52nd Annual Design Automation Conference 2015
DOI: 10.1145/2744769.2744851
|View full text |Cite
|
Sign up to set email alerts
|

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 i… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
4
0

Year Published

2016
2016
2021
2021

Publication Types

Select...
4
2
1

Relationship

1
6

Authors

Journals

citations
Cited by 16 publications
(4 citation statements)
references
References 18 publications
0
4
0
Order By: Relevance
“…Burak et al [14] proposed an Enhanced Duplication (ED) technique to provide error detection by utilizing unused bits of registers to store the duplication of narrow values. Keith et al [15] proposed a low-cost error detection approach by leveraging the flexibility of the binding and scheduling phases in the HLS process to perform lightweight modulo-3 arithmetic computing on the data-path design. Approximate circuit designs at different levels of VLSI design abstractions have been widely studied [9], [10].…”
Section: Motivational Examplementioning
confidence: 99%
“…Burak et al [14] proposed an Enhanced Duplication (ED) technique to provide error detection by utilizing unused bits of registers to store the duplication of narrow values. Keith et al [15] proposed a low-cost error detection approach by leveraging the flexibility of the binding and scheduling phases in the HLS process to perform lightweight modulo-3 arithmetic computing on the data-path design. Approximate circuit designs at different levels of VLSI design abstractions have been widely studied [9], [10].…”
Section: Motivational Examplementioning
confidence: 99%
“…Utilizing a high-level synthesis (HLS) engine from UIUC [5], 12 accelerator designs derived from the PolyBench benchmark suite [42] were evaluated with protection using LEAP-DICE (circuit), logic parity (logic), modulo-3 shadow datapaths (architecture), EDDI (software), and ABFT (algorithm) techniques. Note that, software and algorithm techniques are converted into hardware checkers during high-level synthesis.…”
Section: Resilience Exploration For Custom Acceleratorsmentioning
confidence: 99%
“…In [158], structural DMR is proposed which can detect soft error and correct the error significantly with lesser logic complexity in comparison to traditional TMR. Another low cost approach is presented to detect error for arithmetic data paths by performing light-weight shadow computation in modulo-3 space [159].…”
Section: Soft Error Related Reliabilitymentioning
confidence: 99%