0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292...

44
!"##"$%& ()*+ ,))*))#*$- .""%) /"0 !12%+0*$ 32-1 45*627% 8**+) ,9*) :20-1 -" 42; 7$+ .1*20 <7#2%2*) =2# =2*$755%* >70& ?&"$ ,+*%* >64"0%*& @7-02627 >"0)* >70A 4#2-1 !"#$%&’$&( "* +,&-#,( . /$’"%0-1 2&0#$%30(4 "* +$5*",&61-&6 . /",&( 7-0&( 80&9$&( 2&0#$%30(4: +"#- 79"(0- . 2&0#$%30(4 "* +"%(;$%& <%0(03; ="1,’>0- =$&(%$ "* ?@9$11$&9$ *"% =;016%$& A B6"1$39$&(3 50(; 7C$90-1 +$$63 =$&(%$ 6D$@9$11$&9$ C",% 1$3 $&*-&(3 $( -6"1$39$&(3 -4-&( 6$3 >$3"0&3 3CE90-,@ B-F,’-(30-1--’’-%0,G,,C H&0’I- +,(-FF-&,( /-JJ,J(,&,11, K0’0’I,( BG,%,(0F-F(,&,( H10FF,30F3,&&I0((,&,( !"#$$%&’ )*+,-./"%’ 01$$2"3%&’ 0"45$$6’ 7"%* 8 ),9’ ):);./"%<=. >+$$?"3<"4. @ABC"3. !*$-0* "/ B;6*%%*$6* /"0 !12%+0*$ C ,+"%*)6*$-) 32-1 45*627% 8**+) B70%& D$-*0E*$-2"$ .7)A <"06* >"F$- 472$- G2$6*$- ($2E*0)2-&

Upload: others

Post on 07-Jul-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

!

!

!

!"##"$%&'()*+',))*))#*$-'.""%)'/"0'

'!12%+0*$'32-1'45*627%'8**+)'',9*)':20-1'-"'42;'

'7$+''.1*20'<7#2%2*)'

'!=2#'=2*$755%*'>70&'?&"$'

,+*%*'>64"0%*&'@7-02627'>"0)*'>70A'4#2-1'

!"#$%&'$&()"*)+,&-#,().)/$'"%0-1)2&0#$%30(4)"*)+$5*",&61-&6).)/",&()7-0&()80&9$&()2&0#$%30(4:)+"#-)79"(0-).)2&0#$%30(4)"*)+"%(;$%&)<%0(03;)="1,'>0-)

=$&(%$)"*)?@9$11$&9$)*"%)=;016%$&)A)B6"1$39$&(3)50(;)7C$90-1)+$$63)=$&(%$)6D$@9$11$&9$)C",%)1$3)$&*-&(3)$()-6"1$39$&(3)-4-&()6$3)>$3"0&3)3CE90-,@)

B-F,'-(30-1--''-%0,G,,C)H&0'I-)+,(-FF-&,()/-JJ,J(,&,11,)K0'0'I,()BG,%,(0F-F(,&,()H10FF,30F3,&&I0((,&,()

!"#$$%&'()*+,-./"%'(01$$2"3%&'(0"45$$6'(7"%*8

),9'():);./"%<=.(>+$$?"3<"4.(@ABC"3.!

!*$-0*'"/'B;6*%%*$6*'/"0'!12%+0*$'C',+"%*)6*$-)'32-1'45*627%'8**+)'

!

B70%&'D$-*0E*$-2"$'.7)A'<"06*'>"F$-'472$-'G2$6*$-'($2E*0)2-&!

Page 2: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

!

!

!!!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

! !

!

"#$%&#!'(!)*+#,,#$+#!('&!"-.,/&#$!0$/!

1/',#2+#$%2!3.%-!45#+.0,!6##/2!

!

!

7028!9'&+#!'$!)0&,:!;$%#&<#$%.'$!

='>$%!40.$%!?.$+#$%!@$.<#&2.%:!

A0,.(0*B!6'<0!4+'%.0!CD=!DEF!

!

G-'$#H!IJDKLMNKFMOM!

90*H!!!!!IJDKLLPKQPMD!

!

333R+'#25#+.0,$##/2R+0!

!

)0&,:!;$%#&<#$%.'$!

!

!

S!DJJM!

1,,! &.T-%2! &#2#&<#/R! ! 6'! 50&%! '(! %-.2!

&#5'&%!U0:!V#!&#5&'/>+#/!V:!0$:!U#0$2!

3.%-'>%! %-#! 3&.%%#$! 5#&U.22.'$! '(! %-#!

0>%-'&B! #*+#5%! V:! 0! &#<.#3#&B! 3-'!U0:!

>2#!V&.#(!#*+#&5%2!.$!0!&#<.#3R!

!

;446!

;4C6!!!

4.%#!W.&#+%'&2! ! W&R!X.U!X.#$055,#!

! ! ! W&R!=0&:!Y:'$!

4.%#!"''&/.$0%'&! ! 1/#,#!=+4'&,#:!

!

ZG&'/>+%.'$!'(! %-.2!"'UU'$,:!@2#/!122#22U#$%!7'',2! ('&!

"-.,/&#$!3.%-!45#+.0,!6##/2B!1T#2!C.&%-! %'!4.*![#0&2B!0$/!

7-#.&!90U.,.#2! -02! V##$!U0/#!5'22.V,#! %-&'>T-! 0! (.$0$+.0,!

+'$%&.V>%.'$!(&'U!%-#!G>V,.+!A#0,%-!1T#$+:!'(!"0$0/0R!!7-#!

<.#32! #*5&#22#/! -#&#.$! /'! $'%! $#+#220&.,:! &#5&#2#$%! %-#!

<.#32!'(!%-#!G>V,.+!A#0,%-!1T#$+:!'(!"0$0/0R\!

!

]]Y0!5&'/>+%.'$!/#!+#!/'+>U#$%!0!^%^!&#$/>#!5'22.V,#!T&_+#!

`!>$#!+'$%&.V>%.'$!(.$0$+.a&#!5&'<#$0$%!/#!,b0T#$+#!/#!20$%^!

5>V,.c>#!/>!"0$0/0R!!Y#2!<>#2!#*5&.U^#2!.+.!$#!&#5&^2#$%#$%!

502!$^+#220.&#U#$%!,#2!<>#2!/#!,b0T#$+#!/#!20$%^!5>V,.c>#!/>!

"0$0/0Rdd!

Page 3: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

!

!

"#$$#%&'!()*+!,))*))$*%-!.##&)!/#0!

"12&+0*%!32-1!45*627&!8**+)9!,:*)!;20-1!-#!

42<9!7%+!.1*20!=7$2&2*)

!!!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

!

! ! ! ! ! ! ! ! 4*5-*$>*0!?@@A! !

!

! !

Page 4: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

!

!"#$%&'(&)'*+%*+,&!

!

!"#$%&'(#)%"*************************************************************************************************)

+(,"%-./&0/1/"#2***********************************************************************************))

+22/221/"#2**********************************************************************************************3

!!!"#$%&'(!)*!+,&-.*************************************************************************************************************3

!!!"#$%&'(!/*!012&-3**********************************************************************************************************4

!!!"#$%&'(!4*!"5#$&1-&6#.************************************************************************************************35

6.%78.9:/;/.%<1/"#*************************************************************************************************35

:%18)"9=82/&9*********************************************************************************************************3>

?#)%.%0@9=82/&*********************************************************************************************************>5

6$%'<9A/##)"02*********************************************************************************************************>B

C/72)#/2***************************************************************************************************>D

?"&"%#/2***************************************************************************************************EB

!

Page 5: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

!

B%-0#+C6-2#%!! !

!

!

!Z"'UU'$,:!@2#/!122#22U#$%!7'',2!('&!"-.,/&#$!3.%-!45#+.0,!6##/2B!1T#2!C.&%-!

%'!4.*![#0&2B!0$/!7-#.&!90U.,.#2\!5&'<./#2!#0&,:!.$%#&<#$%.'$.2%2B!#0&,:!+-.,/-''/!

#/>+0%'&2B!0$/!'%-#&!&#,0%#/!5&'(#22.'$0,2!0$!'<#&<.#3!'(!+'UU'$,:!>2#/!

022#22U#$%2!.$!#0&,:!.$%#&<#$%.'$R!7-.2!,.2%.$T!.2!V02#/!'$!,.%#&0%>&#!&#<.#32!0$/!

25#+.(.+!.$('&U0%.'$!2>VU.%%#/!V:!<0&.'>2!0T#$+.#2!0$/!.$/.<./>0,2!3'&8.$T!3.%-!

:'>$T!+-.,/&#$!3.%-!25#+.0,!$##/2!0$/!%-#.&!(0U.,.#2R!!

!

7-#!/'+>U#$%!.2!/.<./#/!.$%'!%-&##!2#+%.'$2R!4#+%.'$!Q!"-.,/!122#22U#$%!7'',2!

('+>2#2!'$!+>&&.+>,>U!V02#/!'&!(>$+%.'$0,!022#22U#$%!%'',2!0$/!U#02>&#2!('&!

.$(0$%2!0$/!+-.,/&#$R!4#+%.'$!D!90U.,:!C02#/!122#22U#$%!7'',2!0$/!4>&<#:2!.2!('&!

>2#!3.%-!(0U.,.#2!%'!-#,5!/#2+&.V#!%-#.&!$##/2!0$/!&#2'>&+#2R!!4#+%.'$!P!45#+.0,.e#/!

122#22U#$%!7'',2!+'$%0.$2!25#+.(.+!/.0T$'2%.+!%'',2!0/U.$.2%#&#/!V:!%&0.$#/!

5&'(#22.'$0,2!3.%-!3-.+-!#0&,:!.$%#&<#$%.'$.2%2!$##/!%'!V#!(0U.,.0&!.$!%-#.&!3'&8!

3.%-!+-.,/&#$!0$/!(0U.,.#2R!7-.2!2#+%.'$!.2!2>V/.<./#/!.$%'!%'',2!%-0%!('+>2!'$!0&#02!

'(!/'U0.$B!#%.','T:f/.20V.,.%:!25#+.(.+!%'',2B!0$/!U#02>&#2!>2#/!%'!#<0,>0%#!T&'>5!

2#%%.$T2R!

!

7-.2!/'+>U#$%!.2!$'%!.$%#$/#/!02!0!+'U5&#-#$2.<#!,.2%.$T!'(!0,,!0<0.,0V,#!

022#22U#$%!%'',2!$'&!.2!.%!0!&#+'UU#$/0%.'$!'&!#$/'&2#U#$%!'(!.$/.<./>0,!

022#22U#$%2R!

!

Page 6: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

..!

,6D%#3&*+:*$*%-)!

!

!

g#!3'>,/!,.8#!%'!%-0$8!0,,!'(!%-#!.$/.<./>0,2!3-'!+'$%&.V>%#/!%'!%-#!5&'/>+%.'$!'(!

%-.2!U0%#&.0,R!G0&%.+.50$%2!.$!%-#!4:U5'2.>U!'$!)0&,:!;$%#&<#$%.'$!DJJD!(.&2%!

2>TT#2%#/!%-#!$##/!('&!./#$%.(:.$T!022#22U#$%!%'',2!&#,#<0$%!%'!#0&,:!.$%#&<#$%.'$R!

)0&,:!;$%#&<#$%.'$!G&'T&0U2!.$!6'<0!4+'%.0!+'$%&.V>%#/!/#%0.,#/!.$('&U0%.'$!.$!

%-#.&!&#25'$2#2!%'!0!7028!9'&+#!5&'<.$+.0,!2>&<#:!'(!#0&,:!.$%#&<#$%.'$!2#&<.+#2R!

7-#!(',,'3.$T!.$/.<./>0,2!&#5&#2#$%.$T!0!&0$T#!'(!5&'(#22.'$0,!2#&<.+#2!T0<#!

25#+.(.+!.$('&U0%.'$!0V'>%!%-#.&!0&#02!'(!#*5#&%.2#R!!

!

W&R!"-&.2%.$#!),,23'&%-B!G2:+-','T.2%B!;gX!A#0,%-!"#$%&#!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

=2R!C0&V!X#,,:B!C4+R!G7!h+iB!!;gX!A#0,%-!"#$%&#!!

=2R!1$/&#0!=0+=.,,0$B!=R4+RB!4YG!h+iB!",.$.+0,!W.&#+%'&B!4'>%-!g#2%#&$!

G&'<.$+.0,!W.<.2.'$B!6'<0!4+'%.0!A#0&.$T!j!45##+-!",.$.+!!

=2R!7-#&#20!=.,,.T0$!B!C2+R!k7!h+iB!"''&/.$0%'&!('&!4#&<.+#2!('&!"-.,/&#$!3.%-!

1>%.2UB!;gX!A#0,%-!"#$%&#!

=2R!X&.2%0!=,#%e+'28#&&:B!"#$%&0,!l#T.'$!1>%.2U!4#&<.+#2!7#0U!122.2%0$%B!;gX!

A#0,%-!"#$%&#!!

=2R!G0%2:!6#3U0$B!=R)/RB!;%.$#&0$%!7#0+-#&B!?.2>0,,:!;U50.&#/B!1%,0$%.+!

G&'<.$+#2!45#+.0,!)/>+0%.'$!1>%-'&.%:!!

=2R!4-#.,0!m>0+8#$V>2-B!C4+R!G7!h+iB!G&'(#22.'$0,!"-.#(!'(!G-:2.'%-#&05:B!;gX!

A#0,%-!"#$%&#!!

!

!

7028!9'&+#!5&'n#+%!5#&2'$$#,!&#2#0&+-#/!022#22U#$%!.$('&U0%.'$B!+'$/>+%#/!

,.%#&0%>&#!&#<.#32!0$/!2>&<#:2B!0$/!('&U0%%#/!%-#!U0%#&.0,!('&!5&.$%!0$/!3#V2.%#!

>2#R!g#!0&#!50&%.+>,0&,:!.$/#V%#/!%'!=0&8!4U.%-!('&!5&#,.U.$0&:!,.%#&0%>&#!&#<.#32!

0$/!%-#!.$.%.0,!<#&2.'$!'(!%-.2!/'+>U#$%!0$/!%'!7&.+.0!='&2#!('&!2>&<#:2!'(!

5&'(#22.'$0,!5#&2'$$#,!0$/!%-#!(.$0,!<#&2.'$R!

!

G&'n#+%!G#&2'$$#,H!

4>5#&<.2'&!

W&R!X.U!X.#$055,#!

W#50&%U#$%!'(!"-.,/!0$/!['>%-!4%>/:!

='>$%!40.$%!?.$+#$%!@$.<#&2.%:!

!

!

4.%#!"''&/.$0%'&H!

Page 7: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

...!

1/#,#!=+4'&,#:!

!

l#2#0&+-!122.2%0$%2H!

7&.+.0!='&2#!!

o,#$/0!l'2V'&'>T-!!!

=0&8!4U.%-!!!!!

!!

7-.2!/'+>U#$%!.2!0<0.,0V,#!'$,.$#!0%H!

-%%5Hff333RU2<>R+0f+-.,/p:'>%-f+'##.f.$/#*R025!

!!

!

Page 8: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

Q!

F%11%".@9G2/&9+22/221/"#9H%%.299I%$9FJ).&$/"9-)#J9A</()8.9K//&2L9+0/29=)$#J9#%9A)M9N/8$2L98"&9HJ/)$9O81).)/299 9 9 9 9 9 9 99 9 9 9 9 9 9 9A/(#)%"939 FJ).&9+22/221/"#9H%%.29

P)")18.9#$8)")"09$/Q')$/&9'"./229%#J/$-)2/9)"&)(8#/&99

9 9 9 9 9 9 9 99 9 9 9 9 9 9 9H)#./R+'#J%$9 9 +0/9S8"0/9 99999999999999:/2($)<#)%"9 9 S/2/8$(J9TS/I/$/"(/29)"9?"&"%#/2U9 V'7.)2J/$RF%2#9>55W9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9+'#)2#)(9F%"#)"''1X9+"9+22/221/"#98"&9!"#/$;/"#)%"9A(J/&'./999P8'$//"9+8$%"298"&9H/22896)##/"29

9 >Y49@/8$29 Z9822/22/297/J8;)%$L92,)..298"&9"//&29%I9(J).&$/"9-)#J98'#)2#)(9&)2%$&/$9%$9$/.8#/&9&)II)('.#)/29Z9)"I%$18#)%"9'2/I'.9)"9<$%0$819<.8"9&/2)0"9Z9I$/Q'/"#.@9'2/&97@9A[V\298"&9/&'(8#)%"8.9<2@(J%.%0)2#29Z918"'8.9)"(.'&/&9-)#J92(J/&'./9

9 S/;)/-/&9)"X9]HJ/9O)I#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

KO?SYK/2.%"9V'7.)2J)"09F%*L9[#&*9T?"0.8"&U99H/./<J%"/X9594^W9B5>93_ED99999O+`X9999999999594^W9B539WEW499F%2#X98<<$%M*9a3D5*559F&"9R9D>*559<%'"&29Gb9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*'".*/&'R7'$%29 J##<XRR---*"I/$Y"/.2%"*(%*',R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9+?VA9+22/221/"#L9?;8.'8#)%"L98"&9V$%0$811)"09A@2#/19I%$9!"I8"#298"&9FJ).&$/"L9A/(%"&9?&)#)%"99?&)#%$X9:)8"/9=$)(,/$9

9 =)$#J9Y9B9@/8$29 Z9822/22/298"&91%")#%$29&/;/.%<1/"#99Z9.)",29822/221/"#L9)"#/$;/"#)%"98"&9/;8.'8#)%"9Z9'2/&97@9)"#/$;/"#)%")2#2L9#/8(J/$2L92</()8.)2#2L9(8$/0);/$29Z9)"(.'&/298&1)")2#$8#)%"90')&/L9<J%#%(%<@87./9I%$12L9)"I%$18#)%"9%"99J%-9#%9'2/9#J/9#%%.98"&9#J/92(%$/29Z98((%1<8"@)"09('$$)('.'1L9FJ).&9c72/$;8#)%"9:8#89S/(%$&)"0L9FJ).&9V$%0$/229S/(%$&L9O81).@9S/<%$#9

9 S/;)/-/&9)"X9]V2@(J%1/#$)(9V$%</$#)/29%"9+?VA9!"I%$18#)%"9AJ//#9[)",]9c"0%)"09$/2/8$(J92)"(/93_4^9)"&)(8#/29#%%.9)297%#J9$/.)87./998"&9;8.)&*9

V8'.9d*9=$%%,/29V'7.)2J)"09F%*L9!"(*9TGA+U99H/./<J%"/X9394559BE49EDDW9O+`X9999999999999939^359EED94WE_99F%2#X9a>5W*559GA9I%$9F%1<./#/9A/#9I%$9=)$#J9Y9B9@/8$29!"&);)&'8.9<)/(/29$8"0/9I$%19aWW*55YaD5*559GA9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R#%%.2R8/<29 J##<XRR---*7$%%,/2<'7.)2J)"0*(%19 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9+Ae9+0/29f9A#80/29e'/2#)%""8)$/29A/(%"&9?&)#)%"999:)8""/9=$)(,/$L9VJ*:*98"&9g8"/9AQ')$/2L9VJ*:*9

9 =)$#J9Y9W9@/8$29 Z9822/22/298"&91%")#%$29&/;/.%<1/"#R9$)2,9%I9&/.8@9Z9'2/I'.9)"9)&/"#)I@)"098$/829%I9"//&9Z9.)",29#%9+0/29f9A#80/29[/8$")"09+(#);)#)/29Z9'2/&97@9)"#/$;/"#)%")2#2L9J%1/9;)2)#%$2L9/&'(8#%$2L9(8$/0);/$2L92/$;)(/9<$%;)&/$29Z9<8$/"#29(%1<./#/9I%$129Z98;8).87./9)"9?"0.)2JL9O$/"(JL9A<8")2JL98"&9b%$/8"9Z92/#9(%"#8)"29+Ae9G2/$\296')&/L9<J%#%(%<@87./9Q'/2#)%""8)$/298"&92(%$)"092J//#29

9 S/;)/-/&9)"X99]9=$%%,/29H/(J")(8.9S/<%$#9]%".)"/9

V8'.9d*9=$%%,/29V'7.)2J)"09F%*L9!"(*9TGA+U9H/./<J%"/X9394559BE49EDDW9O+`X999999999939^359EED94WE_99F%2#X9a3__*559GA9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R2#%$/R7%%,2R

7$)(,/$Y82QR9J##<XRR---*7$%%,/2<'7.)2J)"0*(%19 9

9 9 9 9 9 9 9 9

Page 9: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

D!

9 9 9 9 9 9 9 99 9 9 9 9 9 9 9+AeXA?9+0/29f9A#80/29e'/2#)%""8)$/X9A%()8.Y?1%#)%"8.999g8"/9AQ')$/2L9VJ*:*L9:)8""/9=$)(,/$L9VJ*:*L98"&9?.)h87/#J9H-%17.@L9P*A*9

9 B91%2Y9W9@/8$29 Z9822/22/298"&91%")#%$29(J).&$/"\292%()8.98"&9/1%#)%"8.97/J8;)%$9Z9'2/I'.9)"9)&/"#)I@)"09#J%2/98#9$)2,9I%$9&)II)('.#)/298"&9#J/9"//&9I%$9I'$#J/$9)";/2#)08#)%"9Z9'2/&97@9)"#/$;/"#)%")2#2L9J%1/9;)2)#%$2L9/&'(8#%$2L9(8$/0);/$2L92/$;)(/9<$%;)&/$29Z9<8$/"#29(%1<./#/9I%$129Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z92/#9(%"#8)"29+AeXA?9G2/$\296')&/L9<J%#%(%<@87./9Q'/2#)%""8)$/298"&92(%$)"092J//#29

9 S/;)/-/&9)"X99]9=$%%,/29H/(J")(8.9S/<%$#9]%".)"/9

V8'.9d*9=$%%,/29V'7.)2J)"09F%*L9!"(*9TGA+U9H/./<J%"/X9394559BE49EDDW9O+`X999999999939^359EED94WE_99F%2#X9a3__*559GA9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R2#%$/R2Q')$/

2Y82Q2/9J##<XRR---*7$%%,/2<'7.)2J)"0*(%19 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9=$)08"(/9?8$.@9V$/2(J%%.9A($//"Y!!99+.7/$#9d*9=$)08"(/9

9 >9@/8$29Y9W9@/8$293391%"#J29

Z9822/22/29(J).&$/"\29&/;/.%<1/"#9Z9)&/"#)I)/29&/;/.%<1/"#8.9<$%7./1298"&90)I#/&"/229Z9822)2#29-)#J9<$%0$819<.8"")"09Z9'2/&9)"90$%'<92/##)"029Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9/&'(8#%$2L92#8II9)"9d/8&9A#8$#9V$%0$8129Z9)"(.'&/29A($//"Y!!9P8"'8.L9:8#89AJ//#2L9F.8229S/(%$&9O%.&/$2L98"&92'<<./1/"#8.98((/22%$)/29

9 S/;)/-/&9)"X9]F'$$)('.'19+22%()8#/29H/(J")(8.9S/<%$#]9%".)"/9

F'$$)('.'19+22%()8#/29TGA+U9H/./<J%"/X9394559>>W95>^4999F%2#X9!#/1292%.&9)"&);)&'8..@X918)"9(%1<%"/"#29999999999A($//"Y!!9P8"'8.9a9335*559GA9999999999:8#89AJ//#299999999a99E4*559GA9999999999A'118$@9O%.&/$99a99^4*559GA9999999999H/(J")(8.9S/<%$#99a99W4*559GA99999999999999999999999999H%#8.X999a9>W^*559GA99999

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*('$$)('.'1822%()8#/2*(%1R9 J##<XRR---*('$$)('.'1822%()8#/2*(

%1R99

9 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9=$)08"(/9!?:Y!!9=$)08"(/9!";/"#%$@9%I9?8$.@9:/;/.%<1/"#Y9!!99+.7/$#9d*9=$)08"(/9

9 =)$#J9Y9D9@/8$29 Z9/;8.'8#/29&/;/.%<1/"#98"&9</$I%$18"(/9./;/.2L91%")#%$298"&9&%('1/"#29<$%0$/229Z9'2/I'.9)"9<.8"")"098"&9)1<./1/"#)"09)"2#$'(#)%"8.9%7i/(#);/29Z9'2/&97@9)"#/$;/"#)%")2#2L9J%1/9;)2)#%$29L9/&'(8#%$2L92/$;)(/9<$%;)&/$29Z/"(%'$80/29(%11'")(8#)%"97/#-//"9<8$/"#298"&9/&'(8#%$29Z92/#9(%"#8)"29!";/"#%$@L9:/;/.%<1/"#8.9S/(%$&9=%%,L9H/2#)"09+((/22%$)/29b)#9

9 S/;)/-/&9)"X9]F'$$)('.'19+22%()8#/29H/(J")(8.9S/<%$#]9%".)"/9

F'$$)('.'19+22%()8#/29TGA+U9H/./<J%"/X9394559>>W95>^4999F%2#X9!?:Y!!9!";/"#%$@99a3W_*559GA999999999:/;/.%<1/"#8.9S/(%$&9=%%,9999999999T359<8(,U99999999aEW*559GA9999999999H/2#)"099999b)#99aBW*559GA9H%#8.X99999999999999999999999a>W_*559GA9999

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*('$$)('.'1822%()8#/2*(%1R9 J##<XRR---*('$$)('.'1822%()8#/2*(

%1R99

9 9 9 9 9 9 9 9

Page 10: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

P!

9 9 9 9 9 9 9 9=$)08"(/9!"I8"#98"&9H%&&./$9A($//"99+.7/$#9d*9=$)08"(/9

9 =)$#J9Y9>E91%"#J29

Z9822/22/29)"I8"#98"&9#%&&./$9&/;/.%<1/"#8.92,)..29Z9%72/$;/29(8$/0);/$2\9)";%.;/1/"#98"&9)"#/$8(#)%"29Z91%")#%$29<$%0$/229Z9<$%;)&/298(#);)#)/29#%9J/.<9<8$/"#29<$%1%#/9&/;/.%<1/"#9Z9)&/"#)I)/29)"&);)&'8.9"//&298"&9<$%0$819<.8"29Z9)&/"#)I)/29#J/9"//&9I%$9I'$#J/$9)";/2#)08#)%"98"&9$/I/$$8.29Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9)"#/$;/"#)%")2#2L9/&'(8#%$2L9<'7.)(9J/8.#J9"'$2/29Z9)"(.'&/29A($//"RP8"'8.L9:8#89AJ//#2L98"&98((/22%$)/29

