Affiliation:
1. Karlsruhe Institute of Technology, Karlsruhe, Germany
Abstract
Soft error is nowadays a major reliability issue for nanoscale VLSI, and addressing it during high-level synthesis is essential to improve the efficiency of error mitigation. Motivated by the observation that for behavioral designs, especially control-flow intensive ones, variables and operations have non-uniform soft error vulnerabilities, we propose a novel reliability-aware allocation and binding technique to explore more effective soft error mitigation during high level synthesis. We first perform a comprehensive vulnerability analysis at the behavioral level by considering error propagation and masking in both control and data flows. Then the optimizations based on integer linear programming, as well as heuristic algorithm, are employed to incorporate the behavioral vulnerabilities into the register and functional unit binding phases to achieve cost-efficient error mitigation. The experimental results reveal that compared with the previous techniques which ignored behavioral vulnerabilities, the proposed approach can achieve up to 85% reliability improvement with the same amount of area budget in the RTL design.
Funder
German Research Foundation (DFG) as part of the national focal program “Dependable Embedded Systems”
Publisher
Association for Computing Machinery (ACM)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Computer Science Applications
Reference45 articles.
1. Alfred V. Aho Monica S. Lam Ravi Sethi and Jeffrey D. Ullman. 2007. Compilers: Principles Techniques & Tools with Gradiance (2nd ed.). Addison-Wesley. Alfred V. Aho Monica S. Lam Ravi Sethi and Jeffrey D. Ullman. 2007. Compilers: Principles Techniques & Tools with Gradiance (2nd ed.). Addison-Wesley.
2. A New Critical Variable Analysis in Processor-Based Systems
3. SRAM Interleaving Distance Selection With a Soft Error Failure Model
4. C. Baier and J. P. Katoen. 2008. Principles of Model Checking. MIT Press. C. Baier and J. P. Katoen. 2008. Principles of Model Checking. MIT Press.
5. Upset hardened memory design for submicron CMOS technology
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献