D:\sbornik\...\Sav.DVI


Mathematical Problems of Computer Science 30, 18{24, 2008.

E ±cient M ar ch-Like Algor ithm for Detection of All

T wo-Oper ation Dynamic Faults fr om Subclass Sav

H . A ve t is ya n y, G. H a r u t u n ya n z, V .A . V a r d a n ia n z

y Russian-Armenian State University
e-mail: hamazasp avetisyan@yahoo.com

zVirage Logic
e-mail: fgurgen.harutyunyan, valery.vardaniang@viragelogic.com

Abstract

This paper introduces an e±cient March-like algorithm for detection of the well
known class Sav of dynamic faults. Sav is the subclass of all two-operation dynamic
functional fault models that are sensitized by means of applying two consecutive opera-
tions, one applied on the aggressor cell and the second operation applied on the victim
cell. Earlier, only subclasses Saa and Svv were considered by a few authors when both
sensitizing operations were applied either on the aggressor or victim cell, and March
algorithms were developed by them. Subclasses Sav and Sva were not considered due
to their complexity. A larger class of March-like algorithms has to be considered for
detection of those subclasses since March algorithms cannot detect them. It is shown
that 392N operations are su±cient for detection of faults from Sav.

Refer ences

[1 ] A . J. va n d e Go o r , " Te s t in g s e m ic o n d u c t o r m e m o r ie s : Th e o r y a n d P r a c t ic e " , J ohn
W iley and Sons, 1 9 9 1 .

[2 ] S . H a m d io u i, A .J. va n d e Go o r , M. R o d g e r s , " Ma r c h S S : a t e s t fo r a ll s t a t ic s im p le
fa u lt s " , R ecords of IE E E Int. W orkshop M TD T, p p . 9 5 -1 0 0 , 2 0 0 2 .

[3 ] S . H a m d io u i, A .J. va n d e Go o r , M. R o d g e r s , " L in ke d fa u lt s in r a n d o m a c c e s s m e m o r ie s :
c o n c e p t , fa u lt m o d e ls , t e s t a lg o r it h m s , a n d in d u s t r ia l r e s u lt s " , IE E E Trans. CAD , vo l.
2 3 , N o . 5 , Ma y p p . 7 3 7 -7 5 6 , 2 0 0 4 .

[4 ] S . H a m d io u i, Z. A l-A r s a n d A .J. va n d e Go o r , " Te s t in g s t a t ic a n d d yn a m ic fa u lt s in
r a n d o m a c c e s s m e m o r ie s " , In P roc. of IE E E VL SI Test Symposium, p p . 3 9 5 -4 0 0 , 2 0 0 2 .

[5 ] R . D . A d a m s , E . S . Co o le y, " A n a lys is o f d e c e p t ive r e a d d e s t r u c t ive m e m o r y fa u lt m o d e l
a n d r e c o m m e n d e d t e s t in g " , P roc. of IE E E North Atlantic Test W orkshop, p p . 2 7 -3 2 ,
1 9 9 6 .

[6 ] S . H a m d io u i, R . W a d s wo r t h , J. D . R e ye s , A .J. va n d e Go o r , " Im p o r t a n c e o f d yn a m ic
fa u lt s fo r n e w S R A M t e c h n o lo g ie s " In P roc. of IE E E E uropean Test W orkshop, p p .
2 9 -3 4 , 2 0 0 3 .

1 8



H. Avetisyan, G. Harutunyan, V. Vardanian 1 9

[7 ] S . H a m d io u i, G.N . Ga yd a d jie v, a n d A .J. va n d e Go o r , " A fa u lt p r im it ive b a s e d a n a lys is
o f d yn a m ic m e m o r y fa u lt s " , IE E E 14th Annual W orkshop on Circuits, Systems and
Signal P rocessing, V e ld h o ve n , t h e N e t h e r la n d s , p p . 8 4 -8 9 , 2 0 0 3 .

[8 ] A . B e n s o , A . B o s io , S . D i Ca r lo , G. D i N a t a le , P . P r in e t t o , " Ma r c h A B , Ma r c h A B 1 :
N e w Ma r c h t e s t s fo r u n lin ke d d yn a m ic m e m o r y fa u lt s " , ITC, 2 0 0 5 .

[9 ] A . B e n s o , A . B o s io , S . D i Ca r lo , G. D i N a t a le , P . P r in e t t o , " A u t o m a t ic m a r c h t e s t
g e n e r a t io n fo r s t a t ic a n d d yn a m ic fa u lt s , in S R A Ms " , P roc. E TS 2005, Tallinn, p p .
1 2 2 -1 2 7 , 2 0 0 5 .

[1 0 ] G. H a r u t u n ya n , V . A . V a r d a n ia n , Y . Zo r ia n , " Min im a l m a r c h t e s t s fo r d yn a m ic fa u lt s
in r a n d o m a c c e s s m e m o r ie s " , J ournal of E lectronic Testing: Theory and Applications,
vo l. 2 3 , N u m b e r 1 , p p . 5 5 -7 4 , 2 0 0 7 .

[1 1 ] G. H a r u t u n ya n , V .A . V a r d a n ia n , Y . Zo r ia n , " Min im a l m a r c h t e s t s fo r d yn a m ic fa u lt s
in r a n d o m a c c e s s m e m o r ie s " , In P roc. of IE E E E uropean Test Symposium, p p . 4 3 -4 8 ,
2 0 0 6 .

[1 2 ] A .J. va n d e Go o r , I. S c h a n s t r a , " A d d r e s s a n d d a t a s c r a m b lin g : Ca u s e s a n d im p a c t o n
m e m o r y t e s t s " , P roc. IE E E W orkshop D E L TA, p p . 1 2 8 -1 3 6 , 2 0 0 2 .

[1 3 ] J.-F. L i, K .-L . Ch e n g , C.-T. H u a n g , a n d C.-W . W u , " Ma r c h b a s e d R A M d ia g n o s t ic
a lg o r it h m s fo r s t u c k-a t a n d c o u p lin g fa u lt s " , P roc. IE E E ITC, p p . 7 5 8 -7 6 7 , 2 0 0 1 .

[1 4 ] V . A . V a r d a n ia n , Y . Zo r ia n , " A m a r c h -b a s e d fa u lt lo c a t io n a lg o r it h m fo r s t a t ic r a n d o m
a c c e s s m e m o r ie s " , P roc. IE E E Int. W orkshop M TD T, p p . 6 2 -6 7 , 2 0 0 2 .

²ñ¹Ûáõݳí»ï Ù³ñß³ïÇå ³É·áñÇÃÙ ¹ÇݳÙÇÏ ³Ýë³ñùáõÃÛáõÝÝ»ñÇ
»Ýó¹³ëÇ µáÉáñ ³Ýë³ñùáõÃÛáõÝÝ»ñÇ Ñ³Ûïݳµ»ñÙ³Ý Ñ³Ù³ñ

Ð. ²í»ïÇëÛ³Ý, ¶. гñáõÃÛáõÝÛ³Ý, ì. ì³ñ¹³ÝÛ³Ý

²Ù÷á÷áõÙ

²Ûë Ñá¹í³ÍáõÙ Ý»ñϳ۳óíáõÙ ¿ ³ñ¹Ûáõݳí»ï Ù³ñß³ïÇå ³É·áñÇÃÙ, áñÁ
ϳñáÕ³ÝáõÙ ¿ ѳÛïݳµ»ñ»É ¹³ëÇ µáÉáñ ¹ÇݳÙÇÏ ³Ýë³ñùáõÃÛáõÝÝ»ñÁ. ¹³ëÁ »ñÏáõ
·áñÍáõÕáõÃÛ³Ùµ ½·³ÛáõݳóíáÕ ¹ÇݳÙÇÏ ³Ýë³ñùáõÃÛáõÝÝ»ñÇ »Ýó¹³ë ¿, ³ÛëÇÝùÝ
³Ýë³ñùáõÃÛáõÝÝ»ñ, áñáÝù ½·³ÛáõݳóíáõÙ »Ý ÑÇßáÕáõÃÛ³Ý µççÇ Ýϳïٳٵ ѳçáñ¹³Ï³Ý
»ñÏáõ ·áñÍáÕáõÃÛáõÝ Ï³ï³ñ»ÉÇë, ³é³çÇÝ ·áñÍáÕáõÃÛáõÝÁ ³·ñ»ëáñ ¿, ÇëÏ »ñÏñáñ¹Á ½áÑ
¿ µççÇ Ýϳïٳٵ: ܳËÏÇÝáõÙ ¹Çï³ñÏí³Í »Ý »Õ»É ¨ »Ýó¹³ë»ñÁ, áñáÝó ѳٳñ
Ñ»ÕÇݳÏÝ»ñÁ Ý»ñϳ۳óñ»É ¿ÇÝ Ù³ñß ³É·áñÇÃÙ»ñ: ºí ¹³ë»ñÁ áõëáõÙݳëÇñí³Í ã»Ý »Õ»É,
ù³ÝÇ áñ Ýñ³Ýó ѳٳñ Ñݳñ³íáñ 㿠ϳéáõó»É Ù³ñß ³Ý·áñÇÃÙ: ê³Ï³ÛÝ ³Ûë ¹³ë»ñÇ
ѳٳñ Ñݳñ³íáñ ¿ ϳéáõó»É Ù³ñß³ïÇå ³Ý·áñÇÃÙ»ñ: Ðá¹í³ÍáõÙ Ý»ñϳ۳óí³Í ¿
Ù³ñß³ïÇå ³É·áñÇÃÙ, áñÁ ϳï³ñ»Éáí ·áñÍáÕáõÃÛáõÝ Ñ³Ûïݳµ»ñáõÙ ¿ ¹³ëÇ µáÉáñ
³Ýë³ñùáõÃÛáõÝÝ»ñÁ: