Compact Two-Pattern Test Set Generation

¢©¨¦£¤©£¤ © © ©¢¡¤£¦¥¨§¦ £ ¥§ £¦ ©£ ©¨! "¥¨© $#% '&( )#% '&($#%(*¢ "¥¨© )#% '&( )#% '&($#%(*¢,¤,- !£!£!¥$ !£!£!¥$ - $¥&£& ,+ ,+ &£& -/ ' !¤/ # !¤/ . !¨0/ -! #('£' !¨.(!¨- !¨.¤-£$ , .¤+£$ '¥#- #+£' $¥&($ ,/ , ! #/ & !¨0/ ' !£! &/ !!¨0¤-¨, $¥#+¨, $¥#.¤+ !£! '¤+¨, &-¤+ #.£$ $¤0¤. +/ 0 !¥$/ - $(!¤/ + $£$¤./ ,$¤.¤+¤- #($¤.¤0 #-¨,§! !,¤, .(!, !¨0¤- !,+ +£' &/ , ,/ - !£!¤/ ' !¨+£$/ '#('¥&- &.¤-¨, &£#0¤- $(!, 0¤-¤- #.¥& #£&- $¤-¨, !¥$/ - #+/ & &¤,/ 0 ,0£$/ $'¥#§!¥' .¤.¤0¥# .¤.¥#($ .(! +£'¥& $¥&. $¥&£# !¥$¤. 0/ & $¤-/ + #($/ ! +¤0¥&/ 0.£$¨,¤, +£$(!¨. +(! &+ .¤0 !¨+¤- ! #£# !¨-¥# '¤. &/ 0 0/ , !¨0/ ' !¨.¤-/ 0+£'£'£$ 0¤.£'¤. 0¥&£#£# $£$¥# !¨-£'£$ #($(! #§!¨. ! &§! $£'/ ' #0/ , .£'/ & !,§!¨0/ &$¤-¨, $¤.£$ $¤.£$ - ! &£& +¤0 +¨, .¥& -/ $ -/ $ -/ $ $/ -$¤0¨, #.¥# #.¥# - !¥'£$ ,($ +¥& '¥& -/ $ -/ $ -/ # $/ -#£&£& &($¤0 &($¤0 - !¥$£$ &. &£& #£& -/ $ -/ $ -/ # !¤/ 0#£&0 &£#£& &($¤0 ' !¥$£$ &. &(' #. -/ $ -/ $ -/ # $/ &#¤,($ &.¥& &.¥& - ! #£& .¤0 .¨, '(! -/ $ -/ $ -/ # $/ ##¤,. '¤-¤. '¤-¤. - $¨,¤, !¨.¤- !¥'£' !£!, -/ ' -/ + !¤/ - !£!¤/ $&-¤- &¤,. &+¥# ! # !¨.£$ +¥& +£$ '¤. -/ $ -/ # -/ & $/ '&($¤- '¥#($ '¥#($ - #-¨, !¥$¤0 !¥$¨, !¨-¨, -/ ' -/ . -/ 0 0/ 0&£&£& '¥#£# '(!¨+ !¨. !¨+£$ ,(' ,§! '£$ -/ $ -/ # -/ ' #/ !'(!¨- .¥#(' .¥#(' - $£'¨, !¥'£$ ! #0 !¨-¥& -/ ' -/ + !¤/ ! !¨./ .'£$¤. .¥#¤, .¥#+ ! $¤0£$ !£!¨+ !£!¥$ ,+ -/ ' -/ ' -/ , ,/ !.¥&§! 0(!, 0(!, - $¥&¤, +£' +¥# '¨, -/ ' -/ + !¤/ - '/ -+(! # 0¨,£& 0(! & +¤- $¥&($ +¥& +£$ '¥& -/ . -/ , !¤/ ! ./ -,($¤- !¨-¥&. !¨-¥&. - .¥#£& #§!¥' $¨,(' $(!¨0 $/ - #/ $ '/ ! !¥$¤-/ !,£#($ !¨-£'¤. !¨-¥&§! !¥' .¤.¤- #§!¨- $¤0¤- $£$£$ $/ - #/ - '/ ! !¨-¤+/ 0,£#¤, !¨-¤.¤- !¨-¤.¤- - '¤0¥& $£$¤0 $(!¨+ !¨0¤- !¤/ + $/ 0 &/ ' '£'/ ,0£'¥# !£! #¤, !£! #¤, - &+¤- $¥&£# $¤-¤+ ! &+ $/ ! $/ . &/ - .¤-/ -!£!¨0¤. !¥'¥#¤, !¥'¥#¤, - .¤+¤- #§!¨0 $¤0¤+ $¤-¥# $/ + &/ # +/ ' !¥$¤+/ $!¥$¥#¤, !¥'¥&0 ! &+£' +¥& .¤0¨, #£#. #-¥# $¤-¤- #/ ' '/ - ,/ & ! #./ !! &($¥# !,($(! !,-¤- $(! #('¨, ,+ ,+ '£$ !¤/ $ $/ ' #/ - #./ -! &¤,¤, $¤-¥&- $¤-¥&- - .¨,. #£&¤, #($¤- $¥#¤, #/ , '/ , 0/ + $¥#£#/ ,! &0¥& $¤-¥&- $¤-£$¤. ! & +¤-£$ #£&($ #§!, $¥#+ #/ 0 ./ - 0/ + $¥#($/ ''¥#+¨, .¤0¤0(! .¨,.¥# !¥$¨, ! #($£$ $¤+¤. $¤+¤. !,($ ! #/ + !¨+/ $ #§!¤/ $ '¤+£$/ 00£$¥#£& ! #('¤.¨, !¥$¤.¥#0 0£$¤0 $£$¨,($ &£#£& &£#($ $¤+¤- .¤-/ ! !¨-¥&/ . !¨.¤./ & #¤,('¥&/ +! #($¤-¤+ !¨0(!£!¨. !,¤,£&¤, $¤.¨, $¤.¤0¨, '¤+¤+ '¤.¨, &+¤. 0£'/ & ,('/ , $£$¨,/ ! &($(!¨-/ $!¥'¨,('¤- $¥#£&§!¨+ $£$¤+¤+¤. .¥&§! $¥#.£$ #¤,§! #.¤. $¤.¤. ,¤,/ ! !¨+¨,/ + $¤0¤0/ # #£&£#+/ &#('¤0¥#($ &£&£#£#£& #0(!,($ '(!¥'£$ $¤+¨, '¤. '¤. &0 $(!£!¤/ ! ! #0/ ! !¨.¤-/ & ,£#-¤./ !#¤,£&§!¨+ '¥&($¤-¤+ '¥#0¤.¤. $¥&§! '£'¤-¥& $¥&£& $¥&£& !¨0¤. &-¤./ & $¤.¥#/ ! &-£$/ , $(! &($¤-/ .§¸až>¹.tžt¢U{¸a¾tt×4'¡[¸a¾t¾5¢;»>‚'¡Q¡94ž>¢U{¸a¾%½Q¸4º¾ ¢U¡ À ½"¢;»> È 4µ4¢ À ·¤5Ç §4É) À þ" È 4·'Ç>¢;»{¡{¡ž À ¢" À ¡Q¡9tþt"½ À ·½;º¾t¾¡Qµ'¸ažÂ¸at·¤$#"$ ¦ m ¤' ¦. l'n/% ¦ k %{lak¢¡¤£%tžµ À ·Q À ·9¸'¢U'¹‚¢;»>'¡9" >¢U 4ž¡9 À ž¡5tž>¢ À[À º·%¸a¹ È ¸ažµ4 '¹*ž,Ÿ¸'þt '¡ý,¸až>¹ ÖÇ¢;»> µ À ¾tº ¿ ž »>'¸a¹>'¹¦Ÿ ¿ÆXµ À ¾tº ¿ ž¡ »>'¸a¹>'¹ 1¸a¡9 *Ç )ÏÇ()Ï£ Ä£¢Ç¸až>¹¢;»> #¤,('¨,£& '£$¤-¤-¤0 &¤,.¤+¤+ #£#£#($ '¥&§!¨. #0¥& #0¥# #£#- ,($£$/ ! &§!¨-/ ' .¤0¥#/ # #£&+£'¥#/ ,Ÿ¸'þt Ô%Ï À*¿ ¸aµ4¢U À ž- '¡Qº¾ ¢U¡½ À ·[Ú%º·Q ‚Ï À*¿ Ãtž¸'¢U À ž¸a¾Ï"t·Qµ4ºt¢U¡[º>ž>¹> 4·[¢;»> ´ ¢Uº>µ9¼*ÑQÐ[ 4ž ©¸4º¾ ¢[œ À ¹> 4¾¢'É ½Q¸4º¾ '¡Q¡94ž>¢U{¸a¾ È 4µ4¢ À ·'Ç'¡Q¡94ž>¢U{¸a¾½Q¸4º¾ ¢'Ç*·Q '¹>º>ž>¹¸až>¢ È 4µ9ÑŸ»>À ž¡9t¹> 4·9¸'þtÁS*·Q '¸'¢U 4·¤¢;»¸až¨¢;»> À ž> '¡* 4ž> 4·9¸'¢U '¹.½ À ·Âº·QµÀ*¿ Ãtž¸'¢U À ž¸a¾>µ4t·Qµ4ºt¢U¡'ɵÀ ·'Ǹaž>¹‚'¡Q¡94ž>¢U{¸a¾½Q¸4º¾ ¢Â·Qº>žtž>‚¹> žt¢U À ž¡%½ À ·¢;»>[¢Uþ À Ñ¢4·9ž‹¢U '¡Q¢‚¡94¢U¡!* 4ž> 4·9¸'¢U '¹Cº¡9tž>¨½;º>žµ4¢U À ž¸a¾9º¡Q¢U µ'¸'Ѹ'¢;¢UÀ ž.¢U 4µ9»žtØ>º !¸a·Q ¤¡9¸ ¿ ¤¸a¡¢;»> À ž> '¡[½ À ·[¡Q¢Uº>µ9¼.¸'¢[½Q¸4º¾ ¢¢U¹> 4¾UÉ‚Ÿ»> !¹Á>ž¸ ¿ tµµ À*¿ ¸aµ4¢U À ž5Ç3 Ä£¢J¸až>¹1¢¡© ¸a¾ Ñ¿SÀ'¡Q¢¤* 4ž> 4·9¸'¢ À ·½ À ·µ À*¿ Ãtž¸'¢U À ž¸a¾µ4t·Qµ4ºt¢U¡SÊ ÒÇÌ'ÍQǵ'¸a¾t¾t '¹¢U'¡Q¢'É* ¤¢U '¡Q¢U'¹œ¨tžŸ%'¡Q¢ À ž¨¢;»> ÆQ´ Ï"ÿ ´ Ò*Ì!à 4žµ9»>Ñœ¨tžŸ%À ·9t¢;» ¿ ¡½ À ·¡Q¢Uº>µ9¼¨¸'¢½Q¸4º¾ ¢ ¿SÀ ¹> 4¾5µ'¸až¨Ã º¡9 '¹L¢ À * 4ž>Ñ‹µ À*¿ ¸aµ4¢¨¢U '¡Q¢L¡94¢U¡L½ À ·S½;º¾t¾¤¡Qµ'¸ažµ4t·Qµ4ºt¢U¡º>ž>¹> 4·4·9¸'¢U¸a·U¼¤µ4t·Qµ4ºt¢U¡¤Ê Õ'ÍQÉ5Ÿ»> [ 4·U½ À · ¿ ¸ažµ4 ·Q '¡Qº¾ ¢U¡¸a·Q [·Q'¡94ž>Ñ¿'¹.tž¨¢;»> ¤Ÿ¸'þt '¡ý¨¸až>¹.ÖÉ"Ÿ»>'¡9 ¤·Q '¡Qº¾ ¢U¡‚¸a·Q À âQ¸atž> '¹¢UL¢Q·9¸až¡9t¢U À žJ¸až>¹¡Q¢Uº>µ9¼*Ñ À  4žC½Q¸4º¾ ¢ ¿SÀ ¹> 4¾t¡ È t·Q¢Uº¸a¾t¾tÁ¢;»>À º>¢¸až>Á ¿SÀ ¹ µ'¸'¢U À ž5ÉŸ»> À ž¾tÁ¹ Î 4·Q 4žµ4 à 4¢Uþ" 44žþt¢;»ž‚¸ )ÚLÌ *Ò Ë'Ò%þ À ·U¼>¡Q¢Q¸'¢U À ž¤þt¢;»‚Ô*Ö*Óœ 1 ÿœÀ)Ú5Ñ! Ë É Ôº¡9tž> Ù!ÏÏ È 4·Q¡9 À ž.ÔÉ É ÔÉ ÔÉ·Qº>žžtž>¤¢Uþ ÀSÈ 4·Q¡9 À ž¡ À ½¢;»> '¡9!¸a¾t À ·9t¢;» ¿ ¡"{¡¢;»> ¤º>ž>¹> 4·Q¾tÁ>tž>¢;»>'¡Q¢[* 4ž> 4·9¸'¢U À ž.¸a¾t À ·9t¢;» ¿ É¢Už!¸a¾t¾¢;»> > 4·9 ¿ 4ž>¢U¡'Ç>¸[øaµ9¼>¢Q·9¸aµ9¼‚¾t ¿ t¢ À ½5Ô*Ö[{¡%º¡9 '¹Æ"* 4ž> 4·9¸'¢U À ž À ½¢;»> "tžt¢U{¸a¾a¢U'¡Q¢%¡94¢'Ç>¸Ã¸aµ9¼>¢Q·9¸aµ9¼¹>º·9tž>[¢;»>ÀÈ 4µ4¢ À ·S¸at·Q¡StžĻ¢Uþ À ÑU¸'¢;¢U 4·9ž¡94¢!½ À ·SĻº·QŸþÀ*¿ Ãtž¸'¢U À ž¸a¾µ4t·Qµ4ºt¢µ'¸ažLà ‚µ À*¿ ¸aµ4¢U '¹.¢ À ¢;»·Q 4 È 4µ9ѵ¿ t¢ À ½5Ó¤{¡%º¡9 '¹S½ À ·¢;»> £¢¡© ¸a¾t À ·9t¢;» ¿ Ça¸až>¹!¢;»> £¢¡©¾tÀ ·9t¢;» ¿ {¡"t¢U 4·9¸'¢U '¹ À ž¾tÁ À žµ4 *ɸa¾t¢ À ·Q¡'É#© À ·" ¸ ¿ ¾t *Ça¢;»> È 4µ4¢ À ·[¸at·Q¡£¤ 9Ç ¤ §¸až>¹¨¤ 5Ç §µ'¸až¨Ã µ À*¿ ¸aµ4¢U '¹¨¢ À ½ À · ¿È 4µ4¢ À ·¢UºÂ¾t ¤ 9Ç Ç §4Ç¢;»>½¢Ä£¢¡£¢¡© ¢Â·Q '¡94ž>¢¤¢;»>‚ 4·U½ À · ¿ ¸ažµ4 À ½œ¨tžŸ% '¡Q¢)Ï£À º>¢º¡9tž> ¸až>Á µ À*¿ ¸aµ4¢U À ž ¢U 4µ9»žtØ>º '¡/¤-1¸a¡9 §4Çþt¢;»¢U '¡Q¢U¡¤¸a¾t¾¢;»> '¡Q¡9 4ž>¢U{¸a¾5½Q¸4º¾ ¢U¡ À ½%¢;»> È 4µ4¢ À ·[¸at· ¤ 9ÇÀ ž¾tÁ ¹Á>ž¸ ¿ tµ¢µ À*¿ ¸aµ4¢U À ž ¤¤)ϧ4Ç.º¡9tž> ¹Á*Ѻ¡9tž>¿ tµµ À*¿ ¸aµ4¢U À ž$¸až>¹ Ä£¢ ¤¤)Ï£ Ä£¢¡§4Ç.¸až>¹$º¡UÑž¸4µ'¸4º¡9 '¸aµ9» È 4µ4¢ À ·Â¸at·¡Q» À º¾t¹Sà [¸aÂ>¾tt'¹!¢ Àµ4t·Qµ4ºt¢U¡'Çõ4t·Qµ4ºt¢¡9 4¸a·9¸'¢U 4¾tÁ>É5Ÿ»> 4·Q 9½ À ·Q*Ç¢;»> ¡9t×4 '¡ À ½%¢;»> µ À*¿ Ñ¢;»>¿ tµ!µ À*¿ ¸aµ4¢U À ž5Ç# Ä£¢¸až>¹"¢¡© $¸a¾t À ·9t¢;» ¿ ¡tž>¹Á>ž¸Ä£¢¡£¢¡© §"·Q '¡Q 4µ4¢U È 4¾tÁ>É%Ÿ»> ·Q '¡Qº¾ ¢U¡[¡Q» À þJ¢;»¸'¢¤¤)ϣ¸aµ4¢"¢U '¡Q¢¡9 4¢U¡[* 4ž> 4·9¸'¢U '¹S½ À ·½;º¾t¾¡Qµ'¸až¨µ4t·Qµ4ºt¢U¡þ À º¾t¹!Ã