D:\sbornik\...\rev.DVI


Mathematical Problems of Computer Science 30, 5{17, 2008.

An E ±cient M ethod for Gener ation of M ar ch T ests

B ased on For mulas

Gurgen Harutunyany, Davit Melkumyany, Hasmik Elchyanz, Valery Vardaniany

y Virage Logic
e-mail: fgurgen, davit.melkumyan, valery.vardaniang@viragelogic.com

zYerevan State University
e-mail: hasmik.elchyan@yahoo.com

Abstract

A general method for generation of minimal March tests to detect or diagnose any
subclass of simple static or dynamic faults in Static RAMs is described. The proposed
method is shown to generate all possible March tests satisfying certain necessary con-
ditions for detection of faults. A correspondence between March tests and natural
numbers is established that allows construct a formula that enables generation of all
March tests detecting certain faults. As an example, the method is applied for construc-
tion of new minimal March tests for detection of several subclasses of three-operation
dynamic faults. The method can be generalized for detection/diagnosis of any subset
of static or dynamic faults.

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
& Sons, 1 9 9 1 .

[2 ] A . J. va n d e Go o r , B . S m it , " Th e a u t o m a t ic g e n e r a t io n o f m a r c h t e s t s " , IE E E Inter-
national W orkshop M emory Technology D esign and Testing, p p . 1 3 1 -1 3 6 , 1 9 9 3 .

[3 ] K . Za r r in e h , S . J. U p a d h ya ya , a n d S . Ch a kr a va r t y, " A n e w fr a m e wo r k fo r g e n e r a t in g
o p t im a l m a r c h t e s t s fo r m e m o r y a r r a ys " , P roc. Int. Conf. (ITC), p p . 7 3 -8 2 , 1 9 9 8 .

[4 ] A . B e n s o , S . D i Ca r lo , G. D i N a t a le , P . P r in e t o , " A n o p t im a l a lg o r it h m fo r t h e a u t o -
m a t ic g e n e r a t io n o f m a r c h t e s t s " , D ATE 2002, IE E E D esign, Automation and Test in
E urope Conference and E xhibition, p p . 9 3 8 9 3 9 , 2 0 0 2 .

[5 ] S . M. A l-H a r b i, S . K . Gu p t a , " A n e ± c ie n t m e t h o d o lo g y fo r g e n e r a t in g o p t im a l a n d
u n ifo r m m a r c h t e s t s " , IE E E VL SI Test Symposium, p p . 2 3 1 -2 3 7 , 2 0 0 1 .

[6 ] C.-F. W u , C.-T. H u a n g , a n d C.-W . W u , " R A MS E S : a fa s t m e m o r y fa u lt s im u la t o r " ,
P roc. Int. Symp. D efect and F ault Tolerance in VL SI Systems (D F T), Albuquerque,
p p . 1 6 5 -1 7 3 , N o v. 1 9 9 9 .

[7 ] 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 .

5



6 An E±cient Method for Generation of March Tests Based on Formulas

[8 ] T. Gyo n jya n , V . A . V a r d a n ia n , " A n e ± c ie n t a lg o r it h m fo r g e n e r a t in g m in im a l m a r c h
t e s t s fo r fa u lt d e t e c t io n a n d d ia g n o s is in s t a t ic r a n d o m a c c e s s m e m o r ie s " , International
D esign and Test W orkshop, D ubai, p p . 1 9 -2 0 , 2 0 0 6 .

[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 s
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 " ,

[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,
V o l. 2 3 , N u m b e r 1 , p p . 5 5 -7 4 , 2 0 0 7 .

[1 1 ] L . D ilillo , P . Gir a r d , S . P r a vo s s o u d o vit c h , A . V ir a z e l, M. B a s t ia n , " R e s is t ive -o p e n
d e fe c t in je c t io n in S R A M c o r e -c e ll: a n a lys is a n d c o m p a r is o n b e t we e n 0 .1 3 ¹m a n d 9 0
n m t e c h n o lo g ie s " , D esign Automation Conference, p p . 8 5 7 -8 6 2 , 2 0 0 5 .

[1 2 ] L . D ilillo , P . Gir a r d , S . P r a vo s s o u d o vit c h , A . V ir a z e l, S . B o r r i, M. H a g e -H a s s a n , " D y-
n a m ic r e a d d e s t r u c t ive a u lt in e m b e d d e d -S R A Ms : a n a lys is a n d m a r c h t e s t s o lu t io n s " ,
P roc. IE E E E uropean Test Symposium, 2 0 0 4 .

[1 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 , " 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 .

[1 4 ] 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 , p p . 7 3 7 -7 5 6 , 2 0 0 4 .

[1 5 ] 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 u n lin ke d s t a t 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 " , P roc. 23rd IE E E VL SI Test Symposium, P alm
Springs, CA, USA, p p . 5 3 -5 9 , 2 0 0 5 .

[1 6 ] A . J. va n d e Go o r , Z. A l-A r s , " Fu n c t io n a l m e m o r y fa u lt s a fo r m a l n o t a t io n a n d a
t a xo n o m y" , P roc. IE E E VL SI Test Symposium, M ontreal, Canada, p p . 2 8 1 -2 9 0 , 2 0 0 0 .

[1 7 ] A h o , S e t h i, U llm a n , Co m p ile r s : P r in c ip le s , Te c h n iqu e s , a n d To o ls , Addison-W esley,
IS B N 0 -2 0 1 -1 0 0 8 8 -6 , 1 9 8 6 .

´³Ý³Ó¨»ñÇ ÙÇçáóáí Ù³ñß ï»ëï»ñÇ Ï³éáõóÙ³Ý ³ñ¹Ûáõݳí»ï Ù»Ãá¹

¶. гñáõÃÛáõÝÛ³Ý, ¸. Ø»ÉùáõÙÛ³Ý, Ð. ¾ÉãÛ³Ý, ì. ì³ñ¹³ÝÛ³Ý

²Ù÷á÷áõÙ

Üϳñ³·ñí³Í ¿ ÑÇßíáÕ ë³ñù»ñáõÙ ëï³ïÇÏ Ï³Ù ¹ÇݳÙÇÏ ³Ýë³ñùáõÃÛáõÝÝ»ñÇ
Ï³Ù³Û³Ï³Ý »Ýóµ³½ÙáõÃÛáõÝ Ñ³Ûïݳµ»ñáÕ Ï³Ù ³ËïáñáßáÕ ÙÇÝÇÙ³É Ù³ñß ï»ëï»ñÇ
ϳéáõóÙ³Ý Ù»Ãá¹: ²é³ç³¹ñí³Í Ù»Ãá¹áõ٠ϳéáõóíáõÙ »Ý áñáß³ÏÇ ³ÝÑñ³Å»ßï
å³ÛÙ³ÝÝ»ñÇÝ µ³í³ñ³ñáÕ µáÉáñ Ù³ñß ï»ëï»ñÁ: سñß ï»ëï»ñÇ ¨ µÝ³Ï³Ý Ãí»ñÇ
ÙÇç¨ ïñí»É ¿ ³ñï³å³ïÏ»ñáõÙ, áñÁ Ñݳñ³íáñáõÃÛáõÝ ¿ ï³ÉÇë ϳéáõó»É µ³Ý³Ó¨:
´³Ý³Ó¨Ç ÙÇçáóáí ëï³óíáõÙ »Ý µáÉáñ ³ÛÝ Ù³ñß ï»ëï»ñÁ, áñáÝù ѳÛïݳµ»ñáõ٠ϳÙ
³ËïáñáßáõÙ »Ý ïñí³Í ³Ýë³ñùáõÃÛáõÝÝ»ñÁ: Ø»Ãá¹Á ÏÇñ³éí»É ¿ »ñ»ù ·áñÍáÕáõÃÛ³Ùµ
¹ÇݳÙÇÏ ³Ýë³ñùáõÃÛáõÝÝ»ñÇ áñáß³ÏÇ »Ýó¹³ëÁ ѳÛï³µ»ñáÕ ÙÇÝÇÙ³É Ù³ñß ï»ëï»ñ
ëï³Ý³Éáõ ѳٳñ: Ø»Ãá¹Á Ñݳñ³íáñáõÃÛáõÝ ¿ ï³ÉÇë ϳéáõó»É Ï³Ù³Û³Ï³Ý ëï³ïÇÏ ¨
¹ÇݳÙÇÏ ³Ýë³ñùáõÃÛáõÝÝ»ñ ѳÛï³µ»ñáÕ Ï³Ù ³ËïáñáßáÕ ÙÇÝÇÙ³É Ù³ñß ï»ëï»ñ: