TY  - BOOK
A1  - Marienfeld, Daniel
A1  - Sogomonyan, Egor S.
A1  - Ocheretnij, V.
A1  - Gössel, Michael
T1  - Self-checking Output-duplicated Booth-2 Multiplier
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2005
SN  - 0946-7580
VL  - 2005, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Saposhnikov, Vl. V.
A1  - Ocheretnij, V.
A1  - Saposhnikov, V. V.
A1  - Gössel, Michael
T1  - Modified TMR-system with reduced hardware overhead
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Goessel, Michael
A1  - Chakrabarty, Krishnendu
A1  - Ocheretnij, V.
A1  - Leininger, Andreas
T1  - A signature analysis technique for the identification of failing vectors with application to Scan-BIST
N2  - We present a new technique for uniquely identifying a single failing vector in an interval of test vectors. This technique is applicable to combinational circuits and for scan-BIST in sequential circuits with multiple scan chains. The proposed method relies on the linearity properties of the MISR and on the use of two test sequences, which are both applied to the circuit under test. The second test sequence is derived from the first in a straightforward manner and the same test pattern source is used for both test sequences. If an interval contains only a single failing vector, the algebraic analysis is guaranteed to identify it. We also show analytically that if an interval contains two failing vectors, the probability that this case is interpreted as one failing vector is very low. We present experimental results for the ISCAS benchmark circuits to demonstrate the use of the proposed method for identifying failing test vectors
Y1  - 2004
SN  - 0923-8174
ER  - 
TY  - BOOK
A1  - Sogomonyan, Egor S.
A1  - Marienfeld, Daniel
A1  - Ocheretnij, V.
A1  - Gössel, Michael
T1  - A new self-checking sum-bit duplicated carry-select adder
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 5
PB  - Univ.
CY  - Potsdam
ER  -