Compact Two-Pattern Test Set Generation

© © © ¢©¨¦£¤©£¤ © ©4 ©¢©¨¦£¤©£¤¦ £ ¡¤¥¨ ¢©¨¦£§© £ ¢©¨¦£ ¡¤¥¨ ¢©¨¦£§© £ ¢©¨¦£ ¡¤¥¨ ¢©¨¦£§© £ ¢©¨¦£ ¡¤¥¨ ¢©¨¦£§© £ ¢©¨¦£,¤,- .£$ #¤, . !¨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£'¤+ #£&.¤-¨, ,-¤+£'£'/ '¨µ4ºt¢U¡'É , 5®$5¬[² ¡$©';@.+C9åaê'áöQñ20'û'üú¢ üùà©£ á>ô"üùà;ì4â4êâ4ê'éED"ü¤D%çQîÞ êaߦ7'Þ 'ðç4îëaÞ ê'â9è{Þ ç4ê'⣤ £ á9ß>稡í'á¡F'åaáQê'è{Þ â£9ùáQêaãUÝaî"â4à¦7%ðÞ à;ãQåaÞ è;ߦ¤9Þ ê" !#$&('õà;ç¦ >(= $.-?¢*A"9+:¢.$©';@.>æ'æ>ü>öQñ ¦ ñ9óUöQñ4ú (Gâ4ì)*+$!¤9+:¢;Þ êE;Ü>á9ß;èSí'áQèSðç4îæaâ4ãQè{Þ ç4ê7¡tç4à'.= N¢*¤'æ'æ>ü*öQú(Q9÷9óUöQú(Q¢0¤¢55ç¨4áQîëaáQà5öQñ4ñ'û'üMò¢"3üðç ‚â4ê'éEC'ü ï â¢4;ߦ7'Þ LUí'è{å'ã74ó 5æaáQêâ4ê'é¤Ü>à;â4êaß;Þ è{Þ ç4ê â9夣 è,'.$/¡*¡#! 'æ'æ>ü'ò20209ó{ò4ñ 5ãQè;ç4ëaáQà%öQñ2020aüQ¡[õü ç4ᣠ14ø5ê!Þ î椣 Þ ãQÞ è%áQê'åaî"áQà;âQè{Þ ç4ê⣠©4ç4àUÞ è{Ý'îCè;ç ©4áQê'áQà;â9è{áê'â9è{Þ ç4ê'⣣ ç©4Þ ã¤ãQÞ à;ãQåaÞ è;ߦ¤)¦I¤I¤IR,+¦?¢*+.!%¡*è{á9ß;è;ß¡tç4àãQç4îëaÞ¦ öUó ¦ ¦ ¦ ¢Gâ4à;ãUݤöQñ20aö4ü/¡;($©'.aæ'æ>üST 9(),'.$¤9+:¢;áQãQè{Þ ö ¦ -3üD"üO>áQá"â4ê'é[ô"ü>í*ü+35â¤Uí¥5õ ï øL5 8X*ø5ê 1YãQÞ áQê'è5øåaè;ç9óã‚Ü>á9ß;è¤õâ9è{è{áQà;ê áQê'áQà;â9è;ç4à ¡tç4à¤í'è{å'ã74ó 5æaáQê â9夣 è;ß[Þ êî"â9è{Þ%íLðç4îëaÞ ê'â9è{Þ ç4ê'â£5ðÞ à;ãQåaÞ è;ߦ¤Þ ê6 !#E$&(' M '.= N¢*ð¤Gaæ'æ>ü4ò4ò4÷9ó{ò4ò4ò¤(C9åaê'áöQñ4ñ4÷aüKL>($¦¡;-?¢$=©¡*P/¡*¡#!*(N"9+:¢;ô"ü*ø©4à;â4ä⣠ï ç4ëaåaß;è ó ñ¤(C9åaê'áöQñ20 üæ'æ>üöQò¢-Oü]5ü ï á9éaéaì UüJõç4î"áQà;â4ê¤â4ê'é í*ü]G‚ü ï á9éaéaì X4øEGáQè{Ý'ç'é5è;ç áQê'áQà;â9è{á>ðç4îæaâ4ãQè*Üäç9óUðLGõ*ø5ðÜí'Üó !#%$&(')*+$!"/¡*¡#!-¡*W/¡;($©'BKL=A2'¦A M '.= N¢*¤5æ'æ>üû9ò209ó;û2Q 25ç¨4áQîëaáQà5öQñ4ñ ¦ ü&2*+= ¦?¢\¤`¡>(*?¢\ aæ'æ>ü*ö ñ9óUö Q ¡Gâ4ì4ó¦C9åaê'áöQñ(Q¢0aü,'¦öQñ¢"C'üøü¢¤â4Þ ãQå+7'â9åaߦ74Þ ¨5ü¤O>Þ ê'éa뤣 ç'ç4î >ù%ü¤D"ü ï ç4ßUáQêâ4ê'é ü¢¥¡ ¦ £ ¡¢ 2¥§ £¤£ ¡!¤©§¤£ ¤¦¥¡§©¨¤© 5¥§ ££ ¡!¤©§Ÿ¸'þt Õ%Ï À*¿ ¸a·9{¡ À ž À ½"Ï À*¿ ¸aµ4¢U À ž- '¡Qº¾ ¢U¡½ À ·Ú%º·Q ‚Ï À*¿ Ãtž¸'¢U À ž¸a¾Ï"t·Qµ4ºt¢U¡¸a¾t À ·9t¢;» ¿ ¡Â· À  À ¡9'¹‚tž¤¢;»{¡5¸a 4·%¸a·Q È 4·QÁ¤ 9Î 4µ4¢U È¢;»>À ·* 4ž> 4·9¸'¢Utž>.µ À*¿ ¸aµ4¢[¢U '¡Q¢¤¡94¢U¡¤½ À ·[½;º¾t¾%¡Qµ'¸ažµ4t·Qµ4ºt¢U¡½[½;º>žµ4¢U À ž¸a¾9º¡Q¢U µ'¸'¢U À ž¨¢U 4µ9»žtØ>º *ɺ¡9tž>!¢;»>L¯¬[² 'Q±³Q¯¬ 0¢§Uü135â4î¢Qâ4ç©£ å¤â4ê'éC'ü13üõâ9è{ᣠ¦5áQä‹Ü>áQãUÝaêaÞ F'åaá9ß¡tç4à"ô%áUóè{áQà;îÞ êaÞ ß;è{Þ ãÜ>á9ß;èõâ9è{è{áQà;ê áQê'áQà;â9è{Þ ç4ê+&UÞ ê- !#L$&('L)¦I¤I¤I4·!·Q '¡94ž>¢U'¹¢Uþ À ¸a¾t À ·9t¢;» ¿ ¡'Ç¡ '¹>º>ž>¹¸až>¢Ÿ»{¡!¸aÂ4µ4¢ À ·¢%¾t ¿ tž¸'¢U À ž-¤¦ Ä£¢¡§¸až>¹¥¢%¡Q¡9 4ž>¢U{¸a¾©¸4º¾ ¢ '¹>º>µ9ÑÄ ñ¢§Uü35â4î¢Qâ4ç©£ å[â4ê'éEC'ü3ü>õâ9è{ᣠ;Ü>á9ß;è"í'áQèðç4îæaâ4ãQè{Þ ç4ê[ø£ ó©4ç4àUÞ è{Ýaîß¡tç4à%ðç4îëaÞ ê'â9è{Þ ç4ê'â£aðÞ à;ãQåaÞ è;ߦ¤'Þ ê% !8#8$&('8)*+$!À ž¨¤¦¢¡© §4Ç>½ À ·"* 4ž> 4·9¸'¢Utž>Sµ À*¿ ¸aµ4¢"¢U '¡Q¢[¡94¢U¡½ À ·µ À*¿ Ñ¢UÀ ž¸a¾%¸až>¹¨½;º¾t¾%¡Qµ'¸ažLµ4t·Qµ4ºt¢U¡¤º>ž>¹> 4·¤¢;»> ¤½Q¸4º¾ ¢ ¿SÀ ¹>ÑÃtž¸'¢U4Ø>ºt·Q ¢Uþ À ÑU¸'¢;¢U 4·9ž¨¢U '¡Q¢[¡94¢U¡'ÇtžS¸a·Q¢Utµ4º¾{¸a·½ À ·4¾t¡¢;»¸'¢·QÀ ž¨¸až>¹.Ïœ.Ð ´ ¡Q¢Uº>µ9¼*Ñ À  4žS½Q¸4º¾ ¢ ¿SÀ ¹> 4¾t¡'É5Ÿ»> '¡9¢Q·9¸až¡9t¢Uâ9夣 è;ß5Þ ê!ðç4îëaÞ ê'â9è{Þ ç4ê'â£O>ç©4Þ ãðÞ à;ãQåaÞ è;ߦ¤)¦I¤I¤IJ,+¦?¢*+.!â9è'.= N¢*¤!æ'æ>ü¤ö ñ4ò9óUö9û9÷ ô%áQãQáQîëaáQàM¡*V/¡;($©'BKL=A2'¦AÀ ·9t¢;» ¿ ¡"¢ À * 4¢;»> 4·‚þt¢;»L¢;»> ‚¹Á>ž¸ ¿ tµµ À*¿ ¸aµ4¢U À ž.¸a¾ Ѹa¾tÀ ·9t¢;» ¿ ·Q '¡94ž>¢U'¹¨tž.ÊtË'Ó4Í5¸a·Q[tžµ À ·Q À ·9¸'¢U'¹Stž>¢ À ¸až¨¸a¹>ÑöQñ4ñ'û'ü ö4öù%ü(D%àUÞ ß;Ýaê'â4î"åaà;ètÝ'ì5â4ê'éí*ü9ù%ü4øL74áQà;ß 5êè{Ý'á5ðç4î椣 á'Þ è{ì%稡ß;è{Þ î"â9è{Þ ê¤©è{Ý'á%í'Þ Qá%稡âÜ>á9ß;è%í'áQ覤()¦I¤I¤IW,+¦?¢*+.!L¡*/¡;@BÈ ¸ažµ4 '¹SÿŸ[Ú¡J¡QÁ>¡Q¢U ¿½ À ·µ À*¿ Ãtž¸'¢U À ž¸a¾*µ4t·Qµ4ºt¢U¡Ê ÒÇ*Ì'ÍQÇ($©'.aæ'æ>ü+Q4û9÷9ó¦Q4û9ú¤9ø天4åaß;è%öQñ20 ü'¹‹œ¨tžŸ%'¡Q¢'ÉSŸ»>!¢U'¡Q¢‚¡94¢U¡!* 4ž> 4·9¸'¢U '¹‹Ã>Áœ¨tžŸ%'¡Q¢µ'¸a¾t¾tLÕX¡ ¿ ¸a¾t¾t 4·‚¢;»¸ažJ¢;»> .·Q È À º¡Q¾tÁCº*þt{¡Q»> '¹¢Uþ À Ѹa·Q4·9žC¢U '¡Q¢!¡94¢!µ À*¿ ¸aµ4¢U À ž·Q '¡Qº¾ ¢U¡S½ À ·¤¢;»> ÆQ´ Ï"ÿ ´ Ò*Ö¸'¢;¢UÈ 4·Q¡9 À ž À ½"¢;»> ÆQ´ Ï"ÿ ´ Ò*ÌSà 4žµ9» ¿ ¸a·U¼.µ4t·UѸaž>¹.½;º¾t¾%¡Qµ'¸až öQú¢@Z"ü+O>á4áQê'é'á£aâ4ê'é[õü ï ü(GáQêaç4ê;Ü>à;â4êaß;Þ è{Þ ç4ê â9夣 è;ßÞ êðç4î"óëaÞ ê'â9è{Þ ç4ê'â£*ðÞ à;ãQåaÞ è;ß¡Ẍ {êaæaåaèÜ>à;â4êaß;Þ è{Þ ç4ê[Ü>á9ß;è áQê'áQà;â9è{Þ ç4ê"â4ê'éâ9夣 èí'Þ î"夣 â9è{Þ ç9ê+¤QÞ ê" !#$&('[?¢>(\ $B¡,¡\ '¦?¢*+$8/¡;($Böü4ùâ4àQÞ £ â4Þ'â4ê'éù%ü ï ç4ßUáQêUðç4îæaâ4àUÞ ß;ç4ê稡>ø5ð¨í'ᣠ¡ ó{Ü>á9ß;è{Þ ê¤©ê !"#%$&('")*+$!-,'.$/¡*¡#! æ'æ>ü104ñ9ó{ñ õà;ç'ãQá9é'åaà;á9ߦ¤>ÞáQê'è â9夣 èí'áQè;ß¡tç4àÜ>à;â4êaß;Þ è{Þ ç4ê â9夣 è;ߦ¤QÞ ê" !L#$&(')¦I¤I¤IöQñ204úaü ¦ ü'ùà©£ á%â4ê'é-3ü å¢4;Þ äâ4à;â¤(4ø65áQåaè;à;â£+5áQè£ Þ ß;è稡öQ÷ðç4î"óëaÞ ê'â9è{Þ ç4ê'â£'ùáQêaãUÝaî"â4à¦7%ô%á9ß;Þ ©4êaßâ4ê'éâ[í'æaáQãQÞ â£'Ü>à;â4êaߣ â9è;ç4àÞ êÜ>á9ß;è;ß¡tç4àí'è{å'ã74ó 5æaáQê â9夣 è;ß*Þ ê"ð¤G %íðç4îëaÞ ê'â9è{Þ ç4ê'â£O>ç©4Þ ãç4à;è;à;â4ê+¤4Þ ê !8#8$&('8)*+$!¤9+:¢;(= $.@?¢*A"9+:¢.BðÞ à;ãQåaÞ è;ߦ¤UÞ ê8 !¤#¤$&('¤[?¢>(\ $B¡,¡\ '¦?¢*+$L/¡;($= *(N9+:¢;á9ß;èí'áQè;ߢ¡tç4àðç4îëaÞ ê'â9è{Þ ç4ê'⣤O>ç©4Þ ã‚ðÞ à;ãQåaÞ è;ߦ¤Þ êöQñ204ñaüí'á¡F'åaáQêaãQá9ß ¡{à;ç4îðç4î椣 áQè{áÜ>á9ß;è5í'áQè;ß¡tç4à5í'è{å'ã74ó 5æaáQê â9夣 è;ß ö¢Q¡"C'ü'í'â¨'Þ àUí(74áQäá9é'ó©O>ç4â4é%Ü>à;â4êaß;Þ è{Þ ç4êÜ>á9ß;è¡Xõâ4à;è¨4ð⣠ãQ夣 åaߦ¤ê" !L#$&('L)*+$!,'.$L/¡*¡#! 'æ'æ>ü2Q9÷'ûQó¦Q'öQú¤ 5ãQè;ç4ëaáQà5öQñ4ñ ¦ üÞö¡0¢ ï üOü£¢¤â4éaß;â4ã7 â9夣 èLGç'é'á£ Þ ê¤©â4ê'é%O>ç©4Þ ã"í'Þ î"夣 â9è{Þ ç4ê[ç¨¡Þ ê‚ð¤G %íSðÞ à;ãQåaÞ è;ߦ¤*Þ êH)¦I¤I¤IJ,+¦?¢*+.!8¡*6/¡;($©'BKL=A2'¦Að¤G %íLâ4ê'é6G %í {ê'è{á©4à;â9è{á9é¨ðÞ à;ãQåaÞ è;ߦ¤5Þ ê_^'\ \@9+:¢.$©';@.ðç4îëaÞ ê'â9è{Þ ç4ê'â£QðÞ à;ãQåaÞ è;ߦ¤¡)¦I¤I¤IP,+¦?¢*+.!1¡*/¡;($©'BKL=A2'¦AM '.= N¢*Ü>á9ß;è{Þ ê¤©¤Þ ê¨ð¤G %í.ðç4î椣 á â9è{á9ߦ¤Þ êP !"#%$&(')*+$!í*ü {ì4áQꤩ4â4à+;Ü>à;â4êaß;Þ è{Þ ç4ê â9夣 èí'Þ î"夣 â9è{Þ ç4ê+&QÞ ê")¦I¤I¤I?¢*AE,'.$L#"/¡;($©'.aæ'æ>ü4ú ¦ ó{ú20¤4øæaàUÞ £öQñ20(Q'ü