Sciweavers

2056 search results - page 94 / 412
» Detecting Errors in Spreadsheets
Sort
View
IPPS
2007
IEEE
15 years 4 months ago
Fast SEU Detection and Correction in LUT Configuration Bits of SRAM-based FPGAs
1 FPGAs are an appealing solution for the space-based remote sensing applications. However, in a low-earth orbit, configuration bits of SRAM-based FPGAs are susceptible to single-e...
Hamid R. Zarandi, Seyed Ghassem Miremadi, Costas A...
IOLTS
2008
IEEE
117views Hardware» more  IOLTS 2008»
15 years 4 months ago
Verification and Analysis of Self-Checking Properties through ATPG
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
Marc Hunger, Sybille Hellebrand
PTS
2008
98views Hardware» more  PTS 2008»
14 years 11 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
ICESS
2005
Springer
15 years 3 months ago
Self-correction of FPGA-Based Control Units
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...
Iouliia Skliarova
IOLTS
2003
IEEE
138views Hardware» more  IOLTS 2003»
15 years 3 months ago
An Analog Checker With Input-Relative Tolerance for Duplicate Signals
We discuss the design of a novel analog checker that monitors two duplicate signals and provides a digital error indication when their absolute difference is unacceptably large. Th...
Haralampos-G. D. Stratigopoulos, Yiorgos Makris