9 S/;)/-/&9)"X9]F'$$)('.'19+22%()8#/29H/(J")(8.9S/<%$#]9%".)"/9

F'$$)('.'19+22%()8#/29TGA+U9H/./<J%"/X9394559>>W95>^4999F%2#X9!#/1292%.&9)"&);)&'8..@*9P8)"9(%1<%"/"#2X99A($//"RP8"'8.9I%$9!"I8"#9999999a9335*559GA99A($//"RP8"'8.9I%$9H%&&./$9999a9335*559GA999:8#89AJ//#29</$980/9./;/.99999a9E4*559GA9`>99A'118$@9O%.&/$R80/9./;/.9999a9^4*559GA99H/(J")(8.9S/<%$#999999999999999999a9W4*559GA999999999999999999H%#8.X999999999999999999a9^5>*559GA9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*('$$)('.'1822%()8#/2*(%1R9 J##<XRR---*('$$)('.'1822%()8#/2*(

%1R99

9 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9FF!HAK9HJ/9F8$%.)"89F'$$)('.'19I%$9!"I8"#2RH%&&./$29-)#J9A</()8.9K//&29HJ)$&9?&)#)%"999K8"(@9P*9g%J"2%"YP8$#)"L9VJ*:*L9A'28"9P*9+##/$1/)$/$L9VJ*:*L9V*H**L9f9=%"")/9g*9d8(,/$L9P*d*A*L9c*H*S*R[9

9 =)$#J9Y9E9@/8$29 Z9822/22/29&/;/.%<1/"#8.9"//&29%I9(J).&$/"9-)#J91).&9#%92/;/$/92</()8.9"//&29Z9822/221/"#9(8"97/9&%"/9#J$%'0J9%72/$;8#)%"9%I9<.8@9)"9"8#'$8.)2#)(9/";)$%"1/"#9-)#J9I81).)8$918#/$)8.29Z9.)",29822/221/"#9#%9('$$)('.'19782/&9)"#/$;/"#)%"9<$%0$8198"&9I%..%-9'<98(#);)#)/29Z9'2/&97@9)"#/$;/"#)%")2#2L9/&'(8#%$2L92/$;)(/9<$%;)&/$29Z92/#9)"(.'&/29FF!HAK918"'8.R0')&/L9+22/221/"#9[%0298"&9:/;/.%<1/"#8.9V$%0$/229FJ8$#299

9 S/;)/-/&9)"X99]+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]99][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9

V8'.9d*9=$%%,/29V'7.)2J)"09F%*L9!"(*9TGA+U9H/./<J%"/X9394559BE49EDDW9O+`X999999999939^359EED94WE_99F%2#X9FFVAK9a^^*_W9GA9999999999>9=%%,9A/#9a45*559GA9999999999FF!HAK9f9FFVAK9999999999O%$129a>W*559GA9

9

9 9 9 9 9 9 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 11: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

L!

FFVAK9HJ/9F8$%.)"89F'$$)('.'19I%$9V$/2(J%%./$29-)#J9A</()8.9K//&29A/(%"&9?&)#)%"99K8"(@9P*9g%J"2%"YP8$#)"L9VJ*:*L9A'28"9P*9+##/$1/)$/$L9VJ*:*L9V*H*L9f9=%"")/9d8(,/$L9P*d*A*L999c*H*S*R[9

9 >YW9@/8$29 Z9822/22/299&/;/.%<1/"#8.9"//&29%I9(J).&$/"9-)#J91).&9#%92/;/$/92</()8.9"//&29Z9822/221/"#9(8"97/9&%"/9#J$%'0J9%72/$;8#)%"9%I9<.8@9)"9"8#'$8.)2#)(9/";)$%"1/"#9-)#J9I81).)8$918#/$)8.29Z9#8$0/#2980/98<<$%<$)8#/97/J8;)%$298"&9)"(.'&/292'00/2#)%"29I%$90$%'<98(#);)#)/29)"9(J).&9(8$/9<$%0$8129Z9.)",29822/221/"#9#%9('$$)('.'19782/&9)"#/$;/"#)%"9<$%0$819<.8"98"&9I%..%-9'<98(#);)#)/29Z9'2/&97@9)"#/$;/"#)%")2#2L9/&'(8#%$2L92/$;)(/9<$%;)&/$29Z92/#9)"(.'&/29FFVAK918"'8.R0')&/L9+22/221/"#9[%0298"&9:/;/.%<1/"#8.9V$%0$/229FJ8$#29

9 S/;)/-/&9)"X99]+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]99][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9

V8'.9d*9=$%%,/29V'7.)2J)"09F%*L9!"(*9TGA+U9H/./<J%"/X9394559BE49EDDW9O+`X999999999939^359EED94WE_99F%2#X9FFVAK9a^^*_W9GA9999999999>9=%%,9A/#9a45*559GA9999999999FF!HAK9f9FFVAK9999999999O%$129a>W*559GA9

9

9 9 9 9 9 9 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9F:!9FJ).&9:/;/.%<1/"#9!";/"#%$@99d8$%.&9S*9!$/#%"L9?&-8$&9g*9HJ-)"09

9 3W91%2YB9@/8$29

Z9822/22/29#J/9&/;/.%<1/"#L92@1<#%1298"&97/J8;)%$9<$%7./129%I9@%'"09(J).&$/"9Z91/82'$/292</()I)(98$/829829-/..98290/"/$8.9&/;/.%<1/"#9Z9<$%;)&/29&/#8)./&9)"I%$18#)%"987%'#9(J).&\29<$/2/"#9&/;/.%<1/"#L9"//&2L98"&98&i'2#1/"#987).)#)/29Z9<8$/"#29(%1<./#/9Q'/2#)%""8)$/98"&9<8$#)()<8#/9)"9)"#/$;)/-2Z98((%1<8"@)"09H/8(J/$9c72/$;8#)%"96')&/9Z9'2/&97@9)"#/$;/"#)%")2#2L9/&'(8#%$2L92/$;)(/9<$%;)&/$29Z92/#9)"(.'&/29F:!9!";/"#%$@L9P8"'8.L9V8$/"#9e'/2#)%""8)$/L9A(8./29P/82'$/L98"&9%<#)%"8.9H/8(J/$9c72/$;8#)%"96')&/9THc6U9

9 S/;)/-/&9)"X9]+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]9]HJ/9H-/.I#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

+6A9T+1/$)(8"96')&8"(/9A/$;)(/9!"(*U9V'7.)2J)"09TGA+U9H/./<J%"/X9394559E>49>WB59O+`X9999999999394559^D394^WD999F%2#X99F:!9F%1<./#/9A/#9aBW*_W9GA9

9

9 9 9 9 9 9 J##<XRR---*802"/#*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9:VY!!9:/;/.%<1/"#8.9V$%I)./9!!996/$8.&9+.</$"L9VJ*:*L9HJ%1829=%..L9VJ*:*L98"&9P8$2J89AJ/8$/$L9P*+*9

9 =)$#J9Y9_93R>9@/8$29

Z9822/22/29&/;/.%<1/"#9)"9I);/9,/@98$/8299Z92($//"29I%$98&;8"(/&9%$9&/.8@/&9&/;/.%<1/"#9Z9<$%;)&/29('$$/"#9I'"(#)%")"0980/9Z9<$%;)&/29)"&);)&'8.)h/&9#/8(J)"092'00/2#)%"29I%$9<8$/"#29%$9(8$/0);/$29Z9<8$/"#29%$9#J/$8<)2#9-J%9,"%-29(J).&9-/..9(%1<./#/29)"#/$;)/-9Q'/2#)%""8)$/9Z9'2/&97@9<J@2)()8"2L9/&'(8#%$2L9<2@(J%.%0)2#2L92/$;)(/9<$%;)&/$29Z9,)#9)"(.'&/29:VY!!9P8"'8.L9A(%$)"0RV$%I)./9O%$1299

9 S/;)/-/&9)"X99][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]99]HJ/9H/"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]999

C/2#/$"9V2@(J%.%0)(8.9A/$;)(/29TGA+U9H/./<J%"/X9394559B^4944WD999F%2#X9b)#9a33W*559GA9

9

9 9 9 9 9 9 J##<XRR---*-<2<'7.)2J*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 12: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

M!

?PF9?;/$@9P%;/9F%'"#29A/"2%$@Y=82/&9F%11'")(8#)%"9H/(J")Q'/2999g8"/9?&08$9b%$2#/"L9P*+*L9:)M)/9b*9:'""L9P*+*L999c*H*S*L9H/$/289j/$"%"9O%22L9P*?&*L9P8$@9b8@9O$8"(,/L9F*c*H*+*99

9 K%92</()I)(980/9$8"0/9<$%;)&/&k9(J).&$/"9#%98&'.#299

Z9822/22/29)"&);)&'8.9(%11'")(8#)%"9"//&299Z9<$%;)&/292#$8#/0)/2R98(#);)#)/29#%9/1<%-/$9(J).&$/"98"&98&'.#29'"87./9#%9'2/9I%$18.9.8"0'80/92@2#/129Z9<$%;)&/298((%1<8"@)"09(8$$@9%;/$918#/$)8.29Z9'2/&97@9cH\2L92/$;)(/9<$%;)&/$2L9)"#/$;/"#)%")2#29Z9)"(.'&/29?PF9P8"'8.L9<J%#%(%<@87./9J8"&%'#2L9&/1%"2#$8#)%"9;)&/%99

9 S/;)/-/&9)"X99][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9

d8$(%'$#9+22/221/"#L9!"(*9TGA+U9H/./<J%"/X9394559>3394ED4999F%2#X9a4_*_W9GA999

9

9 9 9 9 9 9 J8$(%'$#822/221/"#*(%19 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9d?[V9FJ/(,.)2#9T5YEU9d8-8))9?8$.@9[/8$")"09V$%I)./9FJ/(,.)2#9T5YEU999A/#2'9O'$'"%L9VJ*:*9

9 =)$#J9Y9E9@/8$29 Z989(%1<%"/"#9%I9#J/9d?[V99A@2#/19T9(%1<./#/92@2#/19(%"2)2#29%I93W9(%1<%"/"#2U9Z9822/22/29&/;/.%<1/"#9%I9(J).&$/"9-J%98$/9&/;/.%<)"09"%$18..@9%$9(%"2)&/$/&9]8#9$)2,]9Z9)&/"#)I)/298$/829%I92#$/"0#J98"&9"//&9Z9.)",29#%9d?[V98#9d%1/9T5YEU98(#);)#)/2RJ8"&%'#29Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9)"#/$;/"#)%")2#2L9J%1/9;)2)#%$2L9cH\2L9VH\2L92/$;)(/9<$%;)&/$29Z99)"(.'&/29<8(,80/9%I9(J/(,.)2#29T$/I/$9#%9!"2)&/9d?[V9I%$96')&/U99

9 S/;)/-/&9)"9X9]+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9?./;/"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

jcSH9F%$<%$8#)%"9TGA+U9H/./<J%"/X9394449DWD94BD49O+`X999999999939BW59E>D95D^D999F%2#X9<,09%I93Y9_9999aE*559/8(J9GA9999999999<,09%I935Y__9a>*W59/8(J9GA9

9

9 9 9 9 9 9 J##<XRR---*;%$#*(%1R9 99 9 9 9 9 9 9 9d?[V9A#$8"&29T5YEU9d8-8))9?8$.@9[/8$")"09V$%I)./9A#$8"&29T5YEU999A#/<J8")/9V8$,2L9P*+*L9/#98.9

9 =)$#J9Y9E9@/8$29 Z989(%1<%"/"#9%I9#J/9d?[V9A@2#/19Z9%II/$29,/@9&/;/.%<1/"#8.9822/221/"#9I$81/-%$,9Z2,)..298$/9]2#$8"&/&]97@9)"#/$$/.8#/&9(%"(/<#29Z918,/29I%$9/82)/$9)&/"#)I)(8#)%"9%I9]"/M#92#/<2]9)"9<$%0$819<.8"")"09Z9.)",29#%9d?[V98#9dcP?9T5YEU98(#);)#)/2RJ8"&%'#29Z9'2/&97@9)"#/$;/"#)%")2#2L9J%1/9;)2)#%$2L9cH\2L9VH\2L92/$;)(/9<$%;)&/$29Z9)"(.'&/29%"/97%%,./#9%$99I%'$9.%%2/9./8I92/(#)%"29I%$18#9

9 S/;)/-/&9)"9X9]+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9?./;/"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

jcSH9F%$<%$8#)%"9TGA+U9H/./<J%"/X9394449DWD94BD49O+`X999999999939BW59E>D95D^D999F%2#X9<,09%I93Y9_9999aE*559/8(J9GA9999999999<,09%I935Y__9a>*W59/8(J9GA9

9

9 9 9 9 9 9 J##<XRR---*;%$#*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 13: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

F!

d?[V9I%$9V$/2(J%%./$29FJ/(,.)2#9d8-8))9?8$.@9[/8$")"09V$%I)./9I%$9V$/2(J%%./$29FJ/(,.)2#999j%$#9F%$<%$8#)%"92)#/&98298'#J%$9

9 EYB9@/8$29 Z989(%1<%"/"#9%I9#J/9d?[V9A@2#/19Z98"98.#/$"8#/9I%$18#9#%9#J/9A#$8"&29Z9J/.<I'.9)"9822/221/"#9%I9(J).&$/"9-J%98$/9&/;/.%<)"09"%$18..@9%$9-J%98$/9]8#9$)2,]9Z9'2/I'.9I%$9)&/"#)I@)"092,)..92/Q'/"(/298"&9<$%0$819<.8"")"09Z9<$%1%#/29)"(.'2)%"9)"90$%'<92/##)"029Z9.)",29#%9d?[V9I%$9V$/2(J%%./$298#9d%1/98(#);)#)/2RJ8"&%'#29Z9'2/&97@9)"#/$;/"#)%")2#2L9/&'(8#%$2L9VH\2L9cH\2L92/$;)(/9<$%;)&/$29Z9)"(.'&/29(J/(,.)2#2k9281/9I%$18#9829d?[V9T5YEU9FJ/(,.)2#29

9 S/;)/-/&9)"9X9]+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9?./;/"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

jcSH9F%$<%$8#)%"9TGA+U9H/./<J%"/X9394449DWD94BD49O+`X999999999939BW59E>D95D^D999F%2#X9<,09%I93Y9_9999aE*559/8(J9GA9999999999<,09%I935Y__9a>*W59/8(J9GA9

9

9 9 9 9 9 9 J##<XRR---*;%$#*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9!"2)&/9d?[VY+&1)")2#$8#)%"98"&9S/I/$/"(/96')&/99A#/<J8")/9V8$,2L9P*+*L9/#98.9

9 +;8).87./9I%$X9V$/18#'$/9=)$#JYE9@/8$29EYB9@/8$29

Z9<$%;)&/29#J/98&1)")2#$8#)%"90')&/.)"/2R9&/;/.%<1/"#8.9822/221/"#9<$%(/&'$/29I%$9'2)"09#J/9d?[V9A@2#/19Z9/"87./29('$$)('.'19Y782/&9822/221/"#L9<.8"")"0L9#J/$8<@L98"&9)"#/$;/"#)%"9Z9<$%1%#/29I81).@Y&)$/(#/&9822/221/"#9Z9I%('2/29%"9<.8@Y782/&98(#);)#)/29)"9<$%0$819<.8"")"09Z9.)",29#%9(%$$/2<%"&)"0980/9./;/.9%I99d?[V98(#);)#)/2RJ8"&%'#29Z9'2/&97@9)"#/$;/"#)%")2#2L9J%1/9;)2)#%$2L9cH\2L9VH\2L92/$;)(/9<$%;)&/$29

9 S/;)/-/&9)"9X9]+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9O%'$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

jcSH9F%$<%$8#)%"9TGA+U9H/./<J%"/X9394449DWD94BD49O+`X999999999939BW59E>D95D^D999F%2#X9a^_*_W9GA9</$918"'8.9

9

9 9 9 9 9 9 J##<XRR---*;%$#*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9!:+9!"I8"#YH%&&./$9:/;/.%<1/"#8.9+22/221/"#999A8..@9V$%;/"(/L9g%8""89?$),2%"L9A'28"9j8#/$L98"&9A8$%9V8./$1)9

9 =)$#J9Y9E9@/8$29 Z9822/22/298"&9)&/"#)I)/29(J).&$/"9-J%98$/9&/;/.%<1/"#8..@98#9$)2,9Z9%II/$2989(%1<$/J/"2);/L91'.#)&)2()<.)"8$@L9I81).@Y9(/"#/$/&9<$%(/229Z9<$%;)&/2989I$81/-%$,9I%$9#J/9$/;)/-98"&9)"#/0$8#)%"9%I9&8#89I$%191'.#)<./92%'$(/2L9)"(.'&)"09<$/;)%'29/;8.'8#)%"29Z9J/.<29&/#/$1)"/9#J/9"//&9I%$9./;/.9%I92/$;)(/9"//&2L92</()I)(9)"#/$;/"#)%"2L98"&9%#J/$92/$;)(/29I%$9#J/9(J).&98"&9I81).@9Z9<8$/"#298$/9<8$#"/$29)"9#J/9822/221/"#9<$%(/229Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9$/Q')$/29#$8)")"09)"9#J/9!:+9k98#9./82#9#-%9<$%I/22)%"8.298&1)")2#/$9#J/9822/221/"#9Z9'2/&97@9)"#/$;/"#)%")2#2L9cH\2L9VH\2L9A[V\2L9A%()8.9C%$,/$2L9<2@(J%.%0)2#29Z9,)#9)"(.'&/29!:+9P8")<'.8#);/2L9V8$/"#9S/<%$#9O%$1L9d/8.#J9S/(%$&96')&/L9!:+9S/(%$&9O%$1L9O%'"&8#)%"298"&9A#'&@96')&/L9+&1)")2#$8#)%"9P8"'8.L98"&9S/8&)"0299

9 S/;)/-/&9)"9k9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9H-/.I#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

S);/$2)&/9V'7.)2J)"099TGA+U9H/./<J%"/X999999394559E>E9_W^59c'#2)&/9%I9GAX939BE59^BD9D5559O+`X99999999999999939BE59^BD9D3_>999F%2#X9a_5^*W59GA99

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*$);/$<'7*(%1R9 J##<XRR---*$);/$<'7*(%1R9 9

Page 14: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

N!

b!:A9b/"#9!"I8"#9:/;/.%<1/"#9A(8./9A/(%"&9?&)#)%"999g*9S/'#/$L9VJ*:*L9[*9b8#%IIL9VJ*:*L98"&9F*96$'7/$L9VJ*:*9

9 =)$#JY3W91%"#J298"&9(J).&$/"9'<9#%9B9@/8$29-)#J9&/;/.%<1/"#8.980/29%I9./229#J8"93W91%"#J299

Z9822/22/29<$/18#'$/9)"I8"#298"&9@%'"09(J).&$/"9-)#J9&/;/.%<1/"#8.9&)287).)#)/29Z9)&/"#)I)/29-J/#J/$9#J/9(J).&9)29&/;/.%<1/"#8..@9&/.8@/&L98#9$)2,L9%$9"%#9&/.8@/&9Z9<$%;)&/29&/;/.%<1/"#8.980/92(%$/98"&98"9%;/$;)/-9%I9(J).&\29&/;/.%<1/"#8.92#8#'29Z98..%-29I%$9(%1<8$)2%"9%I9&/;/.%<1/"#92#8#'298($%229#)1/9Z9822/221/"#92(8./9(%1<./#/&97@9<8$/"#2L9"'$2/2L9/&'(8#%$29%$9(8$/0);/$29Z9#$8)")"09)"9b!:A9$/(%11/"&/&9Z9'2/&97@9<2@(J%.%0)2#2L9"/%"8#%.%0)2#2L9)"#/$;/"#)%")2#2L92/$;)(/9<$%;)&/$29Z9,)#9)"(.'&/29S/'287./9+&1)")2#$8#)%"9=%%,./#L9+"2-/$9AJ//#298"&9V$%I)./9O%$12L9P8"'8.L9A(%$)"09H/1<.8#/2L9:/;/.%<1/"#8.9H)1/#87./2L98"&9:)2,9I%$9(%1<'#/$92(%$)"09

9 S/;)/-/&9)"9X9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9O%'$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

A#%/.#)"09F%1<8"@9TGA+U9H/./<J%"/X939BE594B59_D559O+`X999999999939BE594B59_DDW99F%2#X99b)#9999a3>D*559GA99999999999:)2(9a35W*559359'2/9999999999999999999a^D5*559W59'2/9999999

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*'".*/&'R7'$%29 J##<XRR---*2#%/.#)"0(%*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9K)<)22)"09:)2#$)(#9:/;/.%<1/"#8.9A($//"99K::A9!"#/../(#'8.9V$%</$#@9+22%()8#)%"299+'#J%$29"%#9)&/"#)I)/&99

9 =)$#J9Y9B9@/8$29 Z9822/22/29&/;/.%<1/"#98"&92($//"29I%$98"@98$/829%I9&/.8@9Z9"%#9)"#/"&/&9I%$9&)80"%2#)(9%$9I%$18.9822/221/"#9<'$<%2/29Z9Q')(,9&/;/.%<1/"#8.92($//"9#J8#9)&/"#)I)/29&/.8@98"&9<$%1<#29I'$#J/$9)";/2#)08#)%"9Z9.)",29#%98##8(J/&98(#);)#@9)&/829I%$980/97/)"092($//"/&9Z98;8).87./9)"9?"0.)2JL9O$/"(JL9A<8")2JL9FJ)"/2/L98"&9j)/#"81/2/9Z9(J/(,.)2#9(%1<./#/&97@9<8$/"#2L9(8$/0);/$2L9/&'(8#%$2L9<'7.)(9J/8.#J9"'$2/29Z9'2/&97@9<'7.)(9J/8.#J9"'$2/2L9)"#/$;/"#)%")2#2L9J%1/9;)2)#%$2L92/$;)(/9<$%;)&/$29Z9)"(.'&/29A($//"9A/#29I$%19391%"#J9Y9B9@/8$299

9 S/;)/-/&9X99+<<.)/&9S/2/8$(J9F%"2'.#8"#2L9G");/$2)#@9%I96'/.<JLc"#8$)%L9F8"8&8*9]j8.)&8#)%"9%I9K)<)22)"09:)2#$)(#9:/;/.%<1/"#8.k9A($//"9O%$9G2/9-)#J9!"I8"#298"&9H%&&./$2L9>55^]9

K)<)22)"09:)2#$)(#9:/;/.%<1/"#8.9A($//"9TF8"8&8U9H/./<J%"/X9394449W4>95_^^9O+`X999999999939D5W9DW>Y^>^D999F%2#X9a_5*559F&"9I%$9/8(J9(%1<./#/9A($//"9A/#[email protected]"0'80/9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*"&&2*(8R9 J##<XRR---*"&&2*(8R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 15: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

O!

HJ/9c'"(/9A(8./99A81'/.9g*9P/)2/.2L9:%$%#J/89=*9P8$2&/"L9+1@9[8'$89:%17$%L98"&9:%""89S*9C/2#%"99

9 =)$#J9Y9E93R>9@/8$29

Z9822/22/29&/;/.%<1/"#9%I9)"I8"#298"&9#%&&./$29#J$%'0J9%72/$;8#)%"9%;/$9#)1/9Z9<$%;)&/290')&/.)"/298"&92#8"&8$&29I%$9%72/$;)"098"&9)"#/$<$/#)"09(J).&\290$%-#J98"&97/J8;)%$9Z9<$%;)&/29)"I%$18#)%"9#J8#9<8$/"#298"&9(8$/0);/$29(8"9'2/9)"9/;/$@&8@9)"#/$8(#)%"29Z9/"87./29<8$/"#2L9(8$/0);/$298"&9%#J/$92#8II9#%9/;8.'8#/9#J/9(J).&\29&/;/.%<1/"#98"&9<$%0$/229%;/$9#)1/9Z9<$%;)&/298"9)"#/$8(#);/92@2#/19%I9&%('1/"#8#)%"L91%")#%$)"098"&9/;8.'8#)%"9%I9&/;/.%<1/"#9Z9<8$/"#298"&9(8$/0);/$29(%1<./#/9O81).@9+.7'129Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9)"#/$;/"#)%")2#2L9J%1/9;)2)#%$2L9/&'(8#%$29Z9#$8)")"09$/(%11/"&/&97@9!";/2#9!"9b)&29Z9)"(.'&/29c'"(/9A(8./9S/I/$/"(/9A/#L9+&1)")2#$8#%$29b)#L9G2/$\296')&/L9A#8"&8$&29I%$9:/;/.%<1/"#8.9V$%I)./2L9S/<$%&'()7./9P82#/$2L9c72/$;8#)%"9S/(%$&29O81).@9+.7'129

