Title :
An RT-level concurrent error detection technique for data dominated systems
Author :
Goubeva, O. ; Reorda, M. Sonza ; Violante, M.
Author_Institution :
Dip. Automatica e Informatica, Politecnico di Torino, Italy
Abstract :
In this paper we present a concurrent error detection (CED) technique that can be applied to behavioral RTL models of data dominated systems. The technique obtains CED through duplication of operations with shifted operands. Duplication is performed according to transformation rules that can automatically be applied to a behavioral model. Preliminary experimental results show the viability of the proposed technique.
Keywords :
error detection; fault simulation; logic testing; RT-level concurrent error detection technique; RTL models; behavioral model; data dominated systems; duplication; fault coverage evaluation; register transfer level; shifted operands; single stuck-at faults; transformation rules; Algorithm design and analysis; Circuit faults; Circuit simulation; Circuit synthesis; Clocks; Delay; Differential equations; Fault detection; Filters; Production;
Conference_Titel :
On-Line Testing Symposium, 2003. IOLTS 2003. 9th IEEE
Print_ISBN :
0-7695-1968-7
DOI :
10.1109/OLT.2003.1214385
