Sciweavers

1187 search results - page 2 / 238
» On Modeling Cross-Talk Faults
Sort
View
ICFEM
2010
Springer
13 years 4 months ago
A Methodology for Automatic Diagnosability Analysis
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
Jonathan Ezekiel, Alessio Lomuscio
TCAD
1998
109views more  TCAD 1998»
13 years 6 months ago
Diagnosing realistic bridging faults with single stuck-at information
Successful failure analysis requires accurate fault diagnosis. This paper presents a method for diagnosing bridging faults that improves on previous methods. The new method uses s...
David B. Lavo, Brian Chess, Tracy Larrabee, F. Joe...
FDTC
2011
Springer
267views Cryptology» more  FDTC 2011»
12 years 6 months ago
An In-depth and Black-box Characterization of the Effects of Clock Glitches on 8-bit MCUs
Abstract—The literature about fault analysis typically describes fault injection mechanisms, e.g. glitches and lasers, and cryptanalytic techniques to exploit faults based on som...
Josep Balasch, Benedikt Gierlichs, Ingrid Verbauwh...
DATE
2006
IEEE
89views Hardware» more  DATE 2006»
14 years 10 days ago
Generation of broadside transition fault test sets that detect four-way bridging faults
Generation of n -detection test sets is typically done for a single fault model. In this work we investigate the generation of n -detection test sets by pairing each fault of a ta...
Irith Pomeranz, Sudhakar M. Reddy
DATE
2002
IEEE
96views Hardware» more  DATE 2002»
13 years 11 months ago
Modeling Techniques and Tests for Partial Faults in Memory Devices
: It has always been assumed that fault models in memories are sufficiently precise for specifying the faulty behavior. This means that, given a fault model, it should be possible...
Zaid Al-Ars, A. J. van de Goor