| Home > Methodology for Feedback Loop Detection and Automatic Voter Placement in TMR Netlists |
| Preprint | |
| Title | Methodology for Feedback Loop Detection and Automatic Voter Placement in TMR Netlists |
| Author(s) | Jonckers, Laël (Leuven U.) ; Jonckers, Naïn (Leuven U.) ; Biereigel, Stefan (Leuven U. ; CERN) ; Prinzie, Jeffrey (Leuven U.) |
| Publication | 2022 |
| Number of pages | 4 |
| Published in: | 10.1109/RADECS55911.2022.10412365 |
| Presented at | Conference on Radiation and its Effects on Components and Systems (RADECS 2023), Toulouse, France, 25 - 29 Sep 2023 |
| DOI | 10.1109/RADECS55911.2022.10412365 |
| Subject category | Detectors and Experimental Techniques |
| Keywords | Feedback Loop ; Loop Detection ; Triple Modular Redundancy ; Majority Voting ; Optimal Placement ; Triplication ; Digital Circuits ; Root Node ; Child Nodes ; Chain Sequencing ; Depth-first ; Breadth-first Search ; List Of Nodes ; Radiation Effects ; Voter ; Single Event Effects ; Radiation Hardening by Design |
| Abstract | In this paper, we present an algorithm for detecting feedback loops in sequential digital circuits as well as an algorithm for optimally inserting majority voters on essential circuit nodes which are vulnerable to Single Event Upsets (SEUs). In conjunction with triplication tools, this approach is able to automate a full radiation hardening flow strategy for complex digital designs, resulting in a Triple Modular Redundancy (TMR) RTL design with optimal voter placement. The proposed algorithms are formally defined and explained with example circuits. |
| Other source | Inspire |
| Copyright/License | © 2022-2025 IEEE |