9 S/;)/-/&9)"X99]!";/2#9!"9b)&29O%'"&8#)%"]9

V/8$2%"9?8$.@9[/8$")"096$%'<9TF8"8&8U9H/./<J%"/X9394559E>39E35B999F%2#X9a3>5*559F&"9I%$9+&1)")2#$8#%$\29999999999b)#9999999999a>^*W59I%$98&&)#)%"8.9c72/$;8#)%"99999999999S/(%$&29</$980/9./;/.9999999999a>^*W59I%$98&&)#)%"8.9O81).@9999999999+.7'19</$980/9./;/.999999999

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*)";/2#)",)&2*(8R9 J##<XRR---*</8$2%"/8$.@./8$")"0*(

%1R99

HV=+98"&9HV=!9H$8"2&)2()<.)"[email protected]@Y=82/&9+22/221/"#98"&9H$8"2&)2()<.)"[email protected]@Y=82/&9!"#/$;/"#)%"99H%"@9C*9[)"&/$L9?&*:*L9-)#J9)";)#/&9(%"#$)7'#%$29

9 =)$#J9Y9B9@/8$29 Z9822/22/29&/;/.%<1/"#9&'$)"09<.8@92/22)%"29)"9#J/9J%1/98"&9(/"#/$9782/&9/";)$%"1/"#29Z9(8"97/9'2/&9-)#J9(J).&$/"9-)#J9&)287).)#)/2L9(J).&$/"98#9$)2,9I%$9&/.8@2L9%$9(J).&$/"9-J%98$/9#@<)(8..@9&/;/.%<)"09Z9/8$.@9(J).&J%%&9<$%I/22)%"8.29%72/$;/98"&9/"080/9-)#J9(J).&9)"9<.8@99Z9782/&9%"9$/2/8$(J9#J8#9<.8@9/"(%'$80/292,)..298"&9&/;/.%<1/"#9Z9822/221/"#9.)",29#%98"9)"&);)&'8.)h/&9<.8@Y782/&9)"#/$;/"#)%"9<.8"98"&98(#);)#)/29Z9<$%;)&/29$/(%11/"&8#)%"29%"9J%-9#%9<.8"9#J/9<.8@9/";)$%"1/"#98"&9#%92#$'(#'$/989(J).&\29&8).@9$%'#)"/9#%9I8().)#8#/9(J).&Y<8$/"#9)"#/$8(#)%"29Z9<8$/"#29J8;/98(#);/9$%./9)"9<$%0$819<.8"")"09Z9'2/&97@9cH\2L9VH\2L9A[V\2L9)"#/$;/"#)%")2#L9<2@(J%.%0)2#9)"989#/8198<<$%8(J9Z9(%1<%"/"#29)"(.'&/9HV=+9822/221/"#L9HV=!98(#);)#)/2L9FJ).&98"&9V$%0$819A'118$@9O%$129<.'29%<#)%"8.9#$8)")"09;)&/%299

9 S/;)/-/&9)"X9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9H-/.I#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]99]!";/2#9)"9b)&29O%'"&8#)%"]9

V8'.9d*9=$%%,/29V'7.)2J)"09F%*L9!"(*9TGA+U9H/./<J%"/X9394559BE49EDDW9O+`X999999999939^359EED94WE_99F%2#X9a^^*559GA9I%$9HV=+9999999999a^_*_W9GA9I%$9HV=!9999999999a>D*559GA9I%$9O%$129

9

9 9 9 9 9 9 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 16: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

I!

j+=YS9j'.</9+22/221/"#9=8##/$@9S/;)2/&9?&)#)%"99AJ)$./@96/$18"9j'.</9?&)#/&97@968$@9g*9j)#8.)9

9 =)$#J9Y9B9@/8$29 Z9822/22/29&/;/.%<1/"#R98"8.@2)29%I9,/@9&/;/.%<1/"#8.9&%18)"29Z91'.#)&)2()<.)"8$@9'2/9I%$9(J).&$/"9-)#J9&/.8@29Z9(8"97/9'2/&9)"&);)&'8..@9%$9)"90$%'<9Z9)&/"#)I)/29('$$/"#9(%1</#/"()/299Z9.)",29#%9)"&);)&'8.9<$%0$819<.8"29Z92(8./29(8"97/9'2/&9)"&);)&'8..@9%$9(%../(#);/.@9#%9I%$198978##/$@9Z9'2/29I81).)8$9#%@298"&9/Q')<1/"#9I$%19"8#'$8.9/";)$%"1/"#9Z9)"(.'&/29#$8)")"09<8(,/#9'2/&9#%9/2#87.)2J9)"#/$$8#/$980$//1/"#98"&9$/.)87).)#@9Z9'2/&97@9/&'(8#%$2L9)"#/$;/"#)%")2#2L9#J/$8<)2#2L9<8$/"#29Z9)"(.'&/29#$8)")"09<8(,/#L918"'8.L9)"&);)&'8.9822/221/"#92(8./2L9I%$129

9 S/;)/-/&9)"X99][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9O%'$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

A.%22%"9?&'(8#)%"8.9V'7.)(8#)%"9!"(*9:/<#*A9TGA+U9H/./<J%"/X9394559DWB9DDBB9O+`X9999999999394559BWW9E4^599F%2#X99a3>^*559GA9

9

9 9 9 9 9 9 J##<XRR---*2.%22%"*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9A/(#)%"9>9 9 9 9O81).@9=82/&9+22/221/"#9H%%.298"&9A'$;/@299

P)")18.9#$8)")"09$/Q')$/&9'"./229%#J/$-)2/9)"&)(8#/&99 9 9 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 9OKA9O81).@9K//&29A(8./99F8$.9g*9:'"2#L9F8$%.@"9A*9F%%</$L9g8"/#9F*9C//&.&$/@/$L9b8#J@9:*9A"@&/$98"&9g%@(/9d*9FJ82/9

9 O81).)/29%I9@%'"09(J).&$/"L980/29=)$#J9Y9B9@/8$29

Z91/82'$/299I81).@\292'<<%$#2L9$/2%'$(/298"&92/$;)(/29Z9)&/"#)I)/29I81).@92#$/"0#J298"&9"//&29Z9$/2'.#29'2/&9#%90')&/9I%..%-9'<9&)2('22)%"298"&9822)2#9)"9&/I)")"092/$;)(/29Z9#/M#9%II/$29(82/92#'&)/29#%9)..'2#$8#/9J%-9)"I%$18#)%"9(8"97/9'2/&9Z9<8$/"#9%$9%#J/$9I81).@91/17/$9(%1<./#/292(8./9Z9'2/&97@9)"#/$;/"#)%")2#2L92%()8.9-%$,/$2L9J%1/9;)2)#%$29Z9)"(.'&/297%%,X9?"87.)"098"&9?1<%-/$)"09O81).)/298"&9OKA9I%$129

9 S/;)/-/&9)"X9][!Kb)"099+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]GA9:/<8$#1/"#9%I9d/8.#J98"&9d'18"9A/$;)(/2L9+&1)")2#$8#)%"9I%$9FJ).&$/"98"&9O81).)/29T+FOUL9cII)(/9%I9V.8"")"0L9S/2/8$(J98"&9?;8.'8#)%"9TcVS?U*99

=$%%,.)"/9=%%,29TGA+U9H/./<J%"/X9394559BBB9>BBW999F%2#X9a>W*559GA9I%$9=%%,9999999999a355*559GA9I%$9359A(8./29

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*8(I*JJ2*0%;R<$%0$812R%<$/R/J2R</$I

l1/82'$/2R$/<%$#2R$/2%'$(/2l1/82'$)"0R$/2%'$(/2lI%$l1/82'$)"0*<&I9

J##<XRR---*7$%%,.)"/7%%,2*(%1R9 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9OKA9O81).@9K//&29A'$;/@99:%"8.&9=*9=8)./@98"&9S'"/9g*9A)1/%"22%"9

9 O81).)/298"&9F8$/0);/$29%I9)"I8"#2L9#%&&./$298"&9<$/2(J%%./$29-)#J92</()8.9"//&29

Z9J/.<29822/229I81).@9/&'(8#)%"8.R)"I%$18#)%"9"//&2L92'<<%$#98"&9I)"8"()8.9"//&2L92/$;)(/9"//&2L98"&9I81).@9I'"(#)%")"09Z9I81).)8$)#@9-)#J9I81).@9)"#/$;)/-)"098"&9,"%-./&0/9%I918"'8.\2918#/$)8.9$/Q')$/&9Z9(%"#8)"29%</"9/"&/&9Q'/2#)%"299Z9<8$/"#29(%1<./#/92'$;/@9%$9(8"97/9(%1<./#/&9#J$%'0J9)"#/$;)/-9Z9'2/&97@92%()8.9-%$,/$2L9)"#/$;/"#)%")2#29Z9)"(.'&/2918"'8.98"&92'$;/@9

9 S/;)/-/&9)"X9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9

+;8).87./9#J$%'0J9HJ/9G");/$2)#@9%I9K%$#J9F8$%.)"898#9FJ8</.9d)..9OV69FJ).&9:/;/.%<1/"#9!"2#)#'#/9TGA+U9H/./<J%"/X939_3_9_BB9>B>>999FcAHX9O$//9(%<@98;8).87./9%"9-/72)#/9

9

9 9 9 9 9 9 J##<XRR---*I<0*'"(*/&'Rm<'7.)(8#)%"2%II)(/R<&I2RI81).@"//&22'$;/@*<&I9

9

9 9 9 9 9 9 9 9

Page 17: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

QJ!

9 9 9 9 9 9 9 99 9 9 9 9 9 9 99dcP?9d%1/9c72/$;8#)%"9I%$9P/82'$/1/"#9%I9#J/9?";)$%"1/"#99=/##@/9P*9F8.&-/..L9=$8&./@L9S%7/$#9d*9

9 O81).@9)"#/$8(#)%"9-)#J9(J).&$/"97)$#J9Y93W9@/8$29

Z9822/229#J/9Q'8.)#@98"&9Q'8"#)#@9%I92#)1'.8#)%"98"&92'<<%$#98;8).87./9#%9#J/9(J).&9)"9#J/9J%1/9Z9I%'$92'72(8./29I%$9!"I8"#RH%&&./$L9?8$.@9FJ).&J%%&L9P)&&./9FJ).&J%%&98"&9?8$.@9+&%./2(/"#9Z92/1)92#$'(#'$/&9%72/$;8#)%"98"&9)"#/$;)/-9&'$)"0989J%1/9;)2)#9Z92($//"29I%$92%'$(/29%I9<%#/"#)8.9/";)$%"1/"#8.9$)2,9%$9&/.8@9&'/9#%9/";)$%"1/"#9Z9)&/"#)I)/29I81).@98"&9(J).&98$/829%I9"//&9Z9(8"97/9'2/&9#%9/;8.'8#/9/II/(#);/"/229%I9)"#/$;/"#)%"9<$%0$8129Z9'2/&97@92%()8.9-%$,/$2L9)"#/$;/"#)%")2#2L9J%1/9;)2)#%$2L9<'7.)(9J/8.#J9"'$2/9Z9)"(.'&/2918"'8.2L9I%$1297@980/9./;/.9

9 S/;)/-/&9)"9X9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9K)"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

dcP?9!";/"#%$@9[[FL9:)2#$)7'#)%"9F/"#/$9TGA+U9H/./<J%"/X939D3W94EW9^E_E999F%2#X9a9W5*559GA9I%$9P8"'8.9999999999a93W*559GA9!"I8"#RH%&&./$9O%$129999999999a9>W*559GA9?8$.@9FJ).&J%%&999999999999999999999999999O%$129

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*'".*/&'R7'$%29 J##<XRR---*'8.$*/&'R($#.&/<#RJ%1/^

*J#199

9 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9VA!9V8$/"#9A#$/229!"&/M9E$&9?&)#)%"99S)(J8$&9S*9+7)&)"L9?&*:*9

9 V8$/"#29-)#J9(J).&$/"980/29%"/91%"#J9Y98&%./2(/"#9

Z9822/22/29<8$/"#92#$/229./;/.9Z9)&/"#)I)/29<8$/"#8.98"&9I81).@9(J8$8(#/$)2#)(29#J8#918@9)1<8(#9&/;/.%<1/"#L9(J).&$/"9-)#J9/1%#)%"8.98"&97/J8;)%$9<$%7./12L98"&9<8$/"#29-J%918@9"//&9J/.<9-)#J9<8$/"#)"092,)..29Z9<8$/"#29(%1<./#/9Q'/2#)%""8)$/9Z9I'..9VA!9(%"2)2#29%I9[)I/9A#$/2292(8./L9FJ).&9:%18)"92(%$/2L9V8$/"#9:%18)"92(%$/2L98"&9H%#8.9A#$/2292(%$/9Z92J%$#9I%$19(%"2)2#29%I9H%#8.9A#$/229A(%$/9&/$);/&9I$%192(8./29I%$9V8$/"#8.9:)2#$/22L9V8$/"#YFJ).&9:@2I'"(#)%"8.9!"#/$8(#)%"L98"&9#J/9:)II)('.#9FJ).&9Z98;8).87./9)"989O$/"(J9F8"8&)8"9?&)#)%"9Z9#$8)")"09$/Q')$/&9#%9)"#/$<$/#9&8#899Z9'2/&97@9<2@(J%.%0)2#2L92%()8.9-%$,/$29

9 S/;)/-/&9)"X9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9

V+S9!"(*9TGA+U9V2@(J%.%0)(8.9+22/221/"#9S/2%'$(/2L9!"(*9H/./<J%"/X9394559EE394ED49O+`X9999999999394559D>D9_E>_999F%2#X9a3WW*559GA99

9

9 9 9 9 9 9 J##<XRR---*<8$)"(*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9A/(#)%"9E9 9 9 A</()8.)h/&9+22/221/"#9H%%.29

H$8)")"09$/Q')$/&9#%98&1)")2#/$9#/2#99 9 9 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 96.%78.9:/;/.%<1/"#8.9+22/221/"#29

9 9 9 9 9 9 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 18: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

QQ!

=:!9=8#/../9:/;/.%<1/"#8.9!";/"#%$@99g/8"9K/-7%$0L9g%J"9S*9A#%(,L9[)"&89C"/,9

9 =)$#J9Y949@/8$29 Z9'2/&9I%$92($//")"0L9&)80"%2)2L9/;8.'8#)%"98"&9<$%0$819&/;/.%<1/"#9Z9<$%;)&/291/82'$/29#J8#98((%'"#9I%$9/1/$0)"09829-/..9829&/;/.%</&92,)..29Z9822/221/"#9)#/129I%$9/8(J9&/;/.%<1/"#8.9&%18)"9Z9)";%.;/29%72/$;8#)%"9%I9(J).&9)"9"8#'$8.92/##)"02L9<8$/"#29)"#/$;)/-2L98"&92#$'(#'$/&9#/2#)"09I%$18#9Z9(8"97/9'2/&97@9#/819%I9<$%I/22)%"8.29%$97@98"9)"&);)&'8.9Z9)"(.'&/29H/2#9!#/19=%%,2L9?M81)"/$\29P8"'8.L9A(%$)"09=%%,./#2L9A($//")"09H/2#L9j)2'8.29

9 S/;)/-/&9)"X9]+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9K)"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,9

S);/$2)&/9V'7.)2J)"099TGA+U9H/./<J%"/X999999394559E>E9_W^59c'#2)&/9%I9GAX939BE59^BD9D5559O+`X99999999999999939BE59^BD9D3_>999F%2#X9a9E4B*559GA9A($//")"09V$%0$819999999999a93B>*559GA9A($//")"09H/2#99

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*$);/$<'7*(%1R<$%&'(#2R(.)")(8.R7&)R#/

(J")(8.*J#1.9J##<XRR---*$);/$<'7*(%1R9 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9=A!:Y!!9=8@./@9A(8./29%I9!"I8"#9:/;/.%<1/"#YA/(%"&9?&)#)%"99K8"(@9=8@./@9

9 391%"#J9Y9E93R>9@/8$29

Z9/;8.'8#/29&/;/.%<1/"#9%I9@%'"09(J).&$/"9Z9<$%;)&/292#8"&8$&)h/&9822/221/"#9%I9(%0")#);/98"&91%#%$92,)..29Z9%I#/"9'#).)h/&9)"9(.)")(9%$9%II)(/92/##)"029Z98..%-29&)80"%2#)(9822/221/"#98#98"9/8$.)/$980/9Z9'2/&97@9</&)8#$)()8"2L9<2@(J%.%0)2#29Z9)"(.'&/29P8"'8.L9A#)1'.'29=%%,./#L9P/"#8.9A(8./9O%$12L9P%#%$9A(8./9O%$12L9=/J8;)%$9S8#)"09A(8./9S/(%$&9O%$12L9j)2'8.9A#)1'.'29F8$&2L9P8<L98"&9P8")<'.8#);/29

9 S/;)/-/&9)"X9]HJ/9HJ)$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9]:'"2#L9F*g*9T3__4U*9S/;)/-9%I9#J/9n=8@./@92(8./29%I9)"I8"#9&/;/.%<1/"#X9A/(%"&9/&)#)%"9T=A!:Y!!Uo*99

d8$(%'$#9+22/221/"#L9!"(*9TGA+U9H/./<J%"/X9394559>3394ED4999F%2#X9a3L5W5*559GA999

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J8$(%'$#822/221/"#*(%19 J8$(%'$#822/221/"#*(%19 99 9 9 9 9 -7<$/22*(%19 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9:?Kj?S9!!99C*b*9O$8",/"7/$0L9g%2)8J9:%&&2L9VJ)..)<9+$(J/$L9=/;/$.@9=$/2")(,L9V8#$)(,9P82J,8L9K%$189?&/.18"L9d%-8$&9AJ8<)$%9

9 =)$#J9Y9B9@/8$29 Z9822/22/29&/;/.%<1/"#8.92#8#'29%I9(J).&$/"9Z9'2/&9829892'$;/)..8"(/98"&91%")#%$)"09)"2#$'1/"#9#%9&/#/$1)"/9)I9&/;/.%<1/"#9)29-)#J)"9"%$18.9$8"0/9Z9'2/&9)"989;8$)/#@9%I92/##)"029Z9'2/I'.9)"9)&/"#)I@)"09)I9I'$#J/$9)";/2#)08#)%"9)29$/Q')$/&9Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9</&)8#$)()8"2L9I81).@9<J@2)()8"2L98"&9(.)")()8"29Z9)"(.'&/29H/2#9O%$12L9H$8)")"09P8"'8.L9H/2#9b)#L9H/(J")(8.9P8"'8.98"&9%<#)%"8.9#$8)")"09;)&/%29

9 S/;)/-/&9)"X9]HJ/9H-/.I#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

:/";/$9:/;/.%<1/"#8.9P8#/$)8.29!"(*9TGA+U9H/./<J%"/X9394559^3_9^D>_9O+`X999999999939E5E9EWW9WB>>999F%2#Xa9_5*559I%$9(%1<./#/92/#99

9

9 9 9 9 9 9 J##<XRR---*&/";/$))*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 19: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

QD!

:/;/.%<1/"#8.9V$%0$811)"09I%$9!"I8"#298"&9N%'"09FJ).&$/"9j%.'1/9>*9?8$.@9!"#/$;/"#)%"9:/;/.%<1/"#8.9V$%I)./9S/;)2/&99A8..@9g*9S%0/$2L9F8$%.9P*9:%"%;8"L9:)8"/9:\?'0/")%L9A$8$9[*9=$%-"L9?./8"%$9CJ)#/2)&/9[@"(JL9P8$#J89A*9P%/$2(J98"&9:*9A'/9A(J8I/$9

9 =)$#J9Y9B591%"#J29

Z9822/22/29#J/9&/;/.%<1/"#9%I9(J).&$/"99Z9)&/"#)I)/298$/829%I92#$/"0#J98"&9"//&9Z9.)",29#%9<$%0$819<.8"")"098"&9)"#/$;/"#)%"29Z9'2/&97@9/&'(8#%$2L9#J/$8<)2#2L98"&9<$%I/22)%"8.29-J%9822/2298"&9I8().)#8#/9#J/9&/;/.%<1/"#9%I9@%'"09(J).&$/"9Z9)"(.'&/29W9j%.'1/29782/&9%"980/9./;/.L9O%$1298"&9A#)1'.8#)%"9+(#);)#)/29

9 S/;)/-/&9)"X9]HJ/9HJ)$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

G");/$2)#@9%I9P)(J)08"9V$/229TGA+U9H/./<J%"/X939DDE9D5>9D5559O+`X999999999939DDE9D5>9D>3>99999F%2#X9a9>*W59GA9</$9O%$19999999999a9>B*_W9GA9j%.*93YE9999999999a93D*_W9GA9j%.*9^YW9999999999a93_*_W9GA9I%$9+(#);)#)/299

9

9 9 9 9 9 9 J##<XRR---*<$/22*'1)(J*/&'R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 96/2/..9:/;/.%<1/"#8.9c72/$;8#)%"9f9A($//")"09Y9HJ/9?8$.@9N/8$2999O$8"(/29[*9!.0L9[%')2/9=8#/29+1/2L9g8(Q'/.)"/9d8)"/298"&9F.@&/96)../2<)/9

9 >9Y9W9@/8$29 Z9<$%;)&/29892#8"&8$&)h/&9<$%(/229I%$9%72/$;)"0L9/;8.'8#)"098"&9$/(%$&)"09(J).&$/"\2\97/J8;)%$9Z9&/#/$1)"/29&/;/.%<1/"#8.9I'"(#)%")"09./;/.9Z9)"I%$18#)%"9(8"97/9'2/&9)"9<$%0$819<.8"")"09Z9)"I%$18#)%"908#J/$/&9#J$%'0J9%72/$;8#)%"L9)"#/$;)/-98"&9Q'8.)#8#);/9822/221/"#9%I9<$%(/22/29Z9'2/&97@9)"#/$;/"#)%")2#2L9/&'(8#%$2L9<2@(J%.%0)2#2L92/$;)(/9<$%;)&/$29Z9)"(.'&/29V$%I)./9AJ//#L9F'7/9+22/221/"#L9!"#/$;)/-9e'/2#)%"2L9V/"().9f9V/"L9!"(%1<./#/9P8"9+22/221/"#2L9V$/<%2)#)%"L9:)0)#L98"&9V)(#'$/9j%(87'.8$@9+22/221/"#2L9F%1<$/J/"2)%"9e'/2#)%"2L9F%.%$9O%$12L9+(#)%"9+0/"#98"&9O%$17%8$&9+22/221/"#2L9!&/"#)I@)"09[/##/$29f9K'17/$29+22/221/"#298"&9P%#%$9+22/221/"#29

9 S/;)/-/&9)"X9]HJ/9K)"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

P%&/$"9[/8$")"09V$/22L9!"(*9TGA+U9H/./<J%"/X9394559B>D9W4BD9O+`X9999999999394449WW49DEW5999F%2#X9a93>D*E59GA9A#8$#9G<9b)#9999999999(%"2'187./918#/$)8.298;8).87./99999999992/<8$8#/.@999

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*'".*/&'R7'$%29 J##<XRR---*1%&./8$"*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9P(F8$#J@9A(8./29%I9FJ).&$/"\29+7).)#)/299:%$%#J/89P(F8$#J@9

9 >93R>9@/8$29Y9493R>9@/8$29

Z91/82'$/29(%0")#);/98"&91%#%$9&/;/.%<1/"#9Z9%7#8)"29897$%8&9<)(#'$/9%I987).)#)/2R2,)..9./;/.9Z92')#87./9I%$9#J/9&)II/$/"#)8.9&)80"%2)29%I9(J).&$/"9$/I/$$/&9I%$9<2@(J%.%0)(8.9/;8.'8#)%"9Z9)"I%$18#)%"908#J/$/&9#J$%'0J9I%$18.9#/2#)"09Z9'2/&97@9<2@(J%.%0)2#29Z9)"(.'&/29P8")<'.8#);/2L9P8"'8.L9S/(%$&9O%$12L98"&9:$8-)"09=%%,./#29

9 S/;)/-/&9)"X9]+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]9]HJ/9K)"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

d8$(%'$#9+22/221/"#L9!"(*9TGA+U9H/./<J%"/X9394559>3394ED4999F%2#X9a9W__*559GA999

9

9 9 9 9 9 9 J8$(%'$#822/221/"#*(%19 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 20: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

QP!

9 9 9 9 9 9 9 9

Page 21: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

QL!

!:%18)"9=82/&9H%%.29

9 9 9 9 9 9 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 9=/J8;)%$9 9 9 9 9 9 9 99 9 9 9 9 9 9 9=?SAY>9=/J8;)%$8.9?1%#)%"8.9S8#)"09A(8./9A/(%"&9?&)#)%"99P)(J8/.9d*9?<2#/)"98"&9g/"")I/$9P*9AJ8$189

