Ioannis Tsounis;Dimitris Agiakatsikas;Mihalis Psarakis
{"title":"Leveraging the Error Margins of Approximate Adders for Fault Tolerance with Minimum Redundancy","authors":"Ioannis Tsounis;Dimitris Agiakatsikas;Mihalis Psarakis","doi":"10.1109/TC.2026.3725592","DOIUrl":null,"url":null,"abstract":"Approximate Computing (AC) can be useful to applications with error resiliency, such as neural networks, to trade off between accuracy, performance, area, and power. Fault tolerance remains an open issue in AC since HW faults that are caused, for example, by radiation-induced effects, can lead to an arithmetic error out of application specification boundaries. Our approach guards approximate adders against HW faults by selectively inserting Hardware Error Detection (HED) redundancy, i.e., Double Modular Redundancy (DMR), only to the primitive adder cells of approximate adders that can cause an arithmetic error out of their resiliency boundaries (when corrupted by HW faults). Therefore, our approach introduces less area and delay overhead than hardening the whole circuit. We employ our methodology in various state-of-the-art approximate adders, such as low-latency and multi-bit approximate adders. We synthesize both the unhardened and hardened versions of the examined ASIC- and FPGA-based approximate adder architectures with Openlane and Vivado design flows, respectively. Our experimental results show that the proposed HED scheme can detect all out-of-boundaries errors: 1) without negating the original approximation gains of the unhardened design in terms of area and performance, and 2) by imposing significantly reduced overhead compared to the baseline (full DMR) hardened version.","PeriodicalId":13087,"journal":{"name":"IEEE Transactions on Computers","volume":"75 11","pages":"3941-3955"},"PeriodicalIF":4.9000,"publicationDate":"2026-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Computers","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/11658949/","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2026/8/18 0:00:00","PubModel":"Epub","JCR":"Q2","JCRName":"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE","Score":null,"Total":0}
引用次数: 0
Abstract
Approximate Computing (AC) can be useful to applications with error resiliency, such as neural networks, to trade off between accuracy, performance, area, and power. Fault tolerance remains an open issue in AC since HW faults that are caused, for example, by radiation-induced effects, can lead to an arithmetic error out of application specification boundaries. Our approach guards approximate adders against HW faults by selectively inserting Hardware Error Detection (HED) redundancy, i.e., Double Modular Redundancy (DMR), only to the primitive adder cells of approximate adders that can cause an arithmetic error out of their resiliency boundaries (when corrupted by HW faults). Therefore, our approach introduces less area and delay overhead than hardening the whole circuit. We employ our methodology in various state-of-the-art approximate adders, such as low-latency and multi-bit approximate adders. We synthesize both the unhardened and hardened versions of the examined ASIC- and FPGA-based approximate adder architectures with Openlane and Vivado design flows, respectively. Our experimental results show that the proposed HED scheme can detect all out-of-boundaries errors: 1) without negating the original approximation gains of the unhardened design in terms of area and performance, and 2) by imposing significantly reduced overhead compared to the baseline (full DMR) hardened version.
期刊介绍:
The IEEE Transactions on Computers is a monthly publication with a wide distribution to researchers, developers, technical managers, and educators in the computer field. It publishes papers on research in areas of current interest to the readers. These areas include, but are not limited to, the following: a) computer organizations and architectures; b) operating systems, software systems, and communication protocols; c) real-time systems and embedded systems; d) digital devices, computer components, and interconnection networks; e) specification, design, prototyping, and testing methods and tools; f) performance, fault tolerance, reliability, security, and testability; g) case studies and experimental and theoretical evaluations; and h) new and important applications and trends.