Sciweavers

207 search results - page 10 / 42
» Testing and Model-Checking Techniques for Diagnosis
Sort
View
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
15 years 5 months ago
A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs
This paper proposes a diagnosis scheme aimed at reducing diagnosis time of distributed small embedded SRAMs (e-SRAMs). This scheme improves the one proposed in [7, 8]. The improve...
Baosheng Wang, Yuejian Wu, André Ivanov
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 6 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
KBSE
2008
IEEE
15 years 6 months ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim
ASPDAC
2006
ACM
122views Hardware» more  ASPDAC 2006»
15 years 5 months ago
IEEE standard 1500 compatible interconnect diagnosis for delay and crosstalk faults
– We propose an interconnect diagnosis scheme based on Oscillation Ring test methodology for SOC design with heterogeneous cores. The target fault models are delay faults and cro...
Katherine Shu-Min Li, Yao-Wen Chang, Chauchin Su, ...
ETS
2011
IEEE
220views Hardware» more  ETS 2011»
13 years 11 months ago
Structural In-Field Diagnosis for Random Logic Circuits
—In-field diagnosability of electronic components in larger systems such as automobiles becomes a necessity for both customers and system integrators. Traditionally, functional ...
Alejandro Cook, Melanie Elm, Hans-Joachim Wunderli...