Sciweavers

1187 search results - page 16 / 238
» On Modeling Cross-Talk Faults
Sort
View
FM
2003
Springer
139views Formal Methods» more  FM 2003»
14 years 1 months ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer
QSIC
2005
IEEE
14 years 2 months ago
Formal Fault Tree Analysis of State Transition Systems
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
Jianwen Xiang, Kazuhiro Ogata
DAC
2000
ACM
14 years 29 days ago
Modeling and simulation of real defects using fuzzy logic
Real defects (e.g. stuck-at or bridging faults) in the VLSI circuits cause intermediate voltages and can not be modeled as ideal shorts. In this paper we first show that the trad...
Amir Attarha, Mehrdad Nourani, Caro Lucas
MTDT
2002
IEEE
129views Hardware» more  MTDT 2002»
14 years 1 months ago
March SS: A Test for All Static Simple RAM Faults
This paper presents all simple (i.e., not linked) static fault models that have been shown to exist for Random Access Memories (RAMs), and shows that none of the current industria...
Said Hamdioui, A. J. van de Goor, Mike Rodgers
DATE
2006
IEEE
75views Hardware» more  DATE 2006»
14 years 2 months ago
Space of DRAM fault models and corresponding testing
Abstract: DRAMs play an important role in the semiconductor industry, due to their highly dense layout and their low price per bit. This paper presents the first framework of faul...
Zaid Al-Ars, Said Hamdioui, A. J. van de Goor