9 W9@/8$29p9 Z9822/22/2982</(#29%I9(J).&\297/J8;)%$8.98"&9/1%#)%"8.92#$/"0#J9Z9'2/I'.9)"9)&/"#)I@)"09)"#/$</$2%"8.98"&98II/(#);/92#$/"0#J29Z9'2/&97@9/&'(8#%$2L92%()8.9-%$,/$29Z9,)#9(%"#8)"29?M81)"/$\29P8"'8.L9H/8(J/$\29S8#)"09A(8./2L9V8$/"#\29S8#)"09A(8./2L9N%'#J9S8#)"09A(8./2L98"&9A'118$@9O%$129

9 S/;)/-/&9)"X99]?<2#/)"9/#98.*9T>55^U*9j8.)&)#@98"&9$/.)87).)#@9%I9#J/97/J8;)%$8.98"&9/1%#)%"8.9$8#)"092(8./9T>"&9?&)#)%"U*9S/2/8$(J9%"9A%()8.9C%$,9V$8(#)(/X3^XEW4YEBD9

VScY?:9!"(*9TGA+U9H/./<J%"/X93945594_DYE>5>9O+`X9999999999394559E_D9DBEE999F%2#X9F%1<./#/9b)#9a3^E*559GA9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*<$%/&)"(*(%1R9 J##<XRR---*<$%/&)"(*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9F=F[R393R>YW9FJ).&9=/J8;)%$9FJ/(,.)2#9393R>YW9FYHSO9F8$/0);/$YH/8(J/$9S/<%$#9O%$1R393R>YW99HJ%1829P*9+(J/"78(J99

9 3491%2YW9@/8$29

Z9822/22/298$/829%I92#$/"0#J98"&9"//&9)"97/J8;)%$98"&9.8"0'80/9&/;/.%<1/"#9Z9'2/I'.9)"9)&/"#)I@)"09"//&298"&9$)2,9I8(#%$29I%$9.8"0'80/9&/.8@9Z9'2/&97@9?&'(8#%$2L9A[V\29Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9<8$/"#29%$9(8$/0);/$2R#/8(J/$29(%1<./#/9$8#)"029Z92/#9)"(.'&/29+22/221/"#9:8#89P8"80/$L9F=F[9O%$12L9[8"0'80/9:/;/.%<1/"#9A'$;/@29

9 S/;)/-/&9)"X9]+A?=+9Y99+(J/"78(J9A@2#/19%I9?1<)$)(8..@9=82/&9+22/221/"#2]9]99+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]9]9HJ/9A)M#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

+A?=+9+(J/"78(J9A@2#/19%I9?1<)$)(8..@9=82/&9+22/221/"#29TGA+U9H/./<J%"/X93945>9>B^YB^E>9O+`X99999999993945>9>B^9B^EE999F%2#X9+:P99a3D5*559GA999999999O%$1299a>W*559GA9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*82/78*%$0R9 J##<XRR---*82/78*%$0R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9?F=!9?@7/$09FJ).&9=/J8;)%$9!";/"#%$@99AJ/).89?@7/$0L9VJ*:*9

9 !"I8"#9Y9V$/2(J%%./$99

Z9822/22/29I$/Q'/"(@98"&92/;/$)#@9%I9&)2$'<#);/97/J8;)%$29)"9J%1/98"&92(J%%.9/";)$%"1/"#29Z9822/22/29#J/9/M#/"#9<8$/"#298"&R%$9#/8(J/$29I)"&9#J/97/J8;)%$9#$%'7./2%1/9Z9822)2#29)"9&)2#)"0')2J)"097/J8;)%$9<$%7./129I$%19(%"&'(#Y&)2%$&/$/&97/J8;)%$9Z9'2/&9#%9)&/"#)I@98"&9#$/8#9(J).&$/"9-)#J97/J8;)%$8.9)22'/29Z9<$%;)&/29)"2)0J#29)"#%98&'.#Y(J).&9)"#/$8(#)%"9#J8#9(%'.&9)1<8(#97/J8;)%$9Z9/"87./291%")#%$)"09%I9#$/8#1/"#9<$%0$/2298"&9<$%0$819/;8.'8#)%"9Z9#/2#92J//#29(8"97/9(%1<./#/&97@9<8$/"#9%$9#/8(J/$9%$97@9)"#/$;)/-9Z9'2/&97@9<2@(J%.%0)2#29Z9)"(.'&/29P8"'8.L9H/2#9AJ//#29

9 S/;)/-/&9)"X9]HJ/9O)I#//"#J9P/"#8.9P/82'$/1/"#2]99

V+SL9!"(*9V2@(J%.%0)(8.9+22/221/"#9S/2%'$(/2L9!"(*9TGA+U9H/./<J%"/X9394559EE394ED49O+`X9999999999394559D>D9_E>_999F%2#X9a3W_*559GA9!"#$%&'(#%$@9b)#9

9

Page 22: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

QM!

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*'".*/&'R7'$%29 J##<XRR---*<8$)"(*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9AASA9A%()8.9A,)..29S8#)"09A@2#/199O$8",9P*96$/2J8198"&9A#/<J/"9K*9?..)%#9

9 E9Y9349@/8$29 Z9822/22/29(J).&$/"9-J%9J8;/9<$%7./129-)#J97/J8;)%$98"&9)"#/$</$2%"8.92,)..29Z9<$%;)&/29&)80"%2#)(9)"I%$18#)%"9-)#J9&)$/(#9.)",29#%9)"#/$;/"#)%"9Z9<$%;)&/2989(%1<$/J/"2);/9<)(#'$/9%I92%()8.97/J8;)%$29Z9J829#J$//9$8#)"092(8./29I%$9<8$/"#2L9#/8(J/$298"&92#'&/"#29-J)(J9(8"97/9'2/&9)"&);)&'8..@9%$9#%0/#J/$9Z98..%-29I%$9)"I%$18#)%"9I$%19J%1/L92(J%%.L98"&9(%11'")#@92/##)"029Z92/$)/29%I9Q'/2#)%""8)$/29(%1<./#/&97@9<8$/"#2L9#/8(J/$298"&92#'&/"#29Z9.)",29#%9A%()8.9A,)..29!"#/$;/"#)%"96')&/L9/"87.)"09<$%0$819<.8"")"098"&9/;8.'8#)%"9Z9'2/&97@9<2@(J%.%0)2#29Z9)"(.'&/29e'/2#)%""8)$/2L9+22/221/"#9!"#/$;/"#)%"9S/(%$&2L9P8"'8.9

9 S/;)/-/&9)"X9]HJ/9H-/.I#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

+6A9T+1/$)(8"96')&8"(/9A/$;)(/9!"(*U9V'7.)2J)"09TGA+U9H/./<J%"/X9394559E>49>WB59O+`X9999999999394559^D394^WD999F%2#X99F:!9F%1<./#/9A/#9aBW*_W9GA9

9

9 9 9 9 9 9 J##<XRR---*802"/#*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9H+=A9H/1</$81/"#98"&9+#@<)(8.9=/J8;)%$9A(8./9?8$.@9FJ).&J%%&9!"&)(8#%$29%I9:/;/.%<1/"#8.9:@2I'"(#)%"99A#/<J/"9g*9=80"8#%L9?&*:*L9K*F*A*V*L9g%J"9H*9K/)2-%$#JL9VJ*:*L9g%J"9g*9A8.;)8L9:*?&*L98"&9O$8"(/29P*9d'"#L9VJ*:*9

9 3391%29Y9D391%29

Z9822/22/292%()8.9&/;/.%<1/"#98"&9$/.8#/&97/J8;)%$9Z9)&/"#)I)/29#/1</$81/"#98"&92/.I9$/0'.8#)%"9<$%7./129#J8#9(8"9)"&)(8#/989(J).&\29$)2,9I%$9&/;/.%<1/"#8.9&/.8@9Z9#8$0/#29(J).&$/"9-J%9J8;/9&/.8@29%$9#J%2/9]8#9$)2,]98"&9(8"9822)2#9-)#J92($//")"09I%$92/$;)(/9/.)0)7).)#@9Z9.)",29#%9<$%0$819<.8"")"0L91%")#%$29<$%0$/2298"&9<$%0$819/II/(#);/"/229Z9<8$/"#298"&9/M81)"/$29(%1<./#/9)"&);)&'8.9Q'/2#)%""8)$/29Z9'2/&97@9<2@(J%.%0)2#2L9)"#/$;/"#)%")2#2L92/$;)(/9<$%;)&/$29Z9)"(.'&/29H+=A9A($//"/$L9H+=A9+22/221/"#9H%%.L98"&9H+=A9P8"'8.9

9 S/;)/-/&9)"X99]+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]9]O)$2#9A)0"2]9]!";/2#9)"9b)&29O%'"&8#)%"]9

V8'.9d*9=$%%,/29V'7.)2J)"09F%*L9!"(*9TGA+U9H/./<J%"/X9394559BE49EDDW9O+`X999999999939^359EED94WE_99F%2#X9a4W*559GA9999999999I%$9(%1<./#/9,)#9

9

9 9 9 9 9 9 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9F%0")#)%"R!"#/..)0/"(/9

9 9 9 9 9 9 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 23: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

QF!

?8$.@9A=W9A#8"I%$&Y=)"/#9!"#/..)0/"(/9A(8./29I%$9?8$.@9FJ).&J%%&9W#J9/&)#)%"9968./9d*9S%)&9

9 >9Y9D9@/8$29 Z9822/22/29I%$9&/;/.%<1/"#8.9&)287).)#)/298"&9/M(/<#)%"8.)#)/29Z9I%('2/29%"9(%0")#);/987).)#)/29Z9'2/&9I%$9&)80"%2#)(9<'$<%2/29Z9<$%;)&/29I'"(#)%")"09./;/.9Z9)"I%$18#)%"9'2/&9I%$9)"#/$;/"#)%"9<.8"")"0L9)"&);)&'8.9I81).@9<.8"2L9)"&);)&'8.9/&'(8#)%"8.9<.8"298"&9"/'$%<2@(J%.%0)(8.9/;8.'8#)%"9Z9'2/&97@9<2@(J%.%0)2#29Z9)"(.'&/29?8$.@9A=W9=%%,939f9>L9P8"'8.L9S/(%$&9O%$1L9P8")<'.8#);/2L9FJ).&9F8$&L98"&9[8@%'#9F8$&9

9 S/;)/-/&9)"X9]HJ/9A)M#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

S);/$2)&/9V'7.)2J)"099TGA+U9H/./<J%"/X999999394559E>E9_W^59c'#2)&/9%I9GAX939BE59^BD9D5559O+`X99999999999999939BE59^BD9D3_>999F%2#X9a9EE4*559GA9I%$9b)#9999999999

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 --*'".*/&'R7'$%29 J##<XRR---*$);/$<'7*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9[/)#/$YS9[/)#/$9!"#/$"8#)%"8.9V/$I%$18"(/9A(8./YS/;)2/&9968./9d*9S%)&L9VJ*:*98"&9['(@9g*9P)../$L9VJ*:*9

9 !"I8"(@9Y9+&'.#J%%&9

Z9822/22/29)"#/..)0/"(/98"&9(%0")#);/987).)#)/29Z9"%";/$78.9#/2#9-/..92')#/&9I%$9(J).&$/"9-J%98$/9&/.8@/&L9&)28&;8"#80/&L9"%";/$78.9%$9"%"Y?"0.)2J92</8,)"09Z9<$%;)&/29(%1<./#/9<$%I)./9%I9(%0")#);/92#$/"0#J298"&9-/8,"/22/29Z9'2/I'.9)"9)&/"#)I@)"098$/829I%$9<$%0$819<.8"")"09Z9'2/&97@9<2@(J%.%0)2#29Z9)"(.'&/29P8"'8.L9?82/.9=%%,2L9jS9S/2<%"2/9F8$&2L9P8")<'.8#);/2L9S/(%$&9=%%,./#2L9V8$/"#L9H/8(J/$98"&9?M81)"/$9S8#)"09A(8./2L98"&96$%-#J9V$%I)./9=%%,./#9

9 S/;)/-/&9)"X9]V+S9V$%&'(#9:/2($)<#)%"]9%"9.)"/9]HJ/9O%'$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]99

V+SL9!"(*9V2@(J%.%0)(8.9+22/221/"#9S/2%'$(/2L9!"(*9TGA+U9H/./<J%"/X9394559EE394ED49O+`X9999999999394559D>D9_E>_999F%2#X9a_E_*559GA9I%$9b)#9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 --*'".*/&'R7'$%29 J##<XRR---*<8$)"(*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9HcK!YE9H/2#9%I9K%";/$78.9!"#/..)0/"(/YE99[)"&89=$%-"L9VJ*:*L9S)#89g*9AJ/$7/"%'L9VJ*:*98"&9A'28"9b*9g%J"2/"L9VJ*:*99

9 B9@/8$29Y94B9@/8$29

Z9822/22/29)"#/..)0/"(/L98<#)#'&/L9872#$8(#9$/82%")"098"&9<$%7./192%.;)"09Z9.8"0'80/9I$//9I%$18#9Z9#/2#9-/..92')#/&9I%$9/;8.'8#)"09)"&);)&'8.29-J%98$/9"%";/$78.9Z9I%$18.9822/221/"#9$/Q')$/&9Z9'2/&97@9<2@(J%.%0)2#2L9A[V\29Z9)"(.'&/29P8"'8.L9V)(#'$/9=%%,L9+"2-/$RS/(%$&9O%$129

9 S/;)/-/&9)"X9]9+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]9]!";/2#9)"9b)&29O%'"&8#)%"]9]HJ/9O%'$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9]V$%&'(#9:/2($)<#)%"98#9+6A]9%".)"/9

V+SL9!"(*9V2@(J%.%0)(8.9+22/221/"#9S/2%'$(/2L9!"(*9TGA+U9H/./<J%"/X9394559EE394ED49O+`X9999999999394559D>D9_E>_999F%2#X9a>WB*559GA9I%$9b)#9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*802"/#*(%1R9 J##<XRR---*<8$)"(*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 24: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

QN!

CVVA!Y!!!9C/(J2./$9V$/2(J%%.98"&9V$)18$@9A(8./9%I9!"#/..)0/"(/9Y9HJ)$&9?&)#)%"99:8;)&9C/(J2./$9

9 >9Y9B9@/8$29 Z9822/22/29)"#/..)0/"(/98"&9(%0")#);/987).)#)/29Z9<$%;)&/29)"I%$18#)%"9I%$9&)80"%2)298"&9<.8"")"09Z9<$%;)&/29(J).&9I$)/"&.@92#)1'.'2918#/$)8.29Z9/"080/29(J).&$/"9)"9<.8@Y.),/9#82,29Z9I%$18.9#/2#)"09$/Q')$/&9Z9'2/&97@9<2@(J%.%0)2#29Z9)"(.'&/29P8")<'.8#);/2L9?M81)"/$9P8"'8.L9H/(J")(8.9P8"'8.L9S/(%$&9O%$1298"&9S/2<%"2/9=%%,./#29

9 S/;)/-/&9)"X9]9+22/221/"#9%I9FJ).&$/"9-)#J9A</()8.9K//&2]9]!";/2#9)"9b)&29O%'"&8#)%"]9]HJ/9?./;/"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

d8$(%'$#9+22/221/"#L9!"(*9TGA+U9H/./<J%"/X9394559>3394ED4999F%2#X9a94>W*559GA9I%$9b)#999

9

9 9 9 9 9 9 J8$(%'$#822/221/"#*(%19 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 25: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

QO!

!F%11'")(8#)%"R[8"0'80/9

9 9 9 9 9 9 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 9F?[O9Y9V$/2(J%%.L9A/(%"&9?&)#)%"9F.)")(8.9?;8.'8#)%"9%I9[8"0'80/9O'"&81/"#8.29Y9V$/2(J%%.L9A/(%"&9?&)#)%"99?./8"%$9A/1/.L9?&*:*L9?.)287/#J9d*9C))0L9VJ*:*L98"&9C8@"/9+*9A/(%$&L9VJ*:*9

9 E9Y9B9@/8$29 Z9822/22/29.8"0'80/9%I9<$/2(J%%.980/&9(J).&$/"9Z9)"(.'&/2989<$/Y.)#/$8(@92(8./98"&9<J%"%.%0)(8.98-8$/"/2292'7#/2#9Z9<$8018#)(29<$%I)./9&/2($)7/29(J).&\29'2/9%I9.8"0'80/98#9J%1/9%$92(J%%.9Z9<)(#'$/9782/&9#/2#)"09)"9(.)")(92/##)"09Z9'2/&97@9A[V\29Z9)"(.'&/29?M81)"/$\29P8"'8.L9S/(%$&9O%$12L9A#)1'.'29=%%,9q39f9q>9

9 S/;)/-9</"&)"09)"X9]HJ/9A/;/"#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

d8$(%'$#9+22/221/"#L9!"(*9TGA+U9H/./<J%"/X9394559>3394ED4999F%2#X9a9>_W*559GA9I%$9b)#999

9

9 9 9 9 9 9 J8$(%'$#822/221/"#*(%19 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9FA=A9:V9F%11'")(8#)%"98"&9A@17%.)(9=/J8;)%$9A(8./29:/;/.%<1/"#8.9V$%I)./99+1@9P*9CJ/#J/$7@L9VJ*:*L9FFFYA[VL98"&9=8$$@9P*9V$)h8"#L9VJ*:*L9FFFYA[V9

9 B91%"#J29Y9B9@/8$29

Z92($//"298"&9/;8.'8#/29#J/9(%11'")(8#);/9(%1</#/"(/9%I9(J).&$/"9-)#J9I'"(#)%"8.9(%11'")(8#)%"980/97/#-//"9B9Y9>^91%"#J29Z9)&/"#)I)/29(J).&$/"98#9$)2,9I%$9&/.8@9%$9&)287).)#@9Z918@97/9'2/&9829892#8$#)"09<%)"#9I%$9<.8"")"09Z9)&/"#)I)/29(%11'")(8#)%"98$/829#J8#9"//&9I'$#J/$9822/221/"#9Z9/;8.'8#/29(J8"0/29)"9(J).&\297/J8;)%$9%;/$9#)1/9Z9J/.<29&/#/$1)"/9/II)(8(@9%I9)"#/$;/"#)%"9Z9)"(.'&/29%72/$;8#)%"L9#/2#)"0L98"&9Q'/2#)%""8)$/29I%$9<8$/"#2Z9'2/&97@9A[V\29Z9)"(.'&/29!"I8"#9H%&&./$9FJ/(,.)2#L9F8$/0);/$9e'/2#)%""8)$/L9=/J8;)%$9A81<./L9P8"'8.98"&9j)&/%L9H%@9b)#9%<#)%"8.9

9 S/;)/-/&9)"X9]FA=A9:V9V$%&'(#9!"I%$18#)%"]9%".)"/9

V8'.9d*9=$%%,/29V'7.)2J)"09F%*L9!"(*9TGA+U9H/./<J%"/X9394559BE49EDDW9O+`X999999999939^359EED94WE_99F%2#X9aE__*559GA9999999999I%$9(%1<./#/9,)#9)"(.'&)"09#%@29

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R9 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9?jH9?M<$/22);/9j%(87'.8$@9H/2#99b8#J.//"9H*9C)..)8129

9 >9Y9B9@/8$29#%98&'.#J%%&9

Z9822/22/29/M<$/22);/9;%(87'.8$@98"&9-%$&9$/#$)/;8.9Z9)&/"#)I)/29&/.8@29)"9.8"0'80/9&/;/.%<1/"#9Z9/M81)"/29/M<$/22);/98"&9$/(/<#);/9.8"0'80/92,)..29Z9<)(#'$/9782/&9Z98&1)")2#/$/&9)"&);)&'8..@9)"9(.)")(92/##)"09Z9'2/&97@9A[V\29Z9)"(.'&/29H/2#9?82/.L9P8"'8.L98"&9S/(%$&9O%$129

9 S/;)/-/&9)"X9]+6A9V$%&'(#9:/2($)<#)%"k9?jH]9%"9.)"/9

A'</$9:'</$9V'7.)(8#)%"29TGA+U9H/./<J%"/X955394B^9>449EWEB9O+`X999999999955394B^9>449EE4599F%2#X9a93B5*559GA9I%$9b)#9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*802"/#*(%1R9 J##<XRR---*2'</$&'</$)"(*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 26: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

QI!

P8(+$#J'$Y9=8#/29F:!29P8(+$#J'$9Y9=8#/29F%11'")(8#);/9:/;/.%<1/"#8.9!";/"#%$)/2k9C%$&29f96/2#'$/2R9C%$&29f9A/"#/"(/299:%""89g8(,2%"YP8.&%"8&%L9VJ*:*L9?.)h87/#J9=8#/2L9VJ*:*L98"&9:%""89g*9HJ8.L9VJ*:*999

9 49Y9E591%"#J29 Z9822/22/298"&92($//"29.8"0'80/98"&9(%11'")(8#)%"92,)..29Z9%72/$;/29)"I8"#298"&9@%'"09(J).&$/"\297/J8;)%$298"&928.)/"#9/1/$0)"097/J8;)%$29Z9<8$/"#298$/982,/&9#%9$/(%$&9#J/9(%11'")(8#);/90/2#'$/298"&R%$9-%$&98"&R%$92/"#/"(/9<$%&'(#)%"9Z9)"I%$18#)%"9)298"8.@h/&98((%$&)"09#%92/18"#)(9(8#/0%$)/2L9(%1<$/J/"2)%"L9/8$.@9<J82/29%I90$8118$98"&9(%1<./M)#@9%I9-%$&R2/"#/"(/9I%$18#)%"9Z9I%$1298$/9(%1<./#/&97@9<8$/"#29%$9(8$/0);/$29Z98;8).87./9)"9?"0.)2J98"&9)"9A<8")2J9I%$129/"#)#./&9]!";/"#8$)%2]9Z9'2/&97@9A[V\29Z9)"(.'&/29F:!X9C%$&298"&96/2#'$/29O%$12L9F:!X9C%$&298"&9A/"#/"(/29O%$12L9G2/$\296')&/98"&9H/(J")(8.9P8"'8.9

9 S/;)/-/&9)"X9]HJ/9HJ)$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

V8'.9d*9=$%%,/29V'7.)2J)"09F%*L9!"(*9TGA+U9H/./<J%"/X9394559BE49EDDW9O+`X999999999939^359EED94WE_99F%2#X9a_5*559GA9</$9.8"0'80/99999999999

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*'".*/&'R7'$%29 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9VVjHY!!!9V/87%&@9V)(#'$/9j%(87'.8$@9H/2#9Y9HJ)$&9?&)#)%"99[.%@&9P*9:'""98"&9[/%#89P*9:'""999

9 >9Y9B9@/8$29#J$%'0J98&'.#J%%&9

Z91/82'$/29$/(/<#);/9;%(87'.8$@98"&92($//"29;/$78.987).)#@9Z9)&/"#)I)/298$/829%I9"//&9Z9822)2#29-)#J9)"&);)&'8.9<$%0$819<.8"")"09Z9<8$/"#29./##/$298;8).87./9)"9?"0.)2J98"&9A<8")2J9/M<.8)"29<$%(/229Z9'2/&97@9A[V\29Z9)"(.'&/29V)(#'$/29V.8#/2L9K%$129=%%,./#2L9?M81)"/$\29P8"'8.L9V/$I%$18"(/9S/(%$&2L9[/##/$9#%9V8$/"#298"&9S/<%$#9#%9V8$/"#29

9 S/;)/-/&9)"X9]+22/221/"#9%I9FJ).&$/"9-)#J9A</()8.9K//&2]9]!";/2#9)"9b)&29O%'"&8#)%"]9]HJ/9O%'$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]99

+6A9T+1/$)(8"96')&8"(/9A/$;)(/9!"(*U9V'7.)2J)"09TGA+U9H/./<J%"/X9394559E>49>WB59O+`X9999999999394559^D394^WD999F%2#X99a>__*__9GA9I%$9I%$1298"&9#/2#9,)#29

9

9 9 9 9 9 9 J##<XRR---*802"/#*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9V[AY^9?"0.)2J9?&)#)%"9V$/2(J%%.9[8"0'80/9A(8./L9O%'$#J9?&)#)%"L9?"0.)2J9?&)#)%"99!$)89[//9r)11/$18"L9VJ*:*L9j)%./##/96*9A#/)"/$L9=*A*98"&9S%7/$#89?;8##9V%"&L9P*+*9

9 =)$#J9Y9B*339@/8$29

Z91/82'$/29@%'"09(J).&$/"\29$/(/<#);/98"&9/M<$/22);/9.8"0'80/9Z9)&/"#)I)/298$/89%I9"//&98"&9('$$/"#92,)..29Z9822)2#29-)#J9)"&);)&'8.9<$%0$819<.8"")"099Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9A[V\29Z9)"(.'&/29?M81)"/$\29P8"'8.L9P8")<'.8#);/2L9V)(#'$/9P8"'8.L9V[AY^9=/8$9=8(,<8(,L9S/(%$&9O%$129

9 S/;)/-/&9)"X9]d8$(%'$#9+22/221/"#9V$%&'(#9:/2($)<#)%"R9H/(J")(8.9S/<%$#]9%".)"/9

d8$(%'$#9+22/221/"#L9!"(*9TGA+U9H/./<J%"/X9394559>3394ED4999F%2#X9a9>BW*559GA9I%$9b)#9999999999-)#J918")<'.8#);/299

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J8$(%'$#822/221/"#*(%19 J8$(%'$#822/221/"#*(%19 9

Page 27: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

DJ!

9 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9S??[9E9S/(/<#);/9Y9?M<$/22);/9?1/$0/"#9[8"0'80/9H/2#9Y9HJ)$&9?&)#)%"99b/""/#J9S*9=h%(JL9S)(J8$&9[/80'/98"&9j)$0)")89[*9=$%-"9

9 =)$#J9Y9E9@/8$29 Z9822/22/29$/(/<#);/9.8"0'80/98"&9/M<$/22);/9.8"0'80/9Z9)&/"#)I)/29)"I8"#298"&9#%&&./$29-J%9J8;/9.8"0'80/9)1<8)$1/"#29%$9-J%9J8;/9%#J/$9&)287).)#)/29#J8#9/II/(#9.8"0'80/9Z9(8"97/9'2/&982989<.8"")"09)"2#$'1/"#9)"9?8$.@9FJ).&J%%&9!"#/$;/"#)%"9<$%0$8129Z9)"I%$18#)%"9%7#8)"/&9I$%19<8$/"#R9(8$/0);/$9)"#/$;)/-9Z9'2/&97@9A[V\299Z9)"(.'&/29?M81)"/$\29P8"'8.L9V$%I)./R?M81)"/$9S/(%$&9=%%,./#9

9 S/;)/-/&9)"X9]9+6A9V$%&'(#9:/2($)<#)%"]9%".)"/9

+6A9T+1/$)(8"96')&8"(/9A/$;)(/9!"(*U9V'7.)2J)"09TGA+U9H/./<J%"/X9394559E>49>WB59O+`X9999999999394559^D394^WD999F%2#X99a944*559GA9I%$9(%1<./#/9,)#9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*802"/#*(%1R9 J##<XRR---*802"/#*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9HJ/9S%22/##)9!"I8"#9Y9H%&&./$9[8"0'80/9A(8./99T8"&9O%$12U99[%')29S%22/##)9

9 =)$#J9Y9E9@/8$29 Z9822/22/29<$/;/$78.98"&9;/$78.98$/829%I9(%11'")(8#)%"98"&9)"#/$8(#)%"9Z9<$%;)&/298"9%;/$;)/-9%I9#J/9(J).&\29&/;/.%<1/"#9Z9#/2#9$/2'.#29.)",9#%9#$/8#1/"#9<.8"9Z9<$%;)&/29(8$/0);/$29-)#J9)"I%$18#)%"9%"9J%-9(%11'")(8#)%"9$/.8#/29#%9&/;/.%<1/"#9Z91%")#%$29/[email protected]"0'80/9&/;/.%<1/"#9Z9)";%.;/29%72/$;8#)%"L9)"#/$8(#)%"9#%9/.)()#97/J8;)%$L98"&9<8$/"#9$/<%$#9Z9'2/&97@9A[V\29Z9)"(.'&/29A(8./98"&9O%$129

9 S/;)/-/&9)"X9K%92</()I)(9$/;)/-9)&/"#)I)/&9

[)"0')A@2#/12L9!"(*9TGA+U9H/./<J%"/X9394559DDB9^EE>9O+`X9999999999394559WDD9^WWW999F%2#X9aD_*_W9GA9

9

9 9 9 9 9 9 J##<XRR---*.)"0')2@2#/12*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9AV+HY:!!9A#$'(#'$/&9VJ%#%0$8<J)(9+$#)('.8#)%"9H/2#9!!99g8"/#9:8-2%"L9VJ*:*98"&9V8#9H8##/$28..L9P*+*9

9 E9Y9_9@/8$29 Z9822/22/29@%'"09(J).&$/"\298$#)('.8#)%"9Z9)&/"#)I)/298$/829%I9(%"(/$"9)"9(%"2%"8"#92)"0./#%"2L97./"&298"&9<J%"%.%0)(8.9<$%(/22/29Z9'2/&97@9A[V\29Z9)"(.'&/29H/2#9P8"'8.L9=%'"&9VJ%#%9+.7'1L9[)2#9%I9?.)()#)"09A#8#/1/"#2L9S/2<%"2/9O%$129

9 S/;)/-/&9)"X9]A<8#Y:9!!9V$%&'(#9:/2($)<#)%"RV$%&'(#9S/;)/-]9%".)"/9

A'</$9:'</$9V'7.)(8#)%"29TGA+U9H/./<J%"/X955394B^9>449EWEB9O+`X999999999955394B^9>449EE4599F%2#X9a93^5*559GA9I%$9b)#9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*2'</$&'</$)"(*(%1R9 J##<XRR---*2'</$&'</$)"(*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 28: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

DQ!

!P%#%$X9O)"/98"&96$%229 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9=//$@9jP!9HJ/9=//$@Y=',#/")(89:/;/.%<1/"#8.9H/2#9%I9j)2'8.9Y9P%#%$9!"#/0$8#)%"9W#J9?&)#)%"99b/)#J9?*9=//$@L9VJ*:*L9K%$18"9+*9=',#/")(8L98"&9K8#82J89+*9=//$@99

9 >9Y9349@/8$29AJ%$#9O%$19>9Y949@/8$29

Z9822/22/29#J/9/M#/"#9#%9-J)(J9(J).&$/"9(8"9)"#/0$8#/91%#%$987).)#)/29Z92($//"298"&9)&/"#)I)/291%#%$9&/I)()#29#J8#9(8"9./8&9#%9./8$")"0L9"/'$%<2@(J%.%0)(8.L98"&97/J8;)%$9<$%7./129Z9(8"9)&/"#)I@98$/829#J8#9$/Q')$/9I'$#J/$9)";/2#)08#)%"98"&9$/I/$$8.9#%9"//&/&92/$;)(/29Z9)"&);)&'8.)h/&9822/221/"#9<$/2/"#29&$8-)"029%I9I%$129<$/2/"#/&9)"9%$&/$9%I9)"($/82)"09&)II)('.#@9Z9.)",29#%9H/8(J)"09P8#/$)8.29A#8$#/$9b)#9Z9'2/&97@9<2@(J%.%0)2#2L9cH\2L9./8$")"09&)287).)#@92</()8.)2#2L9/&'(8#%$29Z9)"(.'&/29P8"'8.L9O'..98"&9AJ%$#9O%$12L9j)2'8.9V/$(/<#)%"9O%$1298"&9P%#%$9O%$129

9 S/;)/-/&9)"X9]b/@9O/8#'$/2RK%$129!&/"#)I)/&9)"9V$%&'(#9:/2($)<#)%"]9%"9.)"/9K%92</()I)(9$/;)/-9)&/"#)I)/&9

V/8$2%"9+22/221/"#299H/./<J%"/X9394559B>D9D>D3L9/M#*9E>>W999F%2#X9a935>*559GA9I%$9A#8$#/$9b)#9

9

9 9 9 9 9 9 ---</8$2%"822/221/"#2*(%19 99 9 9 9 9 9 9 9HJ/9P).8")YF%1<8$/##)9P%#%$9:/;/.%<1/"#8.9A($//")"09H/2#9I%$9!"I8"#298"&9N%'"09FJ).&$/"99C8@"/9A#'7/$0L9VJ*:*L9V*H*L9V*F*A*L9V819:/J"/L9P*A*L9V*H**L9g)19P)/&8"/$L9P*A*L9V*H*98"&9V/"")9S%1/$%L9P*A*L9V*H*9

9 =)$#J9Y9>9@/8$29 Z9822/22/291%#%$9&/;/.%<1/"#9)"9)"I8"#298"&9@%'"09(J).&$/"9Z98./$#29(.)")()8"29#%9&/;)8#)%"29)"91%#%$9&/;/.%<1/"#9Z9<$%;)&/298"9%;/$;)/-9%I90$%2291%#%$92#8#'297@9/M81)")"09#J/9)"#/0$8#)%"9%I9<$)1)#);/9$/I./M/298"&9#J/9/1/$0/"(/9%I9<'$<%2/I'.91%;/1/"#9Z9'2/&9)"9(.)")(8.92/##)"097@9VH\2L9"/%"8#%.%0)2#2L9"/'$%.%0)2#29Z9)"(.'&/29H/2#9P8"'8.L9j)&/%#8</L98"&9A(%$/9AJ//#9

9 S/;)/-/&9)"X9]HJ/9?./;/"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

P'"$%/YP/@/$9!"2#)#'#/9I%$96/"/#)(298"&9S/J87).)#8#)%"9G");/$2)#@9%I9K/7$82,89P/&)(8.9F/"#/$9TGA+U9H/./<J%"/X9394559BWB9E_ED9O+`X999999999939^5>9WW_9WDED999F%2#X9a9__*559I%$9b)#9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*'".*/&'R7'$%29 J##<XRR---*'"1(*/&'R11)R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9V:PAY>9V/87%&@9:/;/.%<1/"#9P%#%$9A(8./299P*SJ%"&89O%.)%98"&9S/7/((89S*9O/-/..9

9 =)$#J9Y9W9@/8$29 Z9822/22/290$%2298"&9I)"/91%#%$92,)..29)"9&/#8).9Z9.)",29#%9#$8)")"09%$9$/1/&)8#)%"9%I90$%2298"&9I)"/91%#%$98(#);)#)/2918"'8.9Z92(%$/9<$%;)&/296$%229P%#%$9e'%#)/"#L9O)"/9P%#%$9e'%#)/"#L98"&9H%#8.9P%#%$9e'%#)/"#9Z9'2/&97@9cH\2L9VH\2L9)"#/$;/"#)%")2#29Z9,)#9)"(.'&/2918"'8.L9<$%I)./R2'118$@9I%$12L9$/(%$&97%%,./#2L98&1)")2#$8#)%"*98"&92(%$)"090')&/L9V/87%&@9P%#%$9+(#);)#)/29V$%0$819P8"'8.L9/M81)"/$R$/(%$&9I%$12L9V/87%&@9P%#%$9:/;/.%<1/"#9FJ8$#L918")<'.8#);/29

9 S/;)/-/&9)"X9]HJ/9?./;/"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9]!";/2#9)"9b)&29O%'"&8#)%"]9

d8$(%'$#9+22/221/"#L9!"(*9TGA+U9H/./<J%"/X9394559>3394ED4999F%2#X9a^EE*559GA999

9

9 9 9 9 9 9 J8$(%'$#822/221/"#*(%19 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9HjPA9Y9S9H/2#9%I9j)2'8.YP%#%$9A,)..29Y9S/;)2/&999P%$$)2%"9O*968$&"/$9

9 E9Y93^9@/8$29 Z9822/22/29;)2'8.9Y91%#%$987).)#)/29Z9)&/"#)I)/292#$/"0#J298"&9-/8,"/22/29)"9;)2'8.Y1%#%$9I'"(#)%"29Z9822)2#29-)#J9<$%0$819<.8"")"09Z9'2/&97@9cHL9#/8(J/$2L9<2@(J%.%0)2#2L9</&)8#$)()8"2L9"/'$%.%0)2#2L9A[V9Z9)"(.'&/29P8"'8.L9H/2#9=%%,./#2L9A(%$)"0YF$)#/$)%"9O%$129

9 S/;)/-/&9)"X9K%92</()I)(9$/;)/-9)&/"#)I)/&9

A.%22%"9?&'(8#)%"8.9V'7.)(8#)%"9!"(*9:/<#*A9TGA+U9H/./<J%"/X9394559DWB9DDBB9O+`X9999999999394559BWW9E4^599F%2#X99a9_5*559GA9

9

9 9 9 9 9 9 J##<XRR---*2.%22%"*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9A/"2%$@9 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9!"I8"#RH%&&./$9A/"2%$@9V$%I)./99C)"")/9:'""L9VJ*:*L999c*H*S*L9O+cH+9

9 =)$#J9Y9E9@/8$29 Z91/82'$/298"9)"I8"#\292/"2%$@9<$%(/22)"0987).)#)/29Z9/M81)"/29<8##/$"9)"9(J).&$/"9-J%98$/98#9$)2,9%$9J8;/92</()I)(9&)287).)#)/29Z9J/.<29<$%I)./9#J/9/II/(#29%I92/"2%$@9<$%(/22)"09%"9I'"(#)%"8.9</$I%$18"(/9Z9Q'/2#)%""8)$/9(%1<./#/&97@9<8$/"#R(8$/0);/$9Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9cH\29Z9)"(.'&/29G2/$\29P8"'8.L9F8$/0);/$9e'/2#)%""8)$/2L98"&9A'118$@9A(%$/9AJ//#29

9 S/;)/-/&9)"X9K%92</()I)(9$/;)/-9)&/"#)I)/&9

d8$(%'$#9+22/221/"#L9!"(*9TGA+U9H/./<J%"/X9394559>3394ED4999F%2#X9a3^_*559GA9I%$9(%1<./#/9,)#999

9

9 9 9 9 9 9 J8$(%'$#822/221/"#*(%19 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 29: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

DD!

PjVHYE9P%#%$YO$//9j)2'8.9V/$(/<#)%"9H/2#YE99S%"8.&9S*9F%.8$'22%L9?&*:*98"&9:%"8.&9:*9d811)..L9?&*:*99

9 ^9@/8$29#%98&'.#J%%&9

Z9822/22/29;)2'8.Y</$(/<#)%"9-)#J9"%91%#%$9)";%.;/1/"#9"//&/&9#%918,/989$/2<%"2/9Z9'2/I'.9-)#J9#J%2/9-)#J9./8$")"0L91%#%$9%$9(%0")#);/9&)287).)#)/29Z9'2/&982989&)80"%2#)(9#%%.9Z9)&/"#)I)/298$/829I%$9<$%0$819<.8"")"09Z9%I#/"9'2/&9)"9$/J87).)#8#)%"92/##)"029Z9'2/&97@9cH\2L9<2@(J%.%0)2#2L9/&'(8#%$29Z9)"(.'&/29P8"'8.L9H/2#9V.8#/298"&9S/(%$&)"09O%$1299

9 S/;)/-/&9)"X9]HJ/9A)M#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

V+SL9!"(*9V2@(J%.%0)(8.9+22/221/"#9S/2%'$(/2L9!"(*9TGA+U9H/./<J%"/X9394559EE394ED49O+`X9999999999394559D>D9_E>_999F%2#X9a3>W*559GA9I%$9b)#9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 --*'".*/&'R7'$%29 J##<XRR---*<8$)"(*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9A/"2%$@9V$%I)./99C)"")/9:'""L9VJ*:*L999c*H*S*L9O+cH+9

9 E9Y9359@/8$29 Z9822/22/29J%-9-/..9(J).&$/"9<$%(/2292/"2%$@9)"I%$18#)%"9Z9<$%I)./29#J/92/"2%$@92@2#/1\29/II/(#9%"9I'"(#)%"8.9</$I%$18"(/9Z9<$%;)&/2989(%1<$/J/"2);/9<)(#'$/9%I989(J).&\29</$I%$18"(/9Z9822)2#29-)#J9&)80"%2)298"&9)"#/$;/"#)%"9<.8"")"09Z9<$%I)./9(%1<./#/&97@9<8$/"#2R(8$/0);/$29Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9cH\29Z9)"(.'&/29G2/$\29P8"'8.L9F8$/0);/$9e'/2#)%""8)$/2L9AJ%$#9A/"2%$@9V$%I)./9AJ//#2L98"&9A'118$@9A(%$/9AJ//#29

9 S/;)/-/&9)"X9]HJ/9A)M#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

d8$(%'$#9+22/221/"#L9!"(*9TGA+U9H/./<J%"/X9394559>3394ED4999F%2#X9a3^_*559GA9I%$9(%1<./#/9,)#999

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 --*'".*/&'R7'$%29 J8$(%'$#822/221/"#*(%19 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9HjVA9T"Y1U9Y9S9H/2#9%I9j)2'8.YV/$(/<#'8.9A,)..29T9"%"Y1%#%$U9YS/;)2/&99P%$$)2%"9O*968$&"/$L9?&*:*9

9 ^9Y93E9@/8$29 Z9822/22/29;)2'8.Y</$(/<#)%"987).)#)/299Z9)&/"#)I)/292#$/"0#J298"&9-/8,"/22/29Z9.%-9I'"(#)%")"09)"92($//"/&98$/829(%'.&9)&/"#)I@9&)II)('.#)/29)"9./8$")"09#%9$/8&9%$92</..9Z9"%"Y.8"0'80/9#/2#9I%$18#9Z9'2/I'.9-)#J9(J).&$/"9-J%9J8;/9&)II)('.#)/29'"&/$2#8"&)"09;/$78.9&)$/(#)%"2L9'"87./9#%9J/8$L9?A[L9%$9&)287).)#)/29#J8#98$/9/II/(#/&[email protected]"0'80/9'2/9Z9/M81)"/$9(8"90);/9&)$/(#)%"297@9<8"#%1)1/9%$90/2#'$/29Z9'2/&97@9cH\2L9<2@(J%.%0)2#2L9./8$")"092</()8.)2#2L9/&'(8#%$29

9 S/;)/-/&9)"9X9K%92</()I)(9$/;)/-9)&/"#)I)/&9P8"'8.9(%"#8)"29)"I%$18#)%"9%"9A#8"&8$&)h8#)%"Rj8.)&)#@9

V+SL9!"(*9V2@(J%.%0)(8.9+22/221/"#9S/2%'$(/2L9!"(*9TGA+U9H/./<J%"/X9394559EE394ED49O+`X9999999999394559D>D9_E>_999F%2#X9a3>W*559GA9I%$9b)#9

9

9 9 9 9 9 9 J##<XRR---*<8$)"(*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9?#)%.%0@R:)287).)#@9=82/&9H%%.29

9 9 9 9 9 9 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 9+=[[A9HJ/9+22/221/"#9%I9=82)(9[8"0'80/98"&9[/8$")"09A,)..299g81/29C*9V8$&)"0#%"98"&9P8$,9[*9A'"&7/$09

9 FJ).&$/"9-)#J9[8"0'80/9&/.8@29Y9"%92</()I)(980/9$8"0/9)&/"#)I)/&9

Z9822/22/29(J).&$/"9-)#J9.8"0'80/9&/.8@29(%11'")(8#)%"98"&9./8$")"092,)..29Z9)&/"#)I)/29&/I)()#29)"9%$&/$9#%9/2#87.)2J989782/.)"/98"&92#$'(#'$/98"9)"&);)&'8.)h/&9<$%0$819<.8"9Z9.)",29#%9+=[[A9V$%#%(%.9('$$)('.'19Z9I$/Q'/"#.@9'2/&9-)#J9(J).&$/"9-)#J9+'#)219Z99(%"#8)"29#82,98"8.@2)29%I92,)..29"/(/228$@9I%$9(%11'")(8#)%"98"&9./8$")"09)"9/;/$@&8@9/M</$)/"(/29Z99#$8(,29(J).&\29<$%0$/229Z9'2/&97@9/&'(8#%$2L9)"#/$;/"#)%")2#2L9<2@(J%.%0)2#2L9A[V\2L92/$;)(/9<$%;)&/$29Z9+=[[A9!"#$%&'(#%$@9A/#9)"(.'&/29#-%97%%,92/#k9+=[[A96')&/98"&9+=[[A9V$%#%(%.9k9(%1<./#/9+=[[A9V$%0$819b)#9)"(.'&/29#/8(J)"0918#/$)8.29

9 S/;)/-/&9)"X9K%92</()I)(9$/;)/-9)&/"#)I)/&9

:)II/$/"#9S%8&29#%9[/8$")"09TGA+U9H/./<J%"/X93945594WE935WD9O+`X9999999999394559E3D9_3^W999F%2#X9a9W_*559!"#$%&'(#%$@9A/#9999999999a9D_W*559F%1<./#/9b)#9

9

9 9 9 9 9 9 J##<XRR---*&)II./8$"*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 30: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

DP!

+:!YS9+'#)219:)80"%2#)(9!"#/$;)/-L9S/;)2/&99P)(J8/.9S'##/$L9P*:*L9OSAL9+""/9[/F%'#/'$L9P*=*=*A*98"&9F8#J/$)"/9[%$&L9VJ*:*9

9 FJ).&$/"9-)#J91/"#8.980/987%;/9>*59@/8$29#%98&'.#29

Z9822/22/29)"&);)&'8.29-J%98$/92'2</(#/&9%I9J8;)"098'#)219%$9%#J/$98'#)2192</(#$'19&)2%$&/$29Z9'2/I'.9I%$9&)80"%2)298"&9#$/8#1/"#9R9/&'(8#)%"8.9<.8"")"09Z9(.)")()8"9)"#/$;)/-29<8$/"#R(8$/0);/$9%"9&/;/.%<1/"#8.9J)2#%$@98"&9('$$/"#97/J8;)%$9Z9)"I%$18#)%"9I%$19)"#/$;)/-9<$%;)&/29(8#/0%$)(8.9$/2'.#29'2/&9#%92'<<%$#989&)80"%2)29%I98'#)219Z9&)II/$/"#)8#/29&)80"%2)29%I98'#)219I$%19%#J/$9&/;/.%<1/"#8.9&)2%$&/$29Z9'2/&97@9<2@(J%.%0)2#2L9/M</$)/"(/&9(.)")(8.9)"#/$;)/-/$9Z9)"(.'&/29!"#/$;)/-9=%%,./#2L9P8"'8.L9F'$$/"#9=/J8;)%$9+.0%$)#J12L9:)80"%2#)(9+.0%$)#J129

9 S/;)/-/&9)"X9]+'#)2196/"/#)(9S/2%'$(/9?M(J8"0/]9%".)"/9

C/2#/$"9V2@(J%.%0)(8.9A/$;)(/29TGA+U9H/./<J%"/X9394559B^4944WD9O+`X999999999939E359^D49D4E4999F%2#X9A3DW*559GA9I%$9b)#9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*80$/*%$0R9 J##<XRR---*-<2<'7.)2J*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9+:cA9+'#)219:)80"%2#)(9c72/$;8#)%"9A(J/&'./99F8#J/$)"/9[%$&L9VJ*:*L9P)(J8/.9S'##/$L9P*:*L9OSAL9V81/.89F*9:)[8;%$/L9VJ*:*L98"&9A'28"9S)2)L9VJ*:*9

9 H%&&./$29#%98&'.#29 Z9/;8.'8#/29)"&);)&'8.292'2</(#/&9%I9J8;)"098'#)219Z92/1)92#$'(#'$/&9822/221/"#9'2/&9I%$9&)80"%2)29%I9</$;82);/9&/;/.%<1/"#8.9&)2%$&/$29Z98..%-29I%$9%72/$;8#)%"9%I92%()8.R(%11'")(8#)%"97/J8;)%$29#J$%'0J9I$//9<.8@98"&9<.8""/&9)"#/$8(#)%"29Z9&);)&/&9)"#%91%&'./29782/&9%"9./;/.29%I92<//(J9Z9'2/&97@9<2@(J%.%0)2#2L9(.)")()8"29#$8)"/&9)"9+:cA98&1)")2#$8#)%"9Z9)"(.'&/29c72/$;8#)%"RF%&)"09=%%,./#2L9P8"'8.L9H/2#9P8#/$)8.29

9 S/;)/-/&9)"X9]+'#)2196/"/#)(9S/2%'$(/9?M(J8"0/]9%".)"/9

C/2#/$"9V2@(J%.%0)(8.9A/$;)(/29TGA+U9H/./<J%"/X9394559B^4944WD9O+`X999999999939E359^D49D4E4999F%2#X9A3E^W*559GA9I%$9b)#9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*80$/*%$0R9 J##<XRR---*-<2<'7.)2J*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9+A!?VY>9+'#)219A($//")"09I%$9?&'(8#)%"8.9V.8"")"09Y9>99:8;)&9b$'0L9g%/.9+$)(,98"&9V8#$)()89+.1%"&9

9 3491%"#J29Y98&'.#29 Z9822/22/297/J8;)%$297@98$/829)"(.'&)"092/"2%$@L9;%(8.L9)"#/$8(#)%"L9(%11'")(8#)%"L98"&9./8$")"09$8#/9Z9<$%;)&/29<$%I)./9%I987).)#)/29Z9'2/I'.9)"9)"&);)&'8.9/&'(8#)%"9<$%0$819<.8"")"09Z9'2/&97@9/&'(8#%$2L9<2@(J%.%0)2#2L9)"#/$;/"#)%")2#29Z9)"(.'&/29?M81)"/$\29P8"'8.L9O%$129I%$9/8(J9%I9#J/9I);/98$/829822/22/&L9+A!?VY>9H%@2L9H$8@L9P8")<'.8#);/298"&9A#8"&9

9 S/;)/-/&9)"X9]+22/221/"#9%I9FJ).&$/"98"&9N%'#J9-)#J9A</()8.9K//&2]9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9HJ)$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

VScY?:9!"(*9TGA+U9H/./<J%"/X93945594_DYE>5>9O+`X9999999999394559E_D9DBEE999F%2#X9F%1<./#/9b)#9a>5^*559GA9

9

9 9 9 9 9 9 J##<XRR---*<$%/&)"(*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9F+SA9FJ).&J%%&9+'#)219S8#)"09A(8./99?$)(9A(J%<./$L9VJ*:*L9S%7/$#9g*9S/)(J./$L9P*:*98"&9=8$78$89S%(J%"9S/""/$L9VJ*:*9

9 >9@/8$2998"&9%;/$9 Z9822/22/297/J8;)%$9%I9(J).&$/"92'2</(#/&9%I9J8;)"098'#)219Z9822)2#29-)#J9&)80"%2)29%I98'#)2198"&9&)2#)"0')2J/29(J).&$/"9-)#J98'#)219I$%19#J%2/9-)#J9&/;/.%<1/"#8.9&)287).)#)/29Z9&)2#)"0')2J/291).&9#%91%&/$8#/9#%92/;/$/98'#)219Z9$8#)"092(8./92(%$/293W9)#/129#%9/"87./9)&/"#)I)(8#)%"98"&9(.822)I)(8#)%"9Z9'2/&97@9<J@2)()8"2L92</()8.9/&'(8#%$2L9<2@(J%.%0)2#2L98"&9A[V\29#$8)"/&9)"9F+SA9Z9)"(.'&/29S8#)"09A(8./298"&9P8"'8.9

9 S/;)/-/&9)"X9]!";/2#9)"9b)&29O%'"&8#)%"]9]HJ/9K)"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

C/2#/$"9V2@(J%.%0)(8.9A/$;)(/29TGA+U9H/./<J%"/X9394559B^4944WD9O+`X999999999939E359^D49D4E4999F%2#X9A9B4*559GA9I%$9b)#9

9

9 9 9 9 9 9 J##<XRR---*-<2<'7.)2J*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9F+A[[A9F%##80/9+(Q')2)#)%"9A(8./29I%$9[)2#/")"0L9[8"0'80/9f9A<//(J99?*9C).,/29

9 FJ).&$/"9Y9"%92</()I)(980/9$8"0/9)&/"#)I)/&9

Z9822/22/29.)2#/")"0L92<//(JL9.8"0'80/L98"&9(%0")#)%"9)"9(J).&$/"9-J%98$/9J/8$)"09)1<8)$/&9Z91%")#%$29#J/9&/;/.%<1/"#9%I9(%11'")(8#)%"9I$%19<$/Y;/$78.9#%9(%1<./M92/"#/"(/9./;/.9Z9#$8(,292,)..298((%$&)"09#%9#J/)$9./;/.9%I98(J)/;/1/"#9Z9)"I%$18#)%"9)2908#J/$/&97@9%72/$;8#)%"9%I9(J).&9Z9)"(%$<%$8#/29#/8(J)"098(#);)#)/29'2)"0989&/;/.%<1/"#8.91%&/.9Z9822)2#29-)#J9<$%0$819<.8"")"09Z9'2/&97@9!#)"/$8"#9H/8(J/$29I%$9#J/9d/8$)"09!1<8)$/&9Z9)"(.'&/29I);/92/<8$8#/9($)#/$)%"Y9$/I/$/"(/&92(8./29%I97/J8;)%$29Z9,)#9)"(.'&/29O%$129I%$9/8(J9A(8./98"&9P8"'8.99

9 S/;)/-/&9)"X9K%92</()I)(9$/;)/-9)&/"#)I)/&9

A'"2J)"/9F%##80/9TGA+U9A(J%%.9I%$9#J/9:/8I9H/./<J%"/X939>3594>^Y5WD_9O+`X999999999939>3594>B95^EB999F%2#X9a94_*559GA9I%$9b)#9

9

9 9 9 9 9 9 J##<XRR---*.)2#/"Y'<*%$0R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 31: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

DL!

F%11'")(8#)%"9c72/$;8#)%"9O%$199=*9:/.8"/@L9A*9?8#1%"L98"&9d*9P8(:%"8.&9

9 FJ).&$/"99Y9"%980/9$8"0/92</()I)/&9

Z9$/<%$#29#@</29%I998"&9$8#/29%I9(%11'")(8#)%"98##/1<#29Z9$/(%$&29.8"0'80/98"&9(%11'")(8#)%"9&/;/.%<1/"#9%I9(J).&$/"9-J%98$/9&/8I9%$9J8$&9%I9J/8$)"09-)#J98&&)#)%"8.9&)287).)#)/29Z9&/2($)7/29#J/9(%11'")(8#)%"98##/1<#9829$/(/<#);/9%$9/M<$/22);/9Z9%72/$;8#)%"8.9(J/(,.)2#9Z9(%1<./#/&97@9<8$/"#2R#/8(J/$2R2#8II9Z9'2/&97@9!#)"/$8"#9H/8(J/$29I%$9#J/9d/8$)"09!1<8)$/&9Z9)"(.'&/29(J/(,.)2#9I%$1299

9 S/;)/-/&9)"X9K%92</()I)(9$/;)/-9)&/"#)I)/&9

+VA?+9+#.8"#)(9V$%;)"(/29A</()8.9?&'(8#)%"9+'#J%$)#@9H/./<J%"/X939_5>9^>^94W559999F%2#X9K%"/9)"&)(8#/&99

9

9 9 9 9 9 9 J##<XRR---*8<2/8*(89 99 9 9 9 9 9 9 9O'"(#)%"8.9A(J/1/9[/;/.295Y^49P%"#J299[)..)9K)/.2%"9

9 =)$#J9Y9^491%"#J29 Z9822/22/29&/;/.%<1/"#8.92,)..29%I9(J).&$/"9-)#J97.)"&"/22L9&/8I"/22L98"&91'.#)<./9&)287).)#)/29Z9/;8.'8#/29(J).&\29<$/;)%'29&/;/.%<1/"#98"&9('$$/"#9./;/.9%I9I'"(#)%")"09Z9)&/"#)I)/298$/829I%$9<$%0$819<.8"")"09Z91%")#%$29<$%0$/229Z9.)",29#%9O!?[+9F'$$)('.'19TK)/.2/"93___U9Z9'2/&97@9!#)"/$8"#9H/8(J/$29I%$9#J/9j)2'8..@9!1<8)$/&9Z9)"(.'&/29P8"'8.9

9 S/;)/-/&9)"X9K%92</()I)(9$/;)/-9)&/"#)I)/&9

j)2)%"29+22%()8#/29TGA+U9H/./<J%"/X939^5D9EW>93>559O+`X999999999939E4B9DW>9D4E_999F%2#X9a9D5*559GA9

9

9 9 9 9 9 9 J##<XRR---*;)2)%",)#2*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 96POFA96$%229P%#%$9O'"(#)%"9F.822)I)(8#)%"9A@2#/199S%7/$#9V8.)28"%L9V/#/$9S%2/"78'1L9A#/<J/"9C8.#/$L9:)8""/9S'22/..L9?../"9C%%&98"&9=8$78$8968.'<<)9

9 3Y93>9@/8$29 Z9(.822)I)/29#J/91%#%$9)";%.;/1/"#9%I9(J).&$/"9-)#J9(/$/7$8.9<8.2@9Z9782/29(.822)I)(8#)%"9%"9822/221/"#9%I9I'"(#)%"8.987).)#)/298"&9#J/)$9"//&9I%$9822)2#);/9#/(J"%.%0@98"&9-J//./&91%7).)#@9Z9<$%;)&/29892#8"&8$&)h/&92@2#/19#%9(.822)I@90$%2291%#%$9I'"(#)%"9%I9(J).&$/"9-)#J9F/$/7$8.9V.82@9Z9)&/"#)I)/29<$/2/"#987).)#)/298"&9.)1)#29)"91%#%$9I'"(#)%")"09Z9/;8.'8#/2987).)#@9-)#J)"9(%"#/M#9%I9J%1/L92(J%%.98"&9(%11'")#@92/##)"029Z9'2/&97@9V*H*Lc*H*9Z9)"(.'&/29#$8)")"09;)&/%98"&96POFA9O%$12RA@2#/19

9 S/;)/-/&9)"X9]V8.)28"%9S*L9S%2/"78'19V*L9C8.#/$9A*L9S'22/..9:*L9C%%&9?*L9f968.'<<)9=*9T3__DU*9:/;/.%<1/"#98"&9$/.)87).)#@9%I9892@2#/19#%9(.822)I@90$%2291%#%$9I'"(#)%"9)"9(J).&$/"9-)#J9(/$/7$8.9<8.2@*9:/;/.%<1/"#8.9P/&)()"/98"&9FJ).&9K/'$%.%0@L9E_L9>3^Y>>E*9]99

F8"FJ).&9TF8"8&)8"U9F/"#$/9I%$9FJ).&J%%&9:)287).)#@9S/2/8$(J9!"2#)#'#/9I%$9+<<.)/&9d/8.#J9A()/"(/2L9P(P82#/$9G");/$2)#@9H/./<J%"/X939_5W9W>W9_3^59/M#*9>D4W59O+`X999999999939_5W9W>>9B5_W999F%2#X9F8"FJ).&90$8"#29</$1)22)%"9I%$9<$)"#)"0R&%-".%8&)"098#9"%9(J8$0/9

9

9 9 9 9 9 9 J##<XRR---*IJ2*1(182#/$*(8R(8"(J).&9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 96POP9HJ/96$%229P%#%$9O'"(#)%"9P/82'$/99:)8""/9g*9S'22/.L9V/#/$9[*9S%2/"78'1L9[)289P*9+;/$@L98"&9P8$@9[8"/9

9 FJ).&$/"9Y9"%92</()I)(980/9)&/"#)I)/&9

Z9/;8.'8#/291%#%$9I'"(#)%"9%I9(J).&$/"9-)#J9(/$/7$8.9<8.2@9Z9&/2)0"/&9I%$9Q'8"#)I@)"09(J8"0/29)"90$%2291%#%$987).)#)/29Z9822/22/29"//&298"&98$/829%I9)"#/$;/"#)%"9Z9'2/&97@9VH\2L9"/'$%.%0)2#29Z9)"(.'&/29P8"'8.9-)#J9F:YScPL98"&92(%$/2J//#29

9 S/;)/-/&9)"X9H8,8J82J)L9d*L9A/,)L9P*L9f9[)'L9P*9T>55^U*9?;8.'8#)"091%#%$9I'"(#)%"9I%$9</&)8#$)(9$/J87).)#8#)%"9-)#J90$%2291%#%$9I'"(#)%"91/82'$/9T6POPUX9+9$/;)/-*9g8<8"/2/9g%'$"8.9%I9S/J87).)#8#)%"9P/&)()"/L9^>X9^DWY^44*9

F817$)&0/9G");/$2)#@9V$/229TGbU9H/./<J%"/X9^^9T5U3>>E9E>WW449O+`X9999999999^^9T5U93>>E9E>W3W>999F%2#X9WW*559<%'"&29Gb9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---2%(*"))*8(*i<Ri8$1R/"0.)2JR872#$8(#Rj%.^>R^>5^DW?+*J

#1.9J##<XRR---*(817$)&0/*%$0R9 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 96PVP96$%229P%#%$9V/$I%$18"(/9P/82'$/99C*96%@(/L9F*96%-.8"&L9V*9S%2/"78'1L9A*9d8$&@L9F*9[8"/L9K*9V./-2L9F*96%.&21)#JL9:*9S'22/..L9j*9C$)0J#L9A*9V%##/$L98"&9:*9d8$&)"09

9 W91%"#J29Y93>9@/8$29 Z9/;8.'8#/29Q'8.)#@9%I91%;/1/"#98"&90$%2291%#%$9</$I%$18"(/9)"9(J).&$/"9-)#J9(/$/7$8.9<8.2@9Z9/;8.'8#/29(J8"0/9%;/$9#)1/9)"98##$)7'#/29%I90$%2291%#%$97/J8;)%$9Z9(8"97/9'2/&9)"9(%"i'"(#)%"9-)#J96POP9Z9$/Q')$/29#$8)")"098"&9<$8(#)(/9#%98&1)")2#/$9Z9'2/&97@9VH\29Z9)"(.'&/29P8"'8.98"&9O%$129

9 S/;)/-/&9)"X9K%92</()I)(9$/;)/-9)&/"#)I)/&9

F8"FJ).&9TF8"8&)8"U9F/"#$/9I%$9FJ).&J%%&9:)287).)#@9S/2/8$(J9!"2#)#'#/9I%$9+<<.)/&9d/8.#J9A()/"(/2L9P(P82#/$9G");/$2)#@9H/./<J%"/X939_5W9W>W9_3^59/M#*9>D4W59O+`X999999999939_5W9W>>9B5_W999F%2#X9a9E5*559GA9

9

9 9 9 9 9 9 J##<XRR---*IJ2*1(182#/$*(8R(8"(J).&9 99 9 9 9 9 9 9 9

Page 32: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

DM!

HJ/9!"2)#/9:/;/.%<1/"#9FJ/(,.)2#X9+9F%1<$/J/"2);/9:/;/.%<1/"#8.9FJ/(,.)2#9I%$9P'.#)J8"&)(8<</&9A/"2%$@9!1<8)$/&9!"I8"#298"&9N%'"09FJ).&$/"9TAJ%$#9j/$2)%"95YB9@/8$2U99?.)h87/#J9P%$08"9/#98.9

9 =)$#J9Y9B9@/8$29 Z9822/22/298$/829%I90$%2291%#%$L9I)"/91%#%$L92/.IYJ/.<L9(%0")#)%"L92%()8.L9/1%#)%"8.L9;)2)%"L98'&)#%$@L98"&9#8(#)./9&/;/.%<1/"#9Z9<$%;)&/298&8<#8#)%"29I%$9(J).&$/"9-J%98$/91'.#)&)287./&92/"2%$@9)1<8)$/&9TPA!U9Z9$/2'.#29'2/&9#%9&/2)0"90%8.298"&9<.8"98(#);)#)/29I%$9I81).)/29Z9(J/(,.)2#9<$%;)&/29)..'2#$8#)%"29%I9#@<)(8.9&/;/.%<1/"#982989$/I/$/"(/9Z9.)",29#%9#J/9!"2)#/9('$$)('.'19Z9(J/(,.)2#9(8"97/9(%1<./#/&97@9<8$/"#298"&9R%$9<8$/"#98&;)2%$29)"9#J/9J%1/9Z9'2/&97@9!#)"/$8"#9#/8(J/$2L9)"#/$;/"#)%")2#2L92/$;)(/9<$%;)&/29Z9)"(.'&/29P8"'8.L9!"2)#/9:/;/.%<1/"#8.9FJ/(,.)2#L9!"&);)&'8.9V$%I)./L9A(%$/9AJ//#2L98"&9H%<)(9A'118$@98"&9FJ8../"0/9AJ//#29

9 S/;)/-/&9)"X9K%92</()I)(9$/;)/-9)&/"#)I)/&9

d%</9!"(*9TGA+U9H/./<J%"/X939^EW9>^W9>444999F%2#X9)"&);)&'8.9<)/(/29$8"0/9I$%19*W5999999999(/"#29#%99a3>*55999999999a9E>*>W9GA99I%$98..9(%1<%"/"#2999999999(%17)"/&99

9

9 9 9 9 9 9 J##<XRR---*J%</<'7.*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9K/%"8#8.9=/J8;)%$9+22/221/"#9A(8./9E$&9?&)#)%"99H*9=/$$@9=$8h/.#%"98"&9g*9b/;)"9K'0/"#9

9 K/-7%$"9 Z9/M81)"/29"/-7%$"97/J8;)%$9Z92#'&)/29)1<8(#9%I9)"#/$'#/$)"/9&/<$);8#)%"L918#/$"8.92'72#8"(/987'2/L9(8/28$)8"Y2/(#)%"L9'"&/$"'#$)#)%"98"&9<$/#/$197)$#J9Z9822)2#29-)#J9(%'"2/.)"09<8$/"#2987%'#9#J/9(8<8()#)/29%I9#J/)$9"/-7%$"298"&9)&/"#)I@)"09(%"(/$"29Z9'2/&97@9"/%"8#%.%0)2#2L9VH\29

9 S/;)/-/&9)"X9]HJ/9O%'$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

F817$)&0/9G");/$2)#@9V$/229TGbU9H/./<J%"/X9^^9T5U3>>E9E>WW449O+`X9999999999^^9T5U93>>E9E>W3W>999F%2#X9a9B5*559GA9

9

9 9 9 9 9 9 J##<XRR---*(817$)&0/*%$0R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9V?:!9V/&)8#$)(9?;8.'8#)%"9%I9:)287).)#@9!";/"#%$@99A#/<J/"9P*9d8@./@L9VJ*:*L9VHL9C/"&@9g*9F%2#"/$L9VJ*:*L9cHSR[L9[8$$@9d*9['&.%-L9VJ*:*L9g8"/9d.#)-8"0/$L9P*+*L9?&*9P*L9V/#/$9d*9+"&$/..%2L9VJ*:*9

9 B91%"#J29Y9D9@/8$29 Z9822/22/29I);/9,/@9I'"(#)%"8.9(8<87).)#)/298"&9</$I%$18"(/9)"9@%'"09(J).&$/"9Z9(8<87).)#)/298$/91/82'$/&97@9#J/9)&/"#)I)(8#)%"9%I9I'"(#)%"8.92,)..29182#/$/&97@9#J/9(J).&9Z9</$I%$18"(/9)291/82'$/&97@9#J/9./;/.9%I9(8$/0);/$9822)2#8"(/9$/Q')$/&9#%98((%1<.)2J989#82,9Z9<$%;)&/2989&/2($)<#);/91/82'$/9%I9('$$/"#9I'"(#)%")"09./;/.98"&9#$8(,29(J8"0/98($%229#)1/9Z91%&)I)(8#)%"92(8./91/82'$/29/";)$%"1/"#8.91%&)I)(8#)%"298"&9/Q')<1/"#9'2/&9)"9&8).@9$%'#)"/29Z9(8"97/98&1)")2#/$/&97@9<$%I/22)%"8.9-J%9,"%-29#J/9(J).&9%$97@92#$'(#'$/&9)"#/$;)/-9-)#J9<8$/"#9Z9'2/&97@9<2@(J%.%0)2#2L9VH\2L9cH\2L9A[V\2L98"&92/$;)(/9<$%;)&/$29Z9)"(.'&/29V?:!9A#8"&8$&)h8#)%"f9+&1)")2#$8#)%"9P8"'8.L9A(%$/9O%$12L9A(%$)"09A%I#-8$/9%<#)%"8.9

9 S/;)/-/&9)"X99][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9O%'$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

=%2#%"9G");/$2)#@9TGA+U9F/"#/$9I%$9S/J87).)#8#)%"9?II/(#);/"/229TFSOU9A8$0/"#9F%../0/9%I9d/8.#J98"&9S/J87).)#8#)%"9A()/"(/29H/./<J%"/X939B3D9EWE9E>DD9O+`X999999999939B3D9EW493EWW999F%2#X9a94W*559I%$918"'8.9,)#9

9

9 9 9 9 9 9 J##<XRR---*7'*/&'R($/R</&)R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9V/&2e[9P/82'$/1/"#9P%&/.9I%$9#J/9V/&)8#$)(9e'8.)#@9%I9[)I/9!";/"#%$@99g81/29C*9j8$")L9VJ*:*9

9 FJ).&$/"9'<9#%93>9@/8$29

Z91/82'$/29J/8.#JY$/.8#/&9Q'8.)#@9%I9.)I/9Z9(8"97/9'2/&9-)#J9J/8.#J@9(J).&$/"9%$9(J).&$/"9-)#J98('#/98"&9(J$%")(9J/8.#J9(%"&)#)%"29Z9)"#/0$8#/290/"/$)(9(%$/92(8./298"&9&)2/82/92</()I)(91%&'./29Z9<8#)/"#292/.I9$/<%$#9Z9'2/&9)"9(.)")(98"&9J%2<)#8.92/##)"09Z9'2/&97@9VH\2L9cH\2L9"'$2/29Z9)"(.'&/29V/&2e[9!";/"#%$@L9^9P'.#)&)1/"2)%"8.9A(8./2LFJ).&YA/.I9S/<%$#9T80/294Y3>UL9V8$/"#9V$%M@YS/<%$#9I%$9FJ).&$/"9T80/294Y3>U9A'118$@9A(%$/9O%$12L9K/-2./##/$99

9 S/;)/-/&9)"X9]j8$")9g*C*L9A/)&9P*L9f9S%&/9F*+*9T3___U*9HJ/9V/&2e[X91/82'$/1/"#91%&/.9I%$9#J/9</&)8#$)(9Q'8.)#@9%I9.)I/9)";/"#%$@*9P/&F8$/XEDT>UX93>BYE_*]99

P8<)9S/2/8$(J9!"2#)#'#/9TO$8"(/U9H/./<J%"/X9pEE9T5U9^D>93E9BB9BD9O+`X9999999999pEE9T5U9^D>93E9BB94>999F%2#X9c$&/$9O%$1R9V$)(/9[)2#9)"8((/22)7./9'"./229$/0)2#/$/&9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*"(7)*".1*")J*0%;R9 J##<XRR---*</&2Q.*%$0R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9V[+!9V$%1%#)"09[/8$")"09HJ$%'0J9+(#);/9!"#/$8(#)%"99P*9:)8"8/9b./)"L9VJ*:*L9FFFYA[VL9:/7%$8J9FJ/"L9VJ*:*L98"&9P)(J/./9d8"/@L9VJ*:*9

9 !"I8"#2L9<$/2(J%%./$298"&9@%'"09(J).&$/"9

Z9<$%;)&/29890')&/9#%9/8$.@9(%11'")(8#)%"9-)#J9@%'"09(J).&$/"9-J%9J8;/91'.#)<./9&)287).)#)/29-J%9J8;/"\#9&/;/.%</&989I'"(#)%"8.9(%11'")(8#)%"92@2#/19Z9)&/"#)I)/298"&9$/(%$&29(J).&\29)")#)8.9(%11'")(8#)%"987).)#)/29Z9822)2#29(8$/0);/$298"&9<8$/"#29)"97/(%1)"091%$/98-8$/9%I9/8$.@9(%11'")(8#);/97/J8;)%$9Z9<$%;)&/298"98<<$%8(J9I%$9)"#/$8(#)%"9)"(.'&)"09#'$"9#8,)"092#$8#/0)/298"&9(%"#)"0/"(@98(#);)#)/29Z91%")#%$29<$%0$/229Z9'2/&9#%9&/2)0"9)"#/$;/"#)%"29Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9)"#/$;/"#)%")2#2L9!#)"/$8"#9#/8(J/$2L9cHL9A[VL9<8$/"#29Z9)"(.'&/29V[+!96')&/98"&9)"2#$'(#)%"8.9;)&/%9

9 S/;)/-/&9)"X99K%92</()I)(9$/;)/-9)&/"#)I)/&9

V8'.9d*9=$%%,/29V'7.)2J)"09F%*L9!"(*9TGA+U9H/./<J%"/X9394559BE49EDDW9O+`X999999999939^359EED94WE_99F%2#X9a9E^*_W9GA9I%$96')&/9999999999a9W_*_W9I%$9;)&/%9</$9.8"0'80/99999999999

9

Page 33: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

DF!

9 9 9 9 9 9 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9HJ/9AF?SHA9P%&/.9A%()8.9F%11'")(8#)%"9?1%#)%"8.9S/0'.8#)%"9H$8"28(#)%"8.9A'<<%$#29+9F%1<$/J/"2);/9?&'(8#)%"8.9+<<$%8(J9I%$9FJ).&$/"9-)#J9+'#)219A</(#$'19:)2%$&/$99=8$$@9P*9V$)h8"#L9VJ*:*L9FFFYA[VL9+1@9P*9CJ/#J/$7@L9VJ*:*L9FFFYA[VL9?1).@9S'7)"L9P*A*L9+1@9F*9[8'$/"#L9?&*P*L9c*H*S*R[L98"&9V8#$)(,9S@&/..L9?&*:*999

9 V$/2(J%%.98"&9<$)18$@92(J%%.292#'&/"#29

Z9822/22/29#8$0/#/&98$/829%I92%()8.9(%11'")(8#)%"L9/1%#)%"8.9$/0'.8#)%"L98"&9#$8"28(#)%"8.92'<<%$#9"//&29%I9@%'"09(J).&$/"9-)#J9+A:9Z9822)2#9-)#J9#J/9(%../(#)%"9%I9('$$/"#9)"I%$18#)%"98"&91%")#%$29<$%0$/229Z9.)",29#%9AF?SHA9V$%0$819V.8"")"098"&9!"#/$;/"#)%"9('$$)('.'19Z9(%17)"/&9'2/9%I9#%%.29<$%;)&/9/;8.'8#)%"98"&9I%..%-9'<98(#);)#)/29#%9<$%1%#/92%()8.98"&9/1%#)%"8.9&/;/.%<1/"#9%I9(J).&$/"9-)#J9+A:9Z9'2/&97@9)"#/$;/"#)%")2#2L9cHL9<2@(J%.%0)2#2L9A[V9#$8)"/&9)"9#J/91%&/.9Z9)"(.'&/29#-%9;%.'1/9P8"'8.29k9j%.'1/9!X9+22/221/"#L9j%.'1/9!!X9V$%0$819V.8"")"098"&9!"#/$;/"#)%"99

9 S/;)/-/&9)"X9]ch"%IIL9A*L9S%0/$2L9A*9f9d/"&$/"L9S*9T?&2*U*9>555*9+'#)2192</(#$'19&)2%$&/$X989$/2/8$(J9$/;)/-9I%$9<$8(#)#)%"/$2*9+$.)"0#%"X9+1/$)(8"9V2@(J)8#$)(9V'7.)2J)"09!"(*]99

V8'.9d*9=$%%,/29V'7.)2J)"09F%*L9!"(*9TGA+U9H/./<J%"/X9394559BE49EDDW9O+`X999999999939^359EED94WE_99F%2#X9a9__*_W9GA99999999999

9

9 9 9 9 9 9 J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9A?FA9A(8./29%I9?8$.@9F%11'")(8#)%"9A,)..29I%$9d/8$)"0Y!1<8)$/&9FJ).&$/"99g/8"9A*9P%%098"&9+""9?*96//$299

9 >9Y949@/8$29 Z9822/22/292<//(J98"&9.8"0'80/9&/;/.%<1/"#9%I9(J).&$/"9-)#J9J/8$)"09)1<8)$1/"#29Z9)"I%$18#)%"908#J/$/&9&'$)"092#$'(#'$/&9./22%"298"&9)"9"8#'$8.9(%11'")(8#)%"92/##)"029Z9822)2#29-)#J9<$%0$819<.8"")"09Z9'2/&97@9!#)"/$8"#9H/8(J/$2L9A[V9Z9)"(.'&/29A(8./29P8"'8.98"&9A(%$)"09O%$129

9 S/;)/-/&9)"X9][!Kb)"09+22/221/"#9#%9?8$.@9!"#/$;/"#)%"]9]HJ/9H-/.I#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

