Symbolic Fault Modeling and Model Counting for the Identification of Critical Gates in Digital Circuits

Conference: ZuE 2015 - 8. GMM/ITG/GI-Fachtagung Zuverlässigkeit und Entwurf – Reliability by Design
09/21/2015 - 09/23/2015 at Siegen, Deutschland

Proceedings: ZuE 2015

Pages: 8Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Authors:
Bernardini, Alessandro; Schlichtmann, Ulf (TU München, Germany)

Abstract:
We describe a symbolic modeling for handling bit-flips and glitches in digital circuits. Using Model Counting we can compute the conditional error probability and we can efficiently order gates according to their criticality for selective hardening. We can handle sets of gates symbolically as a whole and using ROBDD or #SAT Algorithms we obtain an exact solution without repeatedly injecting errors. Multiple bit-flips can be handled as well. We can consider correlated input patterns. We show the performance of the symbolic modeling when processing set of gates instead of repeatedly considering a single gate, without losing detailed information.