DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

A Hybrid Algorithm to Conservatively Check the Robustness of Circuits

Thole, Niels and Anghel, Lorena and Fey, Görschwin (2016) A Hybrid Algorithm to Conservatively Check the Robustness of Circuits. In: IEEE European Test Symposium (ETS). Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 06. März 2016, Siegen, Deutschland.

[img] PDF - Only accessible within DLR


As systems become more complex, the size of transistors decreases. This effect leads to an increased probability of transient faults as well as higher variability of the transistors. Verifying that circuits are robust against transient faults and variability is mandatory. While formal verification may be used to prove robustness, a model that includes extracted electrical parameters and the corresponding timing information is usually too complex in practice. The contribution of this paper consists in a hybrid algorithm that can decide robustness. The algorithm uses Boolean reasoning as well as simulation to decompose the Problem into feasible SAT formulas and still achieves completeness. In our experiments, we compare the algorithm against our previous implementation and achieve an average speed up of 1500 on the ISCAS-85 benchmarks and fault tolerant modifications.

Item URL in elib:https://elib.dlr.de/105965/
Document Type:Conference or Workshop Item (Speech)
Title:A Hybrid Algorithm to Conservatively Check the Robustness of Circuits
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Journal or Publication Title:IEEE European Test Symposium (ETS)
Refereed publication:No
Open Access:No
Gold Open Access:No
In ISI Web of Science:No
Keywords:Robustness, Logic gates, Transient analysis, Circuit faults, Timing, Runtime, Reliability, Formal Methods, Electronic Design Automation
Event Title:Testmethoden und Zuverlässigkeit von Schaltungen und Systemen
Event Location:Siegen, Deutschland
Event Type:international Conference
Event Dates:06. März 2016
Organizer:VDE/VDI-Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik (GMM)
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space System Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Space System Technology
DLR - Research theme (Project):R - Small Sat Kleinsatelliten (old), R - Core Avionics (old), R - Systemtechnologien (old)
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Mörz, Martina
Deposited On:08 Sep 2016 09:43
Last Modified:20 Jun 2021 15:47

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.