F/"#$8.9!"2#)#'#/9I%$9#J/9:/8I9TF!:U99TGA+U9H/./<J%"/X939E3^9_DD955559:)$/(#9c$&/$9H/./<J%"/X99999999999999999939E3^9_DD953EE999F%2#X9a9>B*_W9GA9I%$9P8"'8.9f9O%$129

9

9 9 9 9 9 9 J##<XRR---*()&*-'2#.*/&'R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 96$%'<9A/##)"02X9FJ).&9=82/&9f9?";)$%"1/"#9S8#)"029

9 9 9 9 9 9 9

9 9 9 9 9 9 9 99 9 9 9 9 9 9 9F$/8#);/9F'$$)('.'19:/;/.%<1/"#8.9F%"#)"''19+22/221/"#9H%%.,)#9I%$9+0/29EYWL9HJ/9?"0.)2J9j/$2)%"99:)8"/9H$)2#/$9:%&0/L9[8'$89F%.,/$L98"&9b8#/9d/$%18"9

9 E9Y9W9@/8$29 Z9822/22/29'<9#%9>W9(J).&$/"L9#J$//9#)1/29</$9@/8$9Z91%")#%$29<$%0$/2298"&9)&/"#)I)/29(%"(/$"29Z9.)",29#%9F$/8#);/9F'$$)('.'19I%$9V$/2(J%%.9I%$9<$%0$819<.8"")"09Z9)"I%$18#)%"98"&9$/<%$#29I%$9I81).)/29Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9/&'(8#%$29)"9(J).&9(8$/9<$%0$8129Z9)"(.'&/29F$/8#);/9F'$$)('.'19:/;/.%<1/"#8.9F%"#)"''1L96')&/L96%8.29f9c7i/(#);/29V%2#/$2L9F.8229A'118$@9C%$,2J//#L9!"&);)&'8.9FJ).&9V$%I)./2L9FJ).&9V$%0$/2298"&9V.8"")"09$/<%$#9O%$129

9 S/;)/-/&9)"X9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9

H/8(J)"09A#$8#/0)/29!"(*9TGA+U9H/./<J%"/X93945593>E9^WBD999F%2#Xa9DB*^B9GA99

9

9 9 9 9 9 9 J##<XRR---*#/8(J)"02#$8#/0)/2*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9FcS9V$/2(J%%.9FJ).&9c72/$;8#)%"9S/(%$&L9A/(%"&9?&)#)%"99+'#J%$29K%#9!&/"#)I)/&9

9 >93R>9Y9B9@/8$29 Z9822/22/29(J).&$/"\29<$%0$/229)"9/8$.@9(J).&J%%&9<$%0$8129Z9)"I%$18#)%"9)2908#J/$/&9#J$%'0J9%72/$;8#)%"9%I9/;/$@&8@9<$%0$8198(#);)#)/29Z9<$%;)&/29&/#8)./&9)"I%$18#)%"9%"9)"&);)&'8.9(J).&9829-/..98290$%'<9$/<%$#29Z9.)",29#%9#/8(J)"090')&/9CJ8#\29K/M#9Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9/&'(8#%$29)"9(J).&9(8$/9<$%0$8129Z9)"(.'&/29c72/$;8#)%"9!#/129P8"'8.2L9G2/$\296')&/L9CJ8#\29K/M#9V.8"")"096')&/L9FJ).&9+"/(&%#/9=%%,./#2L9V8$/"#96')&/9=%%,./#2L9F.8229A'118$@9O%$1L9:/;/.%<1/"#8.9A'118$@9O%$12L9V8$/"#9$/<%$#9O%$12L9FcS9V%2#/$L9d)0JRA(%</9b/@9?M</$)/"(/29V%2#/$L9:/2,9V%2#/$L98"&9FcS9F8#/0%$@9H8729

9 S/;)/-/&9)"X9]FcS9V$%&'(#9:/2($)<#)%"9!"I%$18#)%"9[)",9%"9S/.)87).)#@98"&9j8.)&)#@]9%".)"/9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9

d)0JRA(%</9?&'(8#)%"8.9S/2/8$(J9O%'"&8#)%"9TGA+U9H/./<J%"/X939DE^9^4W9>5559O+`X999999999939DE^9^4W95D5^999F%2#X9a93D^*_W9GA9I%$9b)#9

9

9 9 9 9 9 H/2#9S/;)/-9c".)"/9 9 99 9 9 9 9 J##<XRR---*J)0J2(%</*%$0R9 J##<XRR---*J)0J2(%</*%$0R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9

Page 34: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

DN!

?F?SA9S9?8$.@9FJ).&J%%&9?";)$%"1/"#9S8#)"09A(8./9S/;)2/&9?&)#)%"99HJ/.189d8$12L9S)(J8$&9P*9F.)II%$&L98"&9:/77@9F$@/$9

9 >93R>9@/8$29Y9W9@/8$29

Z9822/22/290$%'<9<$%0$8129I%$9<$/2(J%%.9(J).&$/"9Z91/82'$/29(%1<%"/"#29%I9<$%0$811)"098"&9#J/9/";)$%"1/"#9Z9$/;)2/&9I/8#'$/298&&$/229)"#/$8(#)%"L9('$$)('.'1L9J/8.#J9f928I/#@98"&9<8$/"#9f92#8II9Z9<$%;)&/29I//&78(,9%"9J%-9#%9)1<$%;/98(('$8(@9)"92(%$)"09Z9'2/&97@9?F?SA9S9S8#/$29)"9/8$.@9(J).&J%%&9<$%0$8129Z9)"(.'&/29S8#)"09A(8./L9A(%$)"09AJ//#2L9j)&/%9H$8)")"09V8(,80/98"&9H$8)")"09C%$,7%%,9

9 S/;)/-/&9)"X9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9O%'$#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

H/8(J/$29F%../0/9V$/229H/./<J%"/k939>3>9BD49E_>4999F%2#X9a93^*_W9GA9I%$9A(8./9999999999a9W_*559GA9I%$9j)&/%9H$8)")"09V,0*9999999999a999^*559GA9I%$9C%$,7%%,9

9

9 9 9 9 9 9 J##<XRR---*#/8(J/$2(%../0/<$/22*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9O:FSA9O81).@9:8@9F8$/9S8#)"09A(8./99HJ/.189d8$1298"&9S)(J8$&9P*9F.)II%$&9

9 K%9+0/9S8"0/9!&/"#)I)/&9

Z9822/22/29I81).@9(J).&9(8$/9<$%0$8129Z9(%"&'(#/&9)"989<$%;)&/$\29J%1/9Z91/82'$/29)#/129$/.8#/&9#%92<8(/9f9I'$")2J)"09I%$9(8$/98"&9./8$")"0L9782)(9(8$/L9./8$")"098(#);)#)/2L92%()8.9&/;/.%<1/"#L98&'.#9"//&298"&9<$%;)2)%"29I%$9(J).&$/"9-)#J92</()8.9"//&29Z9<$%;)&/29I//&78(,9I%$9)1<$%;/1/"#9Z9'2/&97@9#$8)"/&9$8#/$299Z9)"(.'&/29S8#)"09A(8./L9A(%$)"09AJ//#2L9j)&/%9H$8)")"09V8(,80/L98"&9H$8)")"09C%$,7%%,9

9 S/;)/-/&9)"X9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9?./;/"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]99

H/8(J/$29F%../0/9V$/229H/./<J%"/k939>3>9BD49E_>4999F%2#X9a93^*_W9GA9I%$9A(8./9999999999a994*_49GA9I%$9A(%$)"09AJ//#29999999999a9W_*559GA9I%$9j)&/%9H$8)")"09V,0*9999999999a999^*559GA9I%$9C%$,7%%,9

9

9 9 9 9 9 9 J##<XRR---*#/8(J/$2(%../0/<$/22*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9!H?SA9S9!"I8"#RH%&&./$9?";)$%"1/"#9S8#)"09A(8./L9S/;)2/&9?&)#)%"99HJ/.189d8$12L9:/77@9F$@/$L98"&9S)(J8$&9P*9F.)II%$&9

9 =)$#J9Y9E591%"#J29 Z9822/22/29(/"#/$Y782/&9(J).&9(8$/9<$%0$8129I%$9)"I8"#298"&9#%&&./$29Z91/82'$/29)#/129$/.8#/&9#%92<8(/9f9I'$")2J)"02L9</$2%"8.9(8$/9$%'#)"/2L9.)2#/")"09f9#8.,)"0L98(#);)#)/2L9)"#/$8(#)%"L9<$%0$8192#$'(#'$/L98"&9<8$/"#29f92#8II9Z9<$%;)&/29I//&78(,9I%$9)1<$%;/1/"#9Z9'2/&97@9#$8)"/&9$8#/$29Z9)"(.'&/29S8#)"09A(8./L9j)&/%9H$8)")"09V8(,80/L98"&9H$8)")"09C%$,7%%,9

9 S/;)/-/&9)"X9][!Kb)"09+22/221/"#98"&9?8$.@9!"#/$;/"#)%"]9]HJ/9H-/I#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

H/8(J/$29F%../0/9V$/229H/./<J%"/k939>3>9BD49E_>4999F%2#X9a93^*_W9GA9I%$9A(8./9999999999a9W_*559GA9I%$9j)&/%9H$8)")"09V,0*9999999999a999^*559GA9I%$9C%$,7%%,9

9

9 9 9 9 9 9 J##<XRR---*#/8(J/$2(%../0/<$/22*(%1R9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 99 9 9 9 9 9 9 9[+VY:9[/8$")"09+((%1<.)2J1/"#9:)80"%2#)(9V$%I)./99+'7/$@9:*9K/J$)"0L9?189O*9K/J$)"0L9g%J"9S*9=$'")Lg$*LV8#$)()89[*9S8"&%.<J999

9 E59Y9B9@/8$29 Z9822/22/29#J/9&/;/.%<1/"#98"&9<$%0$/229%I9<$/2(J%%.9(J).&$/"99Z9'2/&9)"9(J).&9(8$/9<$%0$8129Z9.)",29#%9[+VY:9('$$)('.'198(#);)#)/29Z98;8).87./9)"9?"0.)2J98"&9A<8")2J9Z9'2/&97@9/&'(8#%$298"&9(.)")()8"29Z9)"(.'&/29[+VY:9!";/"#%$@L9A(%$)"09V$%#%(%.L9+(#);)#@9F8$&2L9?M81)"/$\29P8"'8.9-)#J9H/(J")(8.9S/<%$#L98"&9[+VY:9P8"'8.99

9 S/;)/-/&9)"X99]HJ/9A)M#//"#J9P/"#8.9P/82'$/1/"#29N/8$7%%,]9

b8<.8"9?8$.@9[/8$")"09F%1<8"@9TGA+U9H/./<J%"/X9394559EE^9>53^9O+`X9999999999394559^W>9DW>B999F%2#X9a9B__*_W9GA9I%$9[+VY:9999999999a99>W*_W9GA9I%$9A(%$)"09V$%#%(%.9999999999a99__*_W9GA9I%$9+(#);)#@9F8$&29999999999a993_*_W9GA9I%$9?M81)"/$\29P8"'8.9999999999a9>5_*_W9GA9I%$9P8"'8.99

9

9 9 9 9 9 9 J##<XRR---*,8<.8"(%*(%1R9 9

9

Page 35: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

DO!

9 9 9 9 9 9 9-%#,.+%&/.,+.*0,&122%,,%3&.*&

4)'55'*$6&7,%3&1,,%,,5%*+&!''$,&('8&)9.$38%*&:.+9&;<%2."$&=%%3,>&10%,&?.8+9&+'&;.@&A%"8,>&"*3&!9%.8&B"5.$.%,49

9 9 9 9 9 9 99 9 9 9 9 9 9-%#,.+%& 9 9 C%,28.<+.'*& 9 9 9J##<XRR---*87.%"018"*(%1R9 9 9 Z9+..@"9f9=8(%"R[%"018"9V'7.)2J/$9]V'7.)2J)"09?M(/../"(/*9?&'(8#)"09#J/9C%$.&]9

Z92'72)&)8$@9%I9V/8$2%"9?&'(8#)%"9Z92%'$(/9I%$98'#J%$2L9/&'(8#%$2L9$/2/8$(J/$29I%$98((/22)"09%$9<'7.)2J)"09#/M#29$/.8#/&9#%9/&'(8#)%"9

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*8(I*JJ2*0%;R<$%0$812R%<$/R/J2R</$Il1/82'$/2R$/<%$#2R$/2%'$(/2l1/82'$)"0R$/2%'$(/2lI%$l1/82'$)"0*<&I9

9 9 Z9]S/2%'$(/29I%$9P/82'$)"09A/$;)(/29f9c'#(%1/29)"9d/8&9A#8$#9V$%0$8129A/$;)"09!"I8"#298"&9H%&&./$2]9<$/<8$/&9I%$9+&1)")2#$8#)%"9%I9FJ).&$/"98"&9O81).)/2L9cII)(/9%I9V.8"")"0L9S/2/8$(J98"&9?;8.'8#)%"L9GA9:/<#9%I9d/8.#J98"&9d'18"9A/$;)(/29Z&%('1/"#9(%"#8)"29<$%I)./29%I98..9)"2#$'1/"#29'2/&9)"9#J/9K8#)%"8.9?8$.@9d/8&9A#8$#9V$%0$819)"(.'&)"09O81).@9K//&29A'$;/@99

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*802"/#*(%1R9 9 9 Z9+1/$)(8"96')&8"(/9A/$;)(/9T+6AU9V'7.)2J)"09F%1<8"@9

Z9<$%;)&/2989-)&/9$8"0/9%I9/&'(8#)%"8.918#/$)8.29Z9#%<)(9$8"0/9)"(.'&/2X9822/221/"#2L9('$$)('.'1L9#/2#9<$/<8$8#)%"L92<//(J98"&9.8"0'80/L9(.822$%%1918"80/1/"#L98"&9<8$/"#)"09

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*82/78*%$0R9 9 9 Z9+(J/"78(J9A@2#/19%I9?1<)$)(8..@9=82/&9+22/221/"#29

Z92%'$(/9I%$9822/221/"#9#%%.2L9<$%&'(#2L9$/2/8$(J98"&9$/;)/-299Z9<$%;)&/29.)",29#%9$/2/8$(J9'<&8#/29I$%198$%'"&9#J/9-%$.&9

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*7$%%,/2<'7.)2J)"0*(%1R9 9 9 Z9=$%%,/29V'7.)2J)"09F%1<8"@99

