Use of a standard non-rad-hard digital cell library in the rad-hard design can be a cost-effective
solution for space applications. In this paper we demonstrate how a standard non-rad-…

We present a method employing Answer Set Programming in combination with Approximate
Model Counting for fast and accurate calculation of error propagation probabilities in digital …

A robust design, which is one of the main requirements for space applications is always a
tradeoff between power and area budget, speed requirement and the overall reliability. The …

Answer Set Programming (ASP) is proposed as a compact and versatile approach to circuit
analysis. By the example of upsets in registers we demonstrate how to perform reliability …

A shortage of practically skilled computer science graduates affects academia as well as the
industry. Especially when it comes to hardware design and awareness about the complete …

The paper presents an alternative Single-Event Effect (SEE)-tolerant Triple Modular Redundancy
(TMR) circuit topology for space applications. The proposed D-flip-flop circuit scheme …

Simulation-based fault injection is an approach, which is usually conducted in the design
phase to evaluate the reliability of circuits. However, this approach is frequently time-consuming…

Security requirements for the Internet of things (IoT), wireless sensor nodes, and other wireless
devices connected in a network for data exchange are high. Confidentiality, data integrity, …

The paper presents a strategy for mitigation of SETs on a data path using three-clock input
TMR (Triple Modular Redundancy) flip-flop cells (φTMR approach) as an alternative to the …

Clock gating is a common approach for reduction of dynamic power consumption in digital
designs. It is achieved by insertion of special clock gating cells in the circuit, enabling to …