Z9<'7.)2J/$9%I97%%,2L9('$$)('.8L92($//")"09#%%.2L9;)&/%2L98"&9$/2/8$(J9Z9I%('2/29%"9$/2%'$(/29)"9#J/98$/829%I9&)287).)#@L9/&'(8#)%"L98"&9(J).&9&/;/.%<1/"#9

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9

Page 36: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

DI!

J##<XRR---*7'*/&'R($/R</&)R9 9 9 Z9=%2#%"9G");/$2)#@X9F/"#/$9I%$9S/J87).)#8#)%"9?II/(#);/"/229TFSOU999A8$0/"#9F%../0/9%I9d/8.#J98"&9S/J87).)#8#);/9A()/"(/29Z9#$8)")"0R/&'(8#)%"8.9)"2#)#'#)%"L9$/2/8$(J98"&9<$%&'(#9&/;/.%<1/"#9Z9I%('2/29%"9&)287).)#@98"&9J/8.#J9$/.8#/&9#%<)(29

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*(817$)&0/*%$0R9 9 9 Z9F817$)&0/9G");/$2)#@9V$/229

Z9<'7.)2J)"09(%1<8"@9.)",/&9#%9#J/9G");/$2)#@9%I9F817$)&0/9Z92%'$(/9I%$97$%8&9$8"0/9%I9<'7.)(8#)%"29-)#J9/1<J82)29%"9$/2/8$(J9

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*()&*-'2#.*/&'R9 9 9 Z9F/"#$8.9!"2#)#'#/9I%$9#J/9:/8I9TF!:U9

Z9(%"2)2#29%I98"9c$8.9A(J%%.98"&9c'#$/8(J9F/"#/$9I%$9(J).&$/"9-)#J9J/8$)"09)1<8)$1/"#29Z9%II/$29<$%&'(#2L9822/221/"#2L98"&918#/$)8.292</()I)(9#%9&/8I9/&'(8#)%"9

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*('$$)('.'19822%()8#/2*(%1R9

9 9 Z9F'$$)('.'19+22%()8#/299Z92%'$(/9I%$97%%,2L9;)&/%2L9$/2/8$(J98"&9822/221/"#29$/.8#/&9#%9/&'(8#)%"9Z92</()I)(9#%<)(298$/829)"(.'&/X9$/8&)"0L9.8"0'80/98$#2L918#J/18#)(2L9#/2#9<$/<8$8#)%"9f92#'&@92,)..2L98"&9822/221/"#9

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*&/";/$))*(%1R9 9 9 Z9:/";/$9:/;/.%<1/"#8.9P8#/$)8.29!"(%$<%$8#/&9

Z92%'$(/9I%$9822/221/"#298"&918#/$)8.29I%$9#J/97)$#J9#%92)M9@/8$980/90$%'<9Z918#/$)8.29&/2)0"/&9I%$9/8$.@9)&/"#)I)(8#)%"9%I92#$/"0#J298"&9-/8,"/22/298"&9&/;/.%<1/"#8.92($//")"099

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR&)II./8$"*(%1R9 9 9 Z9:)II/$/"#9S%8&29#%9[/8$")"09]N%'$9F%1<./#/9+=+9S/2%'$(/]9

Z9<$%&'(#292</()I)(9#%91//#9#J/9"//&29%I9I81).)/298"&9<$%I/22)%"8.29-%$,)"09-)#J9(J).&$/"9&)80"%2/&9-)#J9+'#)219A</(#$'19:)2%$&/$29Z9$/2%'$(/298"&918#/$)8.29I%$9<$%0$811)"098"&9/&'(8#)%"8.9<'$<%2/29

9 9 9

9 9 9 9 9 9 9

J##<XRRIJ2*1(182#/$*(8R(8"(J).&9 9 9 Z9F8"FJ).&9F/"#$/9I%$9FJ).&J%%&9:)287).)#@L9P(P82#/$9G");/$2)#@9Z92%'$(/9I%$9$/2/8$(J98"&9<'7.)(8#)%"292</()I)(9#%9&)287).)#@9)"9(J).&J%%&98"&9@%'#J9

9 9 9

9 9 9 9 9 9 9

Page 37: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

PJ!

J##<XRR---*I<0*'"(*/&'Rm<'7.)(8#)%"2%II)(/R<&I2RI81).@"//&22'$;/@*<&I9

9 9 Z9&)$/(#9.)",9#%9#J/9O81).@9K//&29A'$;/@9I%$19)"9<&I9I%$18#9Z98;8).87./9#J$%'0J9#J/9O$8",9V%$#/$96$8J819FJ).&9:/;/.%<1/"#9!"2#)#'#/L9G");/$2)#@9%I9K%$#J9F8$%.)"898#9FJ8</.9d)..9Z9OV69<$%;)&/29$/2%'$(/2L918#/$)8.2L9#$8)")"098"&9$/2/8$(J9)"9/8$.@9(J).&J%%&9T97)$#J9Y9/)0J#9@/8$2U9Z9I%('2/29%"9#J/9)1<8(#9%I9/";)$%"1/"#9%"9&/;/.%<1/"#9

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*0%;*%"*(8R9 9 9 Z9.)",9#%9#J/9V$%;)"(/9%I9c"#8$)%\296%;/$"1/"#9-/72)#/9

Z9'"&/$92/$;)(/2L9.)",29#%9/;8.'8#)%"9%I9<$%;)"()8.9)")#)8#);/29)"9d/8.#JL92</()I)(9#%9]d/8.#J@9=87)/29d/8.#J@9FJ).&$/"]9<$%0$8129

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*J8$(%'$#*(%1R9 9 9 Z9d8$(%'$#9+22/221/"#9!"(%$<%$8#/&9

Z9<'7.)2J/$9%I9822/221/"#9#%%.29Z9<'7.)2J/29'"&/$9#-%97$8"&9"81/2k9d8$(%'$#98"&9V2@(JF%$<9Z9<$%;)&/29822/221/"#2L9#/2#)"09<$%(/&'$/2L9#$8)")"0L98"&9)"I%$18#)%"92</()I)(9#%9822/221/"#29

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*J)0J2(%</*%$0R9 9 9 Z9d)0JRA(%</9?&'(8#)%"8.9S/2/8$(J9O%'"&8#)%"9

Z9<'7.)2J/$9%I9<$%&'(#29)"(.'&)"09822/221/"#2L97%%,2L9#$8)")"0918#/$)8.2L9$/2/8$(J98"&9<$%0$8129$/.8#/&9#%9/8$.@9(J).&J%%&9Z92</()I)(9$/2%'$(/29I%$9(8$/0);/$2L9/8$.@9(J).&J%%&9/&'(8#%$298"&9<8$/"#299

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*J%</<'7.*(%1R9 9 9 Z9d%1/9f9O81).@9c$)/"#/&9V$%0$819?22/"#)8.29TdcV?U9

Z9<$%&'(#298"&918#/$)8.292</()I)(9#%9(J).&$/"9-)#J9&)287).)#)/29)"(.'&)"092/"2%$@9&/I)()#298"&91'.#)&)287./&9Z9)"(.'&/29822/221/"#2L90')&/7%%,2L9;)&/%2L9#$8)")"0918#/$)8.29I%$9J%1/9/";)$%"1/"#9

9 9 9

J##<XRR---*)";/2#)",)&2*(8R9 9 9 Z9!";/2#9)"9b)&29Z92%'$(/9I%$9$/2%'$(/2L9<$%0$812L9#$8)")"09I%$9<8$/"#298"&9<$%I/22)%"8.29I%('2)"09%"9#J/9/8$.@9@/8$29T7)$#J9Y92)M9@/8$2U9Z9<$%;)&/29$/2/8$(JL9#$8)")"098"&9<$%0$819/;8.'8#)%"9

9 9 9

9 9 9 9 9 9 9

9 9 9 9 9 9 9

Page 38: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

PQ!

J##<XRR---*,8<.8"(%*(%1R9 9 9 Z9b8<.8"9?8$.@9[/8$")"09F%1<8"@9]?M<8"&)"09#J/9C8@29C/9H/8(J98"&9[/8$"]9Z9<$%&'(#292</()I)(9#%9/8$.@9(J).&J%%&9/&'(8#)%"98"&90$%'<92/##)"029Z9)"(.'&/297%%,2L9822/221/"#2L9/";)$%"1/"#9$8#)"092(8./2L98"&9(.822$%%1918#/$)8.29

9 9 9

9 9 9 9 9 9 9

9 9 9 9 9 9 9J##<XRR---*.)"0')2@2#/12*(%1R9 9 9 Z9[)0')2@#/129!"(%$<%$8#/&9

Z9#%%.298"&918#/$)8.292</()I)(9#%92<//(JL9.8"0'80/L9./8$")"09&)287).)#)/298"&9$/8&)"09Z9)"(.'&/29822/221/"#2L90')&/7%%,298"&9$/2%'$(/29

9 9 9

9 9 9 9 9 9 9

9 9 9 9 9 9 9J##<XRR---*.)2#/"Y'<*%$0R9 9 9 Z9[)2#/"YG<9C/79A)#/9]A</()8.)h)"09)"9!"I%$18#)%"9I%$9#J/9:/8I98"&9d8$&9%I9d/8$)"0]9

Z9<$%&'(#292</()I)(9#%9#J/9"//&29%I9(J).&$/"9-)#J9J/8$)"09)1<8)$1/"#298"&9#J/)$9I81).)/29Z92%'$(/9I%$9<$%0$812L9)"I%$18#)%"L9$/2%'$(/298"&97%%,29

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*1%&./8$"*(%1R9 9 9 Z9P%&/$"9[/8$")"09V$/22k92'72)&)8$@9%I9?&'(8#%$29V'7.)2J)"09A/$;)(/9

Z9<$%;)&/29#/M#2L9$/2%'$(/2L9$/2/8$(J9<8</$2L9('$$)('.'1L9822/221/"#298"&90')&/7%%,292</()I)(9#%9/&'(8#)%"9

9 9 9

9 9 9 9 9 9 9

9 9 9 9 9 9 9

J##<XRR---*"(7)*".1*")J*0%;R9 9 9 Z9K8#)%"8.9F/"#/$9I%$9=)%#/(J")(8.9!"I%$18#)%"X9K8#)%"8.9[)7$8$@9%I9P/&)()"/RK8#)%"8.9!"2#)#'#/29%I9d/8.#J9Z989"8#)%"8.9$/2%'$(/9I%$91%./('.8$97)%.%0@9)"I%$18#)%"k9($/8#/29<'7.)(9&8#8782/2L9(%"&'(#29$/2/8$(JL98"&9&)22/1)"8#/29)"I%$18#)%"9Z918"&8#/9)29#%9<$%;)&/9897/##/$9'"&/$2#8"&)"09%I91%./('.8$9<$%(/22/298II/(#)"09J'18"9J/8.#J98"&9&)2/82/9Z9J8292</()I)(9$/2/8$(J98"&9$/;)/-29%I9$/2%'$(/29I%$9/&'(8#)%"98"&9J/8.#J9$/.8#/&9#%<)(29Z9.)",29#%9V'7P/&9F/"#$8.9

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9

J##<XRR---*"&&2*(8R9 9 9 Z9K)<)22)"09:)2#$)(#9:/;/.%<1/"#8.9A($//"9TK::AU9!"#/../(#'8.9V$%</$#@9+22%()8#)%"9Z9)"I%$18#)%"92)#/98"&9<$%&'(#29&/;/.%</&97@9#J/9K)<)22)"09:)2#$)(#L9c"#8$)%9Z9&/;/.%<1/"#8.92($//"9I%$9/8$.@9)"#/$;/"#)%"9<'$<%2/29Z9281<./298"&9%$&/$9)"I%$18#)%"98;8).87./9%"9.)"/9

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9

Page 39: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

PD!

J##<XRR---*"I/$Y"/.2%"*(%*',R9 9 9 Z9"I/$K/.2%"X989&);)2)%"9%I96$8"8&89[/8$")"09[)1)#/&99Z9Gb\29)"&/</"&/"#9<$%;)&/$9%I9822/221/"#9$/2%'$(/298"&92/$;)(/29Z92%'$(/9I%$9#/M#2L90')&/7%%,2L9#$8)")"09Z9$/2%'$(/29I$%19<$/Y2(J%%.9#%92/(%"&8$@92(J%%.)"09

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9

J##<XRR---*<8$)"(*(%1R9 9 9 Z9V2@(J%.%0)(8.9+22/221/"#9S/2%'$(/29TV+SU9!"(%$<%$8#/&9Z9<$%&'(#2L9822/221/"#2L9$/2%'$(/298"&9#$8)")"092</()I)(9#%9#J/9I)/.&9%I9<2@(J%.%0@9Z9$8"0/9%I918#/$)8.29I%$9'2/9I$%19(J).&J%%&9#J$%'0J98&'.#J%%&9

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*</8$2%"/8$.@./8$")"0*(%1R9

9 9 Z9V/8$2%"9?8$.@9[/8$")"0k989&);)2)%"9%I9V/8$2%"9?&'(8#)%"9Z9<$%&'(#292</()I)(9#%9/8$.@9./8$")"0L9$8"0)"09I$%19)"I8"(@9#%9/./1/"#8$@92(J%%.980/9Z92%'$(/9I%$97%%,2L9;)&/%2L9822/221/"#2L9('$$)('.'1L9#$8)")"098"&9$/2%'$(/29I%$9<8$/"#2L9(J).&$/"98"&9/&'(8#%$299

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*</&2Q.*%$0R9 9 9 Z9V/&)8#$)(9e'8.)#@9%I9[)I/9!";/"#%$@9TV/&2e[U9

Z92)#/92</()I)(9#%9#J/9<$%&'(#9HJ/9V/&29e[L9P/82'$/1/"#9P%&/.9I%$9#J/9e'8.)#@9%I9[)I/9!";/"#%$@9Z9<$%;)&/29&/#8).987%'#9#J/9<$%&'(#L9281<./2L9$/.8#/&9<'7.)(8#)%"2L98"&9%$&/$)"09)"I%$18#)%"9

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9

J##<XRR---*<$/22*'1)(J*/&'R9 9 9 Z9G");/$2)#@9%I9P)(J)08"9V$/229Z92%'$(/9I%$918#/$)8.29<$%&'(/&97@9#J/9G");/$2)#@9%I9P)(J)08"9Z9<$%;)&/29.)",29#%92</()I)(98$/829%I9$/2/8$(J98"&9<$%&'(#29Z9)"(.'&/29#/M#2L90')&/7%%,2L9822/221/"#2L9$/2/8$(J98"&9$/2%'$(/29

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9

J##<XRR---*<$%/&)"(*(%1R9 9 9 Z9V$%Y?&9!"(%$<%$8#/&9Z9<'7.)2J/$9%I92#8"&8$&)h/&9#/2#2L9('$$)('.8$98"&9#J/$8<@918#/$)8.2L98"&9<$%I/22)%"8.9i%'$"8.29Z92%'$(/9I%$918#/$)8.292</()I)(9#%92<//(JL9.8"0'80/98"&9J/8$)"0L9<2@(J%.%0@98"&9(%'"2/.)"0L92</()8.9/&'(8#)%"L9/8$.@9(J).&J%%&9)"#/$;/"#)%"L98"&9%(('<8#)%"8.98"&9<J@2)(8.9#J/$8<@9Z9<$%;)&/29#/M#2L90')&/7%%,2L9822/221/"#2L9;)&/%2L9$/2%'$(/298"&9#$8)")"09

9 9 9

9 9 9 9 9 9 9

Page 40: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

PP!

9 9 9 9 9 9 9J##<XRR---*$);/$<'7*(%1R9 9 9 Z9S);/$2)&/9V'7.)2J)"0X9+9d%'0J#%"9P)II.)"9F%1<8"@9

Z9<$%&'(#292</()I)(9#%9/&'(8#)%"8.9822/221/"#L9(.)")(8.98"&92</()8.9/&'(8#)%"9822/221/"#9Z92%'$(/9I%$9)"&);)&'8.9822/221/"#9<$%&'(#29I%$9/&'(8#)%"8.98"&9<2@(J%.%0)(8.9#/2#)"09Z9$8"0/9%I9$/2%'$(/29I$%19)"I8"(@9#%98&'.#J%%&9

9 9 9

9 9 9 9 9 9 9

J##<XRR---*2.%22%"*(%1R9 9 9 Z9A.%22%"9?&'(8#)%"8.9V'7.)(8#)%"29!"(%$<%$8#/&9Z9<'7.)2J/$98"&9&)2#$)7'#%$9%I9/&'(8#)%"8.918#/$)8.292</()I)(9#%X9)"#/..)0/"(/L98<#)#'&/L9&/;/.%<1/"#8.987).)#)/2L92(J%%.92($//")"0L92<//(JY.8"0'80/9822/221/"#98"&9#J/$8<@L9/1%#)%"8.R7/J8;)%$L98"&92</()8.9"//&29Z9<$%&'(#29)"(.'&/9822/221/"#2L9./8$")"0918#/$)8.2L97%%,2L9081/2L9;)&/%2L98"&9(%1<'#/$92%I#-8$/9

9 9 9

9 9 9 9 9 9 9J##<XRR---*2#%/.#)"0(%*(%1R9 9 9 Z9A#%/.#)"09F%1<8"@9

Z9<2@(J%.%0@98"&92</()8.9/&'(8#)%"918#/$)8.298"&9#/2#29Z9<$%&'(#29)"(.'&/9822/221/"#2L918#/$)8.2L9$/2%'$(/2L90')&/7%%,2L9#/M#298"&9$/2%'$(/29

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*2'</$&'</$)"(*(%1R9 9 9 Z9A'</$9:'</$9V'7.)(8#)%"29

Z9<$%&'(#292</()I)(9#%9/8$.@9./8$")"098"&9/&'(8#)%"L92<//(J98"&9.8"0'80/9&/;/.%<1/"#L98"&9.)#/$8(@9Z92%'$(/9I%$918#/$)8.2L9822/221/"#2L90')&/7%%,2L98"&9./8$")"09,)#299

9 9 9

9 9 9 9 9 9 9

9 9 9 9 9 9 9J##<XRR---*#/8(J/$2(%../0/<$/22*(%1R9

9 9 Z9H/8(J/$29F%../0/9V$/229Z9<'7.)(8#)%"298"&918#/$)8.29)"98..98$/829%I9/&'(8#)%"9$8"0)"09I$%19)"I8"(@9#%98&'.#J%%&9Z92%'$(/9I%$97%%,2L9#/M#2L9822/221/"#2L918#/$)8.298"&9$/2%'$(/29Z98((/<#292'71)22)%"29I%$9<'7.)(8#)%"99

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9J##<XRR---*#/8(J)"02#$8#/0)/2*(%1R9 9 9 Z9H/8(J)"09A#$8#/0)/29!"(%$<%$8#/&9

Z9('$$)('.'1L9822/221/"#L9#$8)")"098"&9/;8.'8#)%"9I%$9/8$.@9(J).&J%%&9/&'(8#)%"9Z92%'$(/9I%$97%%,2L918#/$)8.2L9$/2%'$(/298"&9#$8)")"09I%$9/&'(8#%$29-%$,)"09)"9)"I8"#R#%&&./$L9<$/2(J%%.L9I81).@9(J).&9(8$/L98"&9<$)18$@R2(J%%.980/9

9 9 9

9 9 9 9 9 9 9

Page 41: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

PL!

9 9 9 9 9 9 9J##<XRR---*'8.$*/&'R($#.&/<#RJ%1/^*J#19

9 9 Z92)#/9I%$9d%1/9c72/$;8#)%"9I%$9P/82'$/1/"#9%I9#J/9?";)$%"1/"#9TdcP?U9!";/"#%$@9Z9<$%&'(#92</()I)(9)"I%$18#)%"9)"(.'&)"09&/2($)<#)%"L98&1)")2#$8#)%"98"&92(%$)"0L9,/@9$/I/$/"(/2L98"&9(%"#8(#R%$&/$9)"I%$18#)%"9

9 9 9

9 9 9 9 9 9 9

9 9 9 9 9 9 9J##<XRR---*'".*/&'R7'$%29 9 9 Z9='$%29F/"#/$9I%$9H/2#)"0X9='$%29!"2#)#'#/9%I9P/"#8.9P/82'$/1/"#29

Z9<'7.)2J/$9%I9$/;)/-29%I9(%11/$()8..@98;8).87./9#/2#298"&9822/221/"#29Z9<$%&'(/298""'8.9#/M#9%I9#/2#9$/;)/-29Z9)"&);)&'8.9#/2#9$/;)/-298;8).87./9I%$9<'$(J82/9%".)"/9Z92%'$(/9I%$9<$%&'(#298"&9)"2#$'(#)%"8.9$/2%'$(/29

9 9 9

9 9 9 9 9 9 9

J##<XRR---*'"1(*/&'R11)R9 9 9 Z9P'"$%/YP/@/$9!"2#)#'#/9TPP!U9I%$96/"/#)(298"&9S/J87).)#8#)%"L9G");/$2)#@9%I9K/7$82,89P/&)(8.9F/"#/$9Z92%'$(/9I%$9$/2/8$(JL9<$%&'(#29$/.8#/&9#%9&/;/.%<1/"#8.9&)287).)#)/29Z9)"(.'&/29822/221/"#2L9$/2/8$(JL97%%,2L98"&9$/2%'$(/299

9 9 9

J##<XRR---*;)2)%",)#2*(%1R9 9 9 Z9j)2)%"29+22%()8#/29Z9$/2%'$(/298"&918#/$)8.292</()I)(9#%9)"I8"#2R(J).&$/"9-)#J9;)2'8.9)1<8)$1/"#29Z9<$%&'(#29)"(.'&/97%%,2L9$/2%'$(/2L9822/221/"#2L9;)2'8.9,)#29

9 9 9

9 9 9 9 9 9 99 9 9 9 9 9 9

J##<XRR---*;%$#*(%1R9 9 9 Z9jcSH9F%$<%$8#)%"9Z9I81).@Y(/"#/$/&9&/;/.%<1/"#8.9822/221/"#298"&9)"2#$'(#)%"8.9$/2%'$(/29Z92</()I)(9#%97)$#J9#%92)M9@/8$980/9$8"0/9)"97%#J9J%1/98"&9<$/2(J%%.92/##)"029Z9<$%&'(#29)"(.'&/9#$8)")"0918#/$)8.2L9822/221/"#2L90')&/7%%,2L98"&98(#);)#@9$/2%'$(/299

9 9 9

9 9 9 9 9 9 9

9 9 9 9 9 9 9

J##<XRR---*-<2<'7.)2J*(%1R9 9 9 Z9C/2#/$"9V2@(J%.%0)(8.9A/$;)(/29TCVAU9Z9<'7.)2J/$9%I9#/2#2L97%%,2L92%I#-8$/L98"&9#J/$8<@9#%%.29Z92</()I)(9#%9<2@(J%.%0@L9/&'(8#)%"98"&98..)/&9I)/.&29Z9<$%&'(#29)"(.'&/29822/221/"#29I%$9(.)")(8.98"&92(J%%.9<2@(J%.%0@L9"/'$%<2@(J%.%0@L92</()8.9/&'(8#)%"L9I81).@9#J/$8<@L92<//(JL9.8"0'80/98"&9J/8$)"0L98"&9%(('<8#)%"8.9#J/$8<@9

9 9 9

9 9 9 9 9 9 9

Page 42: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

PM!

9 9 9 9 9 9 9J##<XRR---*h/$%#%#J$//*%$0R9 9 9 Z9r/$%9#%9HJ$//9

Z9%$08")h8#)%"9&/&)(8#/&9#%9#J/97)$#J9#%9#J$//980/90$%'<98"&9#J/)$9I81).)/29Z9<$%&'(#29)"(.'&/989<$%I/22)%"8.9i%'$"8.L9$/2/8$(J9$/;)/-L9$/2%'$(/2L9#$8)")"098"&97%%,299

9 9 9

9 9 9 9 9 9 9+&&)#)%"8.9S/2%'$(/X9 9 9 9 9 9 9J##<XRR---*((22%*%$0R<$%i/(#2R2(822R<$%i/(#2R/8$.@l(J).&J%%&l/&'(8#)%"l822/221/"#l(%"2%$#)'1R<'7.)(8#)%"2l8"&l<$%&'(#2R>4E4*(I19

9 9 Z9?8$.@9FJ).&J%%&9?&'(8#)%"9+22/221/"#9F%"2%$#)'19T?F?+U9Z990.%228$@9%I9,/@9-%$&29$/.8#/&9#%92#8"&8$&298"&9822/221/"#9I%$9@%'"09(J).&$/"X999]HJ/9C%$&29C/9G2/X9+96.%228$@9%I9H/$129I%$9?8$.@9FJ).&J%%&9?&'(8#)%"9A#8"&8$&298"&9+22/221/"#]9

9 9 9

9

Page 43: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

!

! PF

E%+%#-*)!!

155,.#/!l#2#0&+-!"'$2>,%0$%2B!@$.<#&2.%:!'(!o>#,5-B!k$%0&.'R!hDJJDiR!!"#"$$"%&'("$)*"+)'(,-,./#0,%)1.'$+*,,%2'l#%&.#<#/!1>T>2%!DFB!

DJJM!(&'U!6.5.2.$T!W.2%&.+%!W#<#,'5U#$%0,!4+&##$!!3#V2.%#H'-%%5Hff333R$//2R+0f+0$0/0f+0$#<0,>0%.'$R-%U,!

!

1>%.2U!o#$#%.+!l#2'>&+#!)*+-0$T#!k$,.$#R!G&'T&0U!;$('&U0%.'$R!3456'7"1&%/$)"+'8*/)/+/.$2'l#%&.#<#/!1>T>2%!DFB!DJJMB!(&'U!

1ol)!3#V2.%#H!!-%%5Hff333R0T&#R'&Tf5&'T&0Uf0V'>%0/'2TR+(Uq/'r5&'T&0U!

!

C0T$0%'&B!4RB!6#.23'&%-B!ER7R!j!=>$2'$B!4R!hQIINi!9:!;"%&'1$$,$$0,%)'1%(',1*.<'"%),*-,%)"/%='3%'1>)?,%)"+'+>**"+>.>0@A1$,('

1##*/1+?2'7'&'$%'='G0>,!AR!C&''8#2!G>V,.2-.$TR!

!

"'-#$B!YRoR!j!45#$+#&B!YR!ER!hDJJPiR!3$$,$$0,%)'/B'+?".(*,%'1%('</>)?'C")?'$#,+"1.'%,,($R!C'2%'$H!1,,:$!j!C0+'$R!

!

W>$2%B!"RER!hQIIOiR!5,-",C'/B')?,'DE1<.,<'$+1.,$'/B'"%B1%)'(,-,./#0,%)='F,+/%(',(")"/%'GEF:7@::HI2'7#2%!l#<.#3R!l#%&.#<#/!1>T>2%!

DFB!DJJMB!(&'U!g.$%#&V#&&:!G&#22!g#V!2.%#H!-%%5Hff3V5&#22R+'U!

!

)52%#.$!#%!0,R!hDJJLiR!J1."(")<'1%('*,."1A".")<'/B')?,'A,?1-"/*1.'1%(',0/)"/%1.'*1)"%&'$+1.,'GK%('6(")"/%H2!l#2#0&+-!'$!4'+.0,!g'&8!

G&0+%.+#HQLHPMOKPFNR!

!

9.&2%!4.T$2R!5,+/00,%(,('F+*,,%"%&'L//.$R!l#%&.#<#/!1>T>2%!DFB!DJJM!(&'U!9.&2%!4.T$2!3#V2.%#H!

-%%5Hff333R(.&2%2.T$2R'&Tf2+&##$.$Tf%'',2f&#+R-%U!

!

A.$+82KW#,,+&#2%!"#$%&#B!;$<#2%!.$!X./2!9'>$/0%.'$R!hDJJDiR!3$$,$$0,%)'"%B/*01)"/%R!l#%&.#<#/!1>T>2%!DFB!DJJM!(&'U!;$<#2%!.$!X./2!

9'>$/0%.'$!!3#V2.%#H!-%%5Hff333R.$<#2%.$8./2R+0f!

!

=#$%0,!=#02>&#U#$%2![#0&V''82H!!!

!

45.#2B!lR!1R!0$/!G,08#B!CR!h)/2RiB!h!DJJMiR!L?,'F"M),,%)?'N,%)1.'N,1$>*,0,%)$'O,1*A//P2'@$.<#&2.%:!'(!6#V&0280!G&#22H!

C>&'2!;$2%.%>%#!'(!=#$%0,!=#02>&#U#$%2R!!!

!

G,08#B!CR!;U50&0B!ER!j!45.#2!lRh)/2RiR!hDJJPiR'L?,'Q"B),,%)?'N,%)1.'N,1$>*,0,%)$'O,1*A//P2'@$.<#&2.%:!'(!6#V&0280!G&#22H!

C>&'2!;$2%.%>%#!'(!=#$%0,!=#02>&#U#$%2R!!!

'G,08#B!CR!;U50&0B!ER!h)/2RiR!hDJJQiR!L?,'Q/>*),,%)?'N,%)1.'N,1$>*,0,%)$'O,1*A//PR!@$.<#&2.%:!'(!6#V&0280!G&#22H!C>&'2!

;$2%.%>%#!'(!=#$%0,!=#02>&#U#$%2R!!!

';U50&0B!ER!j!C,08#B!CR!h)/2RiR!hQIIOi!L?,'L?"*),,%)?'N,%)1.'N,1$>*,0,%)$'O,1*A//P2!@$.<#&2.%:!'(!6#V&0280!G&#22H!C>&'2!

;$2%.%>%#!'(!=#$%0,!=#02>&#U#$%2R!!!

!"'$',#:B!ER"R!j!;U50&0B!ER"R!h)/2RiR!!hQIIMiR'L?,'LC,.B)?'N,%)1.'N,1$>*,0,%)$'O,1*A//P2!@$.<#&2.%:!'(!6#V&0280!G&#22H!

C>&'2!;$2%.%>%#!'(!=#$%0,!=#02>&#U#$%2R!!!

!"'$',#:B!ER"R!j!X&0U#&B!ERER!h)/2Ri!hQIIDi!L?,'6.,-,%)?!N,%)1.'N,1$>*,0,%)$'O,1*A//P2'@$.<#&2.%:!'(!6#V&0280!G&#22H!

C>&'2!;$2%.%>%#!'(!=#$%0,!=#02>&#U#$%2R!!!

'"'$',#:B!ER"R!j!X&0U#&B!ERER!h)/2Ri!hQIOIi!L?,'L,%)?!N,%)1.'N,1$>*,0,%)$'O,1*A//P2!@$.<#&2.%:!'(!6#V&0280!G&#22H!C>&'2!

;$2%.%>%#!'(!=#$%0,!=#02>&#U#$%2R!!!

!=.%+-#,,B!ER?RB!E&R!h)/RiR!hQIOMiR'L?,'!"%)?'N,%)1.'N,1$>*,0,%)$'O,1*A//P2'@$.<#&2.%:!'(!6#V&0280!G&#22H!C>&'2!;$2%.%>%#!'(!

=#$%0,!=#02>&#U#$%2R!!!

!!

Page 44: 0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’fcis.oise.utoronto.ca/~hmcbride/2292 ECE as. tools.pdf · /"0’ ’!12%+0*$’32-1’45*627%’8**+)’ ’,9*)’:20-1’-"’42;’

!

! PN

ke$'((B!4RB!l'T#&2B!4R!j!A#$/&#$B!lR!h)/2RiR!DJJJR!3>)"$0'$#,+)*>0'("$/*(,*='1'*,$,1*+?'*,-",C'B/*'#*1+)")"/%,*$R!1&,.$T%'$H!

1U#&.+0$!G2:+-.0%&.+!G>V,.2-.$T!;$+R!

!

G0,.20$'!lRB!l'2#$V0>U!GRB!g0,%#&!4RB!l>22#,,!WRB!g''/!)RB!j!o0,>55.!CR!hQIINiR!W#<#,'5U#$%!0$/!&#,.0V.,.%:!'(!0!2:2%#U!%'!+,022.(:!

T&'22!U'%'&!(>$+%.'$!.$!+-.,/&#$!3.%-!+#&#V&0,!50,2:R!7,-,./#0,%)1.'N,("+"%,'1%('R?".('!,>*/./&<S'TUB!DQLKDDPR!!

R!

!

7080-02-.B!ARB!4#8.B!=RB!j!Y.>B!=R!hDJJLiR!)<0,>0%.$T!U'%'&!(>$+%.'$!('&!5#/.0%&.+!&#-0V.,.%0%.'$!3.%-!T&'22!U'%'&!(>$+%.'$!U#02>&#!

ho=9=iH!1!&#<.#3R!V1#1%,$,'V/>*%1.'/B'5,?1A".")1)"/%'N,("+"%,S'WKH!LNMKLOOR!1V2%&0+%!&#%&.#<#/!1>T>2%!DFB!DJJM!(&'U!!

-%%5Hff3332'+R$..R0+Rn5fn0&Uf#$T,.2-f0V2%&0+%f?',LDfLDJLNM)1R-%U,!

!

@4!W#50&%U#$%!'(!A#0,%-!0$/!A>U0$!4#&<.+#2B!1/U.$.2%&0%.'$!('&!"-.,/&#$!0$/!90U.,.#2!h1"9iB!k((.+#!'(!G,0$$.$TB!l#2#0&+-!0$/!

)<0,>0%.'$!hkGl)iR!h1>T>2%!DLB!DJJMiR!61*.<'X,1('F)1*)'8*/&*10'8,*B/*01%+,'N,1$>*,$S'81*,%)"%&':%$)*>0,%)$R!l#%&.#<#/!1>T>2%!

DFB!DJJMB!(&'U!1"9!3#V2.%#H!

-%%5Hff333R0+(R--2RT'<f5&'T&0U2f'5&#f#-2f5#&(pU#02>&#2f&#5'&%2f&#2'>&+#2pU#02>&.$Tf&#2pU#02p5-.,R-%U,!

!

?0&$.!ERgRB!4#./!=RB!j!l'/#!"R1R!hQIIIiR!L?,'8,($Y9='0,1$>*,0,%)'0/(,.'B/*')?,'#,("1)*"+'Z>1.")<'/B'."B,'"%-,%)/*<2'

=#/"0&#HPNhDiH!QDFKPIR!1&%.+,#!&#%&.#<#/!1>T>2%!DFB!DJJMB!(&'U!60%.'$0,!;$2%.%>%#!'(!A#0,%-!g#V!2.%#H!-%%5Hff333R$+V.R$,UR$.-RT'<f!

!

!

!

!

!

!

!

!

!

!