VIA2 VIA1 MET2 VIA1. VIA2 w3 VIA2 MET1 MET3 MET3 MET2

Size: px
Start display at page:

Download "VIA2 VIA1 MET2 VIA1. VIA2 w3 VIA2 MET1 MET3 MET3 MET2"

Transcription

1 VIA DESIGN RULE CONSIDERATION IN MULTI-LAYER MAZE ROUTING ALGORITHMS Jon Cong, Jie Fng nd Kei-Yong Khoo Comuer Siene Dermen, UCLA Lo Angele, CA el , fx fong, jfng, ABSTRACT Mze rouing lgorihm re widely ued for nding n oiml h in deiled rouing for VLSI, PCB nd MCM. In hi er, we how h nding n oiml roue of wo-in ne in muli-lyer rouing environmen under ril vi deign rule n e urriely diul. Furhermore, righforwrd exenion o he mze rouing lgorihm h dillow vi-rule inorre roue my eiher ue uoiml roue o e found, or more eriouly, ue he filure o nd ny roue even if one exi. We reen rened heurii o hi rolem y emedding he dine o he mo reenly led vi in n exended onneion grh o h he mze rouing lgorihm h higher hne of nding vi-rule orre oimum h in he exended onneion grh. We furher reen eien d-ruure o imlemen he mze rouing lgorihm wihou he need o reonru he exended onneion grh. Exerimenl reul onrmed he uefulne of our lgorihm nd i liiliy o wide rnge of CMOS ehnologie. 1 INTRODUCTION Finding n oiml oin-o-oin h i he fundmenl oerion in re-ed deiled rouing for VLSI, PCB nd MCM. The mo ommon roh i o rereen he rouing re wih rouing grid nd erform rouing over he grid. The grid-oin in he rouing grid rereen he ermiile loion h he ener-line of h n hrough, nd he edge eween he grid-oin deermine he ermiile rouing ern. In generl, he gridoin nd grid-edge n e rereened e of node nd edge, reeively, in n undireed grh G =(V; E) lled he onneion grh. The edge re uully weighed o ree he rouing o, uh he ul lengh of he Thi work i rilly uored y DARPA/ETO under Conr DAAL01-96-K-3600 mnged y he US Army Reerh Lorory. 1 w3 w1 3 4 VIA2 e1 2 VIA2 w2 5 VIA2 w3 w2 1 Figure 1. Illurion of he 0.5 m CMOS deign rule. grid-edge, nd he o of h F () i he um of edgeweigh long he h. In hi er, we will ume h he edge weigh re uniform in eh direion for eh lyer. For exmle, ll horizonl h on he r rouing lyer hve he me o er uni lengh. We lo dene F ( e)=1if e n invlid h due o deign rule violion Pril Vi Deign Rule The lyou deign rule eify e of ing nd widh onrin on lyou geomerie o enure oh he yield nd he eleril erformne of he mnufured deign. For inne, minimum wire ing nd widh rimrily reven eleril hor nd oen, reeively. Minimum ing in vi enure good yield well good onneion eween he onneing mel lyer. Tle 1.1. how ome deign rule, (lo illured in Fig. 1), reled o he mel nd u lyer for hree-level-mel 0:5 m CMOS roe. While u i lerly dened he onneion eween wo djen onduing lyer, \vi" i le well dened nd ommonly men he onneing oje eween mel lyer. In hi er, he diinion of vi onneing only mel lyer i no neery nd we will ue \u" nd \vi" inerhngely when referring o he onneion eween o rouing lyer. There re hree roerie regrding he deign rule h re generlly rue in rie: Proery 1The minimum ing for u e only he me or djen u lyer. For exmle, here i no minimum ing reuiremen eween he CONTACT nd VIA2 lyer ine hey re no djen u lyer.

2 Tle 1. Deign Rule for 0:5 m CMOS Proe Rule Dimenion (m) w1 Minimum nd widh 0:6 w2 Minimum widh 1:2 w3 CONTACT, nd VIA2 ize 0:8 0:8 e1 Minimum mel enloure of CONTACT, nd VIA2 0:2 1 Minimum nd. 0:8 2 Minimum ing 1:2 3 Minimum CONTACT o CONTACT ing 0:6 4 Minimum CONTACT o ing 0:3 5 Minimum o ing 0:6 6 Minimum o VIA2 ing 0:3 7 Minimum VIA2 o VIA2 ing 0:6 The r, eond nd hird mel lyer re, nd, reeively. The u lyer re CONTACT, nd VIA2. CONTACT onne he olyilon lyer wih lyer. onne lyer wih lyer. VIA2 onne lyer wih lyer. Lyer 3 Lyer 2 Lyer 1 Figure 2. An exmle where rdiionl mze rouer nno nd h from o due o he vi ing rule h reuire minimum vi-ovi ing of wo grid-oin. The vlid h i,,,, d,. Proery 2The minimum ing for u on djen lyer i mller hn or eul o he minimum ing for u on he me lyer. For exmle, he minimum ing eween nd VIA2 i 0.3 m, where he minimum ing eween nd or eween VIA2 nd VIA2 i 0.6 m. Proery 3The minimum ing for wo u, on eiher he me or djen u lyer, i mller hn he minimum wire widh lu wo ime he wire ing (W2S) of eiher of i onneing mel lyer. For exmle, he minimum ing eween VIA2 nd VIA2 i 0.6-m, u he W2S for i (0:6 2 0:8) = 1:4 m, nd he W2S for i (1:2 21:2) = 3:6 m The Clil Mze Rouing Algorihm nd i Limiion Algorihm: Mze Rouing Algorihm (G; ; ) 1 Q ; 2 while Q 6= 3 Po(Q); 4 if ( = ) hen h found; 5 for-eh 2 Neighor() do 6 Exnd(; ; Q); 7 end for-eh 8 end while end Figure 3. The mze rouing lgorihm nd minimum-o h o in he grh G. Given onneion grh G =(V; E) nd oure node nd deinion (where ; 2 V ), he minimum-o h rolem i o nd h in G uh h F ( )i miniml mong ll feile h from o in G. I i ler h he h orreond o deiled rouing oluion in he rouing region rereened y G. The minimum-o h rolem n e olved uing he mze rouing lgorihm [1, 2], hown in Fig. 1.2., whih nd he minimumo h uing oin-y-oin exnion regy ed on he dynmi rogrmming rinile. I minin rioriy ueue Q of ndide node for exnion, ordered ording o heir rioriy. The rioriy deermine he exnion regy of he lgorihm. For exmle, uing he ul o o he node in Q he rioriie will reul in reh-r erh. Uing he ul o lu he eimed o o he deinion will reul in n A erh. A eh ierion, he highe rioriy node i rerieved from Q nd exnded ino eh of i feile neighor. Exnd(; ; Q) ude node (nd dd o Q if neery) if he h!! i eer hn he h o (if here i one). The oimliy of he mze lgorihm i redied on o funion F () h i monoone nd ie he rinile of oimliy [3] in dynmi rogrmming dened follow: A monoone o funion F () imlie h F () F ( 0 ) for ll uh 0, for ll h in G. Thi i eily ied y hving only oiive weigh for he edge in G. Inuiively, monoone o funion llow he h erhing roe o lwy rogre wy from he oure. Therefore, eh node in Gi exnded mo one in he mze rouing lgorihm. The rinile of oimliy in dynmi rogrmming [3] e h: Prinile of Oimliy: An oiml oliy h he roery h whever he iniil e nd iniil deiion re, he remining deiion mu oniue n oiml oliy wih regrd o he e reuling from he r deiion. In he mze lgorihm, he e h found o ll viied node o fr oniue e, nd how o ude he e h o viied node oniue deiion. The rinile of oimliy imlie h ny given oin in he mze exnion (line 6 in Fig. 1.2.) roe, ril rouing owrd he deinion i indeenden of he ril rouing h hve een lredy een found. However, hi

3 *, β, β u * β, u i βnode Figure 4. Illurion of node. i uully no rue in ril lyou deign ine ril rouing h h een omleed immediely imoe oile deign rule reriion round i viiniy. A oluion o hi rolem i o enure h he grid ing i greer hn or eul o he lrge lile ing rule. However, in \gridle" rouing, he rouing grid i mller hn he wor-e vi-o-vi ing nd n e ne he \mnufuring" grid (The ul grid ize i deermined y he reoluion of he ehnology nd/or he deign de). In hi e, he lemen of vi will reri where he nex vi n e led. The rolem of vi-rule on he mze rouing lgorihm n now e illured wih imlied exmle for lriy. Le' uoe h he rouing grid h uniform ing nd uniform edge o, nd he minimum vi ing i wo grid-ing. Fig. 2 how n exmle wih roeionl (i.e., veril wo-dimenionl lne) rouing region. Wih he mze rouing lgorihm, he oure node will e exnded r ino node nd. If node i exnded nex (ine he h, nd, hve he me o), hen will e exnded ino node nd d. Now node dn e exnded o u he oluion,, d, will e deign rule inorre! If invlid h re dillowed during mze exnion, hen node d will e dirded nd node will e exnded ino node. Bu ine node n e exnded mo one in he mze rouing lgorihm, node nno e exnded ino node eue node h een exnded efore. Therefore, he feile h,,,,d, will no e found. Noie h even if node i exnded efore (y y weighing he vi edge wih higher o), he feile h ill nno e found ine node will lwy e exnded efore node Prolem Formulion In he reviou exmle, he filure o nd h i due o node, lled he -node nd i dened follow: Deniion 1 Anode u in G i -node if (i) here exi n oiml vi-rule-orre h ; from o h onin u, nd (ii) here exi minimum-o h (lled he - h) 0 ; from o, h i vi-rule orre u o u, nd h mller o hn he uh from o u in ;. The -node i illured in Fig. 4. For he exmle hown in Fig. 2, node i -node ine (i) here i n oiml vi-rule-orre h,,,, d,, nd (ii) here i h, whoe o of 1 i mller hn he o of 3 of he uh,,,. The exiene of Figure 5. Vi ing violion in wo lyer rouing rolem n e eily orreed eue Proery 3 imlie h here nno e ny ole eween he wo vi. Therefore, he vi (eiher one or oh deending on oher onneion o he vi) n e reled wih wire egmen he mel lyer. -node reven n oiml h from eing diovered y he mze rouing lgorihm: Proery 4If here i n oiml vi-rule-orre h ; from o whih h -node long he h, hen he h will no e found y he mze rouing lgorihm. Proof: The mze rouing lgorihm will lwy exnd he -node ed on he -h eue i i he mlle o h mong ll he h from o. Sine noden only e exnded one in he mze rouing lgorihm, he oiml h ; h e hrough will no e found. Proery 5The mze rouing lgorihm my no nd he oiml vi-rule-orre h. Proof: Thi follow direly from Proery 4 if ll he oiml h hve -node long heir h. Noie h Proery 5 doe no reven he mze rouing lgorihm from reurning u-oiml h. Thi i in f uie ele in rie. However, he ide h n oiml vi-rule-orre h h uh h i longer (higher o) hn lolly oiml h ugge h he iuion deied in Proery 4 involve ome kind of rouing deour. For exmle, he oiml vi-rule-orre h in Fig. 2 involve he deour,,,. Thi imlie h he vi-rule will more likely e rouing in ongeed re. Thi n hve more eriou oneuene. Proery 6If every minimum-o vi-rule-orre h from o h -node long he h, hen he mze rouing lgorihm will no nd vi-rule-orre h from o even if uh h exi. Proof: The mze rouing lgorihm nd only he minimumo h. If ll uh h hve -node long hem, hen y Proery 4, none of he h will e found y he mze rouing lgorihm. Fig. 2 i uh n exmle. We wn o re h in rie, he vi-rule re no eriou rolem in he erly he of rouing where ri-und-reroue, nd lol modiion n eeively hndle mny of he iue wih vi-rule. I i in he ler he of rouing when he rouing region i exremely ongeed or omed, nd he free e re nrrow nd irregulr, h reful oniderion of he vi rule eome riil. The rooed rouing lgorihm i men o funion n uxiliry u more ure rouer h eek ril h when he rdiionl mze rouing lgorihm fil or eing uoiml. Thi will e deried in more deil in Seion 3.

4 Previou work in deiled rouing hve onidered he inerion of vi wih oher oje [4, 5] u no eween vi wihin he me roue. The rolem of deign rule inerion wihin he me roue h een knowledged in [4] u no olved exe for ome eily idenile eil e. Noie h he rouer in [4,5] re ully gridle rouer uing re exnion. Thi i o eue erly gridded rouer hve ued lrge enough grid ing nd evded he vi-ing rolem. I i lo inereing o noe h Proery 3 imlie h he vi ing i no rolem for wo-lyer rouing illured in Fig. 5. Therefore, he vi ing rolem i limied o hree or more lyer rouing whih doe no ly o mny erly work in deiled rouing. In induril rouer, heurii re ofen ued o mke he mze rouing lgorihm more rou o h i i unlikely o fil o nd roue u he roue my e u-oiml. The generl oimliy of h erhing in grh h doe no ify he rinile of oimliy of dynmi rogrmming i lo diued in [6]. However, he heme rooed in [6] i oo generl nd nno exloi mny roerie in ril deign. In hi er, we will reen heurii o hi rolem in Seion 2 uing n exended onneion grh h emed he dine o he mo reenly led vi in h. While righforwrd imlemenion of he mze rouing lgorihm on he exended onneion grh n olve he rolem, we reen in Seion 3 eien d-ruure o imlemen he mze rouing lgorihm wihou he need o reonru he exended onneion grh. Seion 4 how n ul rouing exmle where our lgorihm n nd oluion, where rdiionl mze rouing lgorihm nno. We lo how he liiliy of our lgorihm o vriey ofcmos ehnologie. We onlude our er in Seion 5. 2 EXTENDED CONNECTION GRAPH There re wo i rolem h re ued y he vi rule. One i h grid oiion my need o e exnded more hn one o nd he oimum h. The oher i h we need o minin he dine o he mo reenly led vi long he h o deermine when he nex vi n e led. Our oluion o hi rolem i o oneully ree n exended onneion grh h emed he vi dine well o rovide mulile node eh grid-oiion o h eh grid oiion n eeively e exnded more hn one during he mze rouing. We le K e he minimum numer of uni griding eween he vi on djen lyer (e.g., K=2 in Fig. 2). Our ide i o rnform eh node v in he originl onneion grh G ino 2K exended node v,(k,1) ; ;v,1;v 0;v 1;;v K,1;v K in n exended direed onneion grh G 0 = (E 0 ;V 0 ). The node in G he o nd oom lyer re he exeion, nd hey re dded o G 0 wihou eing rnformed. Eh exended node v i (jij < K) ure he e h h i jij griding wy from he mo reenly led vi h i o he lef (if K>i>0) or o he righ (if i<0) of he urren node. The exended node v K ure he e h h i K or more grid-ing wy from he mo reenly led vi. The edge in G 0 re dded follow: (i) if v Lyer 3 Lyer 2 Lyer uri Figure 6. The exended onneion grh G 0 for he exmle hown on he lef. n rvere o i neighor u in G, hen v K n rvere o u K, nd v ij jij<k n rvere o u i1 if u i o righ ofv or u i,1 if u i o he lef of v, nd (ii) he exended node h n e onneed from vi re hoe wih uri 0 nd he exended node h n onne o vi re hoe wih uri K. Bed on he wo rule, we n onru he exended onneion grh for he exmle in Fig. 2 hown in Fig. 6. Noie h he oiml vi-rule-orre h i emedded in G 0,, 0, 1,d 2,. Noie lo h he minimum-o u vi-rule-inorre h i no in G 0 ; i.e., here exi no indie i; j uh h, i, d j, i in G 0. The exended onneion grh hown in Fig. 6 i vlid only for ro-eionl (wo-dimenionl) rouing region. For muli-lyer generl re rouing, he exended node mu enode he dine from he mo reenly led vi in oh he x-direion nd he y-direion. Therefore, eh node v in G, h i no in he o or oom lyer, i rnformed o (2K, 1) 2 1 exended node v K;K nd v i;j for i; j =0;1;2;;(K,1). The r nd eond indie (uri) rereen he (eiher oiive or negive) dine in he x-direion nd he y-direion from he mo reenly led vi, reeively. For eh edge e = (u; v) in he originl grh G h rereen wire egmen (i.e., u nd v rereen grid-oin in he me rouing lyer) in he x-direion, we dd he following edge o G 0 : (i) n undireed edge (u K;K;v K;K); (ii) direed edge in he oiive x-direion: (u i;j;v i1;j) for ll oile j, nd i =0;;K,2 nd he direed edge (u K,1;j;v K;K) for ll oile j; nd (iii) direed edge edge in he negive x-direion: (v i;j;u i,1;j) for ll oile j, nd i =0;,1;;,(K,2), nd (v,(k,1);j ;v K;K) for ll oile j. Similrly for edge in he y-direion. Therefore, n exended node v i;j ure he e h h i i nd j grid-oin wy from he mo reenly led vi in he x nd y direion, reeively. For eh edge e =(u; v) 2 E rereening vi, (i.e., u nd v rereen grid-oin on djen rouing lyer), we dd he edge (u 0;0;v K;K) nd (v 0;0;u K;K), o G 0. If u i on he oom or o lyer, hen he edge dded o G 0 re (u; v 0;0) nd (v K;K;u). Finlly, noie h K n e dieren for differen djen lyer. For exmle, in four-level rouing region, K 1 nd K 2 n orreond o he ing of o VIA2 nd VIA2 o VIA3, nd lied o he rnformion of grh node on lyer 2 nd lyer 3, reeively. The numer of node nd edge in G 0 re jv 0 j =

5 O(K 2 jv j) nd je 0 j = O(K 2 jej), reeively. However, he vi-ing K need no e very lrge in rie. For exmle, he 0.5- CMOS ehnology hown in Tle 1.1. h o VIA2 minimum ing of 0.3-m. Therefore, uing mnufuring grid-ing of 0.1-m give u reonly mll K vlue of only 3. Furhermore, we will reen eien d-ruure o imlemen he mze rouing lgorihm on G 0 wihou he need o onru G 0 efore rouing egin in he nex eion. The exended onneion grh G 0 lone doe no reven nding vi-rule inorre h. For exmle, he h,, 0, 1, d 2, 2, 2, in Fig. 6 i feile h in G 0 u no vi-rule-orre h ine he vi, 0 i no le wo grid-oin wy from he vi 2,. Therefore, we need o ly he following reriion when exnding node o i neighor in G 0. Reriion 1 Given he node v K;K, u K;K, nd 0;0 in G 0 where (i) v K;K nd u K;K re djen node, nd (ii) 0;0 i he oiion of he mo reenly led vi long he erh h o v K;K, hen v K;K n only e exnded ino u K;K if u K;K i le K grid wy from 0;0. For exmle, hi reriion will reven exloring he h,, 0, 1, d 2, 2, in Fig. 6 ine d 2 will no e llowed o exnd ino 2 due o he reene of 0. Thi reriion n e eily imlemened when he erh h i ored exliily h (deried in he nex Seion) rher \k link" in rdiionl mze rouer. We n now ly he mze rouing lgorihm in Fig o G 0 o nd he orreonding minimum-o vi-rule-orre h in G. Wih he reriion, G 0 will lwy reurn vi-ruleorre h if one i found. However, he reriion le ondiionl rule on G 0 nd in ee viole he Prinile of Oimliy. Thi will reven vlid vi-rule-orre h o e found in G 0 even if one exi. For exmle, Fig. 7 how ro-eionl onneion grh G nd i orreonding exended grh G 0 (imilr o Fig. 6) h onin he vi-rule-orre h,, 0, r,1, d 2, 2, 2,. If he edge re uniformed weighed, hen node d 2 will e viied y he eul o h,, 0, 1, d 2 nd,, 0, r,1, d 2. If he h,, 0, 1, d 2 i hoen, hen no oluion will e found in G 0. Therefore, node d 2 i -node nd he vi-rule-orre h my no e found in G 0. In f, he vi-rule-orre h will no e found if he vi, i more hn 2K grid-oin wy from he vi,. On he oher hnd, if he vi, i wihin 2K grid-oin from he vi,, hen he vi-rule-orre h will e found. Therefore, our lgorihm i eeive in reolving he rolem of vi deign rule inerion for vi h re loe y u i doe no olve he rolem of vi deign rule inerion dine. 3 SEARCHING ON THE EXTENDED CONNECTION GRAPH A righforwrd roh o nd he oiml vi-rule orre h i o onru G 0 nd ly he mze rouing lgorihm on G 0. Thi i ineien eue of he overhed in onruing G 0, nd mny exended node will never e viied. Furhermore, erhing on G 0 i only ueful round ongeed re. The liion of he rooed rouer i G r G r uri Figure 7. Exmle howing he filure of nding he minimum-o vi-rule-orre h in G 0. Se Ex- Prioriy ueue Q Hh Diionry M nd ho; nodei ho; hi Sr h0; i h; i 1 h1; 0 ih1;i h 0 ;ih; i 2 0 h1;ih2;,1 ih2;d 1 i h 0 ;ih; i h,1 ; ihd 1 ; di 3 h2;,1 ih2;d 1 ih2; 0 i h,1 ; ihd 1 ; di h 0 ; i 4,1 h2;d 1 ih2; 0 i hd 1 ; dih 0 ; i 5 d 1 h2; 0 i h 0 ; i 6 0 h3; 1 i h 1 ; i 7 1 h4;d 2 i hd 1 ; di 8 d 2 h5;i h; di Done Figure 8. On-he-y exnion of G 0 for he exmle in Fig. 2. We how he oiion for enrie in H ymolilly wih he node nme, nd hve omied he o nd viiion informion for reviy. Noie h he exended node re reed only hey re viied. For inne, e 2, he exended node 0 i reed when i exnded. Oviouly, only mll ue of node in G 0 i reed. o ke over he k of nding hor ril h (i.e., o ueeze hrough ongeed re) when rdiionl mze rouer fil o nd h. Therefore, i i no deirle o onru G 0 hed of ime. We will now how mze exnion lgorihm h doe no reuire G 0 o e onrued hed of ime. The mze exnion roe rvere G 0 o nd he oiml h. The d needed eh nodev2v 0 (we hve droed he uri here for reviy) during he exnion re: (i) he o of he e h found o v, nd (ii) he re k ode o genere h h. Relizing h only very mll ue of he node in he exnding wvefron re ively involved in he mze exnion oerion, Souku rooed in [7] o ue ere d-ruure o minin he mze exnion informion. Thi wy, he ize of onneion grh node n e igninly redued. Thi i riulrly ueful eue he exended onneion grh node n e omued on-he-y ed on he originl onneion grh nd need no e relized ll. Only he informion needed during exnion need o e re-

6 ed nd ored in emorry node lled he mze node. The d-ruure for imlemening he mze exnion informion re follow. We le m e mze node for n exended node v nd m oni of o (m:o), he oiion of v (m:o), g o mrk viiion y neighor (m:vii) nd he e h (m:h) from o m:o. The h i euene of egmen nd eh egmen i rereened uing 2-ule hd; li where d i direion nd l he lengh, reeively. The overll h i onrued y ring from uing he direion nd lengh in eh egmen. Le M e he e of mze node orgnized hh diionry uing m:o he erh key. An enry in he rioriy ueue Q for mze node m oni of m:o nd he omued rioriy ed on m:o. During he mze exnion, n enry i oed from Q h rovide he oiion of he mze-node n h i eing exnded o n n e rerieved from M. The oiion o 0 of feile neighor in G 0 h h no een viied, found uing n:vii, i omued on-he-y ed on he originl onneion grh G. If o 0 i no erh key in M, hen new mze node m wih m:o = o 0 i dded o M; oherwie m where m:o = o 0 i rerieved from M. If he h o m hrough n i eer, hen m:o nd m:h, nd he rioriy ueue re uded ordingly. The viiion g in m i lo mrked roriely. Finlly, when n i fully exnded y viiing ll i feile neighor, i i deleed from M. Thi i illured in Fig. 8 for he exmle hown in Fig. 2. Our heme dier from h deried in [7] in h M i no orgnized in [7] nd h we ore he oiml h direly eh mze node ined of genering k-re ode for every viied node. Our lgorihm eeively lloe memory only for he wvefron node in he mze exnion. Therefore, he memory reuiremen i deenden on he mximum numer of wvefron node nd he ize of eh h in hee node. The numer of wvefron node i inuened y oh he mze exnion regy nd he reene of ole in he rouing region. The ize of h in he mze node i he numer of egmen. In rie, in ongeed lyou, he numer of wvefron node re firly onn due o he very limied erh e. 4 EXPERIMENTAL RESULTS We hve uefully imlemened our mze rouing lgorihm in omrion wih wo oher rouer. One i Iroue [4] in he Mgi IC lyou edior nd he oher i rdiionl mze rouer h erform on-he-y vi-rule hek nd dird ll inorre h. In Fig. 9, we how hree lyer exmle imilr o he ro-eionl digrm in Fig. 2. The rdiionl mze rouer filed o nd ny h eue i exnded r. Iroue reurned vi-ruleinorre h,, d, while our lgorihm found he oiml vi-rule-orre h,,,d,. Fig. 10 how four lyer exmle uing MOSIS SCMOS deign rule. The h,,,, found y Iroue i vi-rule inorre eue he vi-o-vi ing eween nd i oo mll. By deeing hi inorre h, rdiionl mze rouer found deoured h,, 1, 1,. Wih he iliy o exnd node more hn one, our lgorihm found he oiml h, 1, 2,,. () Rouing rolem d Inorre Vi Sing () Iroue reul Conneion No Found () Trdiionl mze lgorihm reul d (d) Our reul Figure 9. A e uing he 0.5-m CMOS ehnology hown in Tle 2 where our rooed rouing lgorihm found he vi-rule orre oiml h. The ring oin i olyilon-o- on nd he rge i omewhere o he righ of he gure. The lyou re drwn o le. The vlidiy of our lgorihm deend on Proerie 1, 2 nd 3 (deried in Seion 1) eing rue. A urvey of few IC ehnologie how h hey re in f rue hown in Tle 2. The ize of K i lo given in he le. I i very likely h in dvned ehnology, he minimum ing rule eween djen u lyer will remin mll, o h he ize of he exended onneion remin reonle. Noie h wih he on-he-y exnion heme deried in Seion 3, i i he numer of viied exended node h im he memory nd runime erformne of our lgorihm. A reul, he im of K i le hn udri in rie. We imlemened our lgorihm nd eed i wih hree exmle on Sun Ulr 1 workion, hown in Tle 3. The erh window for eh exmle rnge from o Our exerimenl reul how h he run ime inree i u-udri wih ree o K. 5 CONCLUSION We hve hown h oluion of he rdiionl mze rouing lgorihm n viole ril vi-rule in muli-lyer rouing environmen. Furhermore, righforwrd exenion o he mze rouing lgorihm h dillow virule inorre roue my eiher ue uoiml roue o e found, or more eriouly, ue he filure o nd ny roue even if one exi. We reen heurii o hi rolem y emedding he dine o he mo reenly led vi in n exended onneion grh o h he mze rouing lgorihm h higher hne of nding vi-rule orre oimum h in he exended onneion grh. We furher reen eien d-ruure o imlemen he mze rouing lgorihm wihou he need o reonru he exended onneion grh.

7 MET4 MET4 () Rouing rolem Inorre Vi Sing 1 2 Su-Oiml Ph 1 () Trdiionl mze lgorihm reul Tle 2. Exmle of CMOS Deign Rule Feure Miron rule (m) rule 0:5m 0:8m SCMOS w1 Min widh 0:6 1:2 3 w2 Min widh 0:6 1:4 3 w3 Min widh 1:2 2:1 6 w4 Min MET4 widh N/A N/A 6 e1 Min enl. of 0:2 0:5 1 e2 Min enl. of VIA2 0:2 0:6 1 e3 Min enl. of VIA3 N/A N/A 1 1,2 Min,. 0:8 1:2 3 3 Min ing 1:2 1:6 4 4 Min MET4 ing N/A N/A 6 5 Min CONTACT o ing 0:6 0:8 3 6 Min o. 0:6 1:2 3 7 Min o VIA2. 0:3 1:2 2 8 Min VIA2 o VIA2. 0:6 1:5 3 9 Min VIA2 o VIA3. N/A N/A 3 10 Min VIA3 o VIA3. N/A N/A 4 Uni grid ing 0:1 0:1 1 K ; 3 1 () Iroue reul (d) Our reul Figure 10. A e uing he four lyer SCMOS ehnology hown in Tle 2 where our rooed rouing lgorihm found he vi-rule orre oiml h. The ring oin i olyilon-o- on nd he rge oin i on MET4. The lyou re drwn o le. REFERENCES [1] E. W. Dijkr, \A noe on wo rolem in onnexion wih grh," Numerihe Mhemik, vol. 1,. 269{ 271, [2] C. Lee, \An lgorihm for h onneion nd i liion," IRE Trn Eleroni Comuer, vol. EC- 10, no. 1,. 346{65, [3] R. Bellmn, Dynmi Progrmming. Prineon Univeriy Pre, [4] M. Arnold nd W. So, \An inerive mze rouer wih hin," in Pro. 25h ACM/IEEE Deign Auomion Conf., no. 1,. 672{76, Tle 3. Run Time on Differen K' Ex. Serh Window # Ne Run Time (e) (X/Y grid) K=3 K=5 K=12 T T T [7] J. Souku, \Mze rouer wihou grid m," in Pro. IEEE/ACM In. Conf. Comuer-Aided Deign Dig. Teh. Per,. 382{385, 8-12 Nov [5] W. Shiele, T. Kruger, K. Ju, nd F. Kirh, \A gridle rouer for induril deign rule," in Pro. 27h ACM/IEEE Deign Auomion Conf., June [6] A. Teelum, \Generlized oimum h erh," IEEE Trn. Comuer-Aided Deign, vol. 14, no. 12,. 1586{1590, De

Solutions to assignment 3

Solutions to assignment 3 D Sruure n Algorihm FR 6. Informik Sner, Telikeplli WS 03/04 hp://www.mpi-.mpg.e/~ner/oure/lg03/inex.hml Soluion o ignmen 3 Exerie Arirge i he ue of irepnie in urreny exhnge re o rnform one uni of urreny

More information

CSC 373: Algorithm Design and Analysis Lecture 9

CSC 373: Algorithm Design and Analysis Lecture 9 CSC 373: Algorihm Deign n Anlyi Leure 9 Alln Boroin Jnury 28, 2013 1 / 16 Leure 9: Announemen n Ouline Announemen Prolem e 1 ue hi Friy. Term Te 1 will e hel nex Mony, Fe in he uoril. Two nnounemen o follow

More information

CS3510 Design & Analysis of Algorithms Fall 2017 Section A. Test 3 Solutions. Instructor: Richard Peng In class, Wednesday, Nov 15, 2017

CS3510 Design & Analysis of Algorithms Fall 2017 Section A. Test 3 Solutions. Instructor: Richard Peng In class, Wednesday, Nov 15, 2017 Uer ID (NOT he 9 igi numer): gurell4 CS351 Deign & Anlyi of Algorihm Fll 17 Seion A Te 3 Soluion Inruor: Rihr Peng In l, Weney, Nov 15, 17 Do no open hi quiz ookle unil you re iree o o o. Re ll he inruion

More information

Bisimulation, Games & Hennessy Milner logic p.1/32

Bisimulation, Games & Hennessy Milner logic p.1/32 Clil lnguge heory Biimulion, Gme & Henney Milner logi Leure 1 of Modelli Memii dei Proei Conorreni Pweł Sooińki Univeriy of Souhmon, UK I onerned rimrily wih lnguge, eg finie uom regulr lnguge; uhdown

More information

Graduate Algorithms CS F-18 Flow Networks

Graduate Algorithms CS F-18 Flow Networks Grue Algorihm CS673-2016F-18 Flow Nework Dvi Glle Deprmen of Compuer Siene Univeriy of Sn Frnio 18-0: Flow Nework Diree Grph G Eh ege weigh i piy Amoun of wer/eon h n flow hrough pipe, for inne Single

More information

Maximum Flow. Flow Graph

Maximum Flow. Flow Graph Mximum Flow Chper 26 Flow Grph A ommon enrio i o ue grph o repreen flow nework nd ue i o nwer queion ou meril flow Flow i he re h meril move hrough he nework Eh direed edge i ondui for he meril wih ome

More information

Fall 2014 David Wagner 10/31 Notes. The min-cut problem. Examples

Fall 2014 David Wagner 10/31 Notes. The min-cut problem. Examples CS 7 Algorihm Fll 24 Dvid Wgner /3 Noe The min-u problem Le G = (V,E) be direed grph, wih oure verex V nd ink verex V. Aume h edge re lbelled wih o, whih n be modelled o funion : E N h oie non-negive inegrl

More information

Robust Network Coding for Bidirected Networks

Robust Network Coding for Bidirected Networks Rou Nework Coding for Bidireed Nework A. Sprinon, S. Y. El Rouyhe, nd C. N. Georghide Ar We onider he prolem of nding liner nework ode h gurnee n innneou reovery from edge filure in ommuniion nework. Wih

More information

LAPLACE TRANSFORMS. 1. Basic transforms

LAPLACE TRANSFORMS. 1. Basic transforms LAPLACE TRANSFORMS. Bic rnform In hi coure, Lplce Trnform will be inroduced nd heir properie exmined; ble of common rnform will be buil up; nd rnform will be ued o olve ome dierenil equion by rnforming

More information

Bipartite Matching. Matching. Bipartite Matching. Maxflow Formulation

Bipartite Matching. Matching. Bipartite Matching. Maxflow Formulation Mching Inpu: undireced grph G = (V, E). Biprie Mching Inpu: undireced, biprie grph G = (, E).. Mching Ern Myr, Hrld äcke Biprie Mching Inpu: undireced, biprie grph G = (, E). Mflow Formulion Inpu: undireced,

More information

1 The Network Flow Problem

1 The Network Flow Problem 5-5/65: Deign & Anlyi of Algorihm Ooer 5, 05 Leure #0: Nework Flow I l hnged: Ooer 5, 05 In hee nex wo leure we re going o lk ou n imporn lgorihmi prolem lled he Nework Flow Prolem. Nework flow i imporn

More information

Price Discrimination

Price Discrimination My 0 Price Dicriminion. Direc rice dicriminion. Direc Price Dicriminion uing wo r ricing 3. Indirec Price Dicriminion wih wo r ricing 4. Oiml indirec rice dicriminion 5. Key Inigh ge . Direc Price Dicriminion

More information

Chapter Introduction. 2. Linear Combinations [4.1]

Chapter Introduction. 2. Linear Combinations [4.1] Chper 4 Inrouion Thi hper i ou generlizing he onep you lerne in hper o pe oher n hn R Mny opi in hi hper re heoreil n MATLAB will no e le o help you ou You will ee where MATLAB i ueful in hper 4 n how

More information

Algorithmic Discrete Mathematics 6. Exercise Sheet

Algorithmic Discrete Mathematics 6. Exercise Sheet Algorihmic Dicree Mahemaic. Exercie Shee Deparmen of Mahemaic SS 0 PD Dr. Ulf Lorenz 7. and 8. Juni 0 Dipl.-Mah. David Meffer Verion of June, 0 Groupwork Exercie G (Heap-Sor) Ue Heap-Sor wih a min-heap

More information

t s (half of the total time in the air) d?

t s (half of the total time in the air) d? .. In Cl or Homework Eercie. An Olmpic long jumper i cpble of jumping 8.0 m. Auming hi horizonl peed i 9.0 m/ he lee he ground, how long w he in he ir nd how high did he go? horizonl? 8.0m 9.0 m / 8.0

More information

Three Dimensional Coordinate Geometry

Three Dimensional Coordinate Geometry HKCWCC dvned evel Pure Mhs. / -D Co-Geomer Three Dimensionl Coordine Geomer. Coordine of Poin in Spe Z XOX, YOY nd ZOZ re he oordine-es. P,, is poin on he oordine plne nd is lled ordered riple. P,, X Y

More information

Motion. Part 2: Constant Acceleration. Acceleration. October Lab Physics. Ms. Levine 1. Acceleration. Acceleration. Units for Acceleration.

Motion. Part 2: Constant Acceleration. Acceleration. October Lab Physics. Ms. Levine 1. Acceleration. Acceleration. Units for Acceleration. Moion Accelerion Pr : Consn Accelerion Accelerion Accelerion Accelerion is he re of chnge of velociy. = v - vo = Δv Δ ccelerion = = v - vo chnge of velociy elpsed ime Accelerion is vecor, lhough in one-dimensionl

More information

A LOG IS AN EXPONENT.

A LOG IS AN EXPONENT. Ojeives: n nlze nd inerpre he ehvior of rihmi funions, inluding end ehvior nd smpoes. n solve rihmi equions nlill nd grphill. n grph rihmi funions. n deermine he domin nd rnge of rihmi funions. n deermine

More information

e t dt e t dt = lim e t dt T (1 e T ) = 1

e t dt e t dt = lim e t dt T (1 e T ) = 1 Improper Inegrls There re wo ypes of improper inegrls - hose wih infinie limis of inegrion, nd hose wih inegrnds h pproch some poin wihin he limis of inegrion. Firs we will consider inegrls wih infinie

More information

Jonathan Turner Exam 2-10/28/03

Jonathan Turner Exam 2-10/28/03 CS Algorihm n Progrm Prolm Exm Soluion S Soluion Jonhn Turnr Exm //. ( poin) In h Fioni hp ruur, u wn vrx u n i prn v u ing u v i v h lry lo hil in i l m hil o om ohr vrx. Suppo w hng hi, o h ing u i prorm

More information

SECTION C-C PARALLEL/DEPRESSED CORNER PEDESTRIAN CURB RAMP DETAILS X"

SECTION C-C PARALLEL/DEPRESSED CORNER PEDESTRIAN CURB RAMP DETAILS X N 0 MODIIED N 0 UED WHEN RIGH-O-WY I ONRINED WLK NON-WLKLE OR WLKLE URE RIGH ORM MY E UED % MX. PLOED/REVIED://0 K O UR LOW LINE RON O GUER PERPENDIULR WLK NON-WLKLE OR WLKLE URE % MX. %-0% DIGONL HLL

More information

graph of unit step function t

graph of unit step function t .5 Piecewie coninuou forcing funcion...e.g. urning he forcing on nd off. The following Lplce rnform meril i ueful in yem where we urn forcing funcion on nd off, nd when we hve righ hnd ide "forcing funcion"

More information

Designing A Fanlike Structure

Designing A Fanlike Structure Designing A Fnlike Sruure To proeed wih his lesson, lik on he Nex buon here or he op of ny pge. When you re done wih his lesson, lik on he Conens buon here or he op of ny pge o reurn o he lis of lessons.

More information

The Forming Theory and Computer Simulation of the Rotary Cutting Tools with Helical Teeth and Complex Surfaces

The Forming Theory and Computer Simulation of the Rotary Cutting Tools with Helical Teeth and Complex Surfaces Compuer nd Informion Siene The Forming Theory nd Compuer Simulion of he Rory Cuing Tools wih Helil Teeh nd Comple Surfes Hurn Liu Deprmen of Mehnil Engineering Zhejing Universiy of Siene nd Tehnology Hngzhou

More information

Flow Networks Alon Efrat Slides courtesy of Charles Leiserson with small changes by Carola Wenk. Flow networks. Flow networks CS 445

Flow Networks Alon Efrat Slides courtesy of Charles Leiserson with small changes by Carola Wenk. Flow networks. Flow networks CS 445 CS 445 Flow Nework lon Efr Slide corey of Chrle Leieron wih mll chnge by Crol Wenk Flow nework Definiion. flow nework i direced grph G = (V, E) wih wo diingihed erice: orce nd ink. Ech edge (, ) E h nonnegie

More information

Lecture 2: Network Flow. c 14

Lecture 2: Network Flow. c 14 Comp 260: Avne Algorihms Tufs Universiy, Spring 2016 Prof. Lenore Cowen Srie: Alexner LeNil Leure 2: Nework Flow 1 Flow Neworks s 16 12 13 10 4 20 14 4 Imgine some nework of pipes whih rry wer, represene

More information

two values, false and true used in mathematical logic, and to two voltage levels, LOW and HIGH used in switching circuits.

two values, false and true used in mathematical logic, and to two voltage levels, LOW and HIGH used in switching circuits. Digil Logi/Design. L. 3 Mrh 2, 26 3 Logi Ges nd Boolen Alger 3. CMOS Tehnology Digil devises re predominnly mnufured in he Complemenry-Mel-Oide-Semionduor (CMOS) ehnology. Two ypes of swihes, s disussed

More information

ALG 5.3 Flow Algorithms:

ALG 5.3 Flow Algorithms: ALG 5. low Algorihm: () Mx-flow, min-u Theorem () Augmening Ph () 0 - flow (d) Verex Conneiviy (e) Plnr low Min Reding Seleion: CLR, Chper 7 Algorihm Profeor John Reif Auxillry Reding Seleion: Hndou: "Nework

More information

Minimum Squared Error

Minimum Squared Error Minimum Squred Error LDF: Minimum Squred-Error Procedures Ide: conver o esier nd eer undersood prolem Percepron y i > for ll smples y i solve sysem of liner inequliies MSE procedure y i = i for ll smples

More information

Minimum Squared Error

Minimum Squared Error Minimum Squred Error LDF: Minimum Squred-Error Procedures Ide: conver o esier nd eer undersood prolem Percepron y i > 0 for ll smples y i solve sysem of liner inequliies MSE procedure y i i for ll smples

More information

Positive and negative solutions of a boundary value problem for a

Positive and negative solutions of a boundary value problem for a Invenion Journl of Reerch Technology in Engineering & Mngemen (IJRTEM) ISSN: 2455-3689 www.ijrem.com Volume 2 Iue 9 ǁ Sepemer 28 ǁ PP 73-83 Poiive nd negive oluion of oundry vlue prolem for frcionl, -difference

More information

1. Find a basis for the row space of each of the following matrices. Your basis should consist of rows of the original matrix.

1. Find a basis for the row space of each of the following matrices. Your basis should consist of rows of the original matrix. Mh 7 Exm - Prcice Prolem Solions. Find sis for he row spce of ech of he following mrices. Yor sis shold consis of rows of he originl mrix. 4 () 7 7 8 () Since we wn sis for he row spce consising of rows

More information

Admin MAX FLOW APPLICATIONS. Flow graph/networks. Flow constraints 4/30/13. CS lunch today Grading. in-flow = out-flow for every vertex (except s, t)

Admin MAX FLOW APPLICATIONS. Flow graph/networks. Flow constraints 4/30/13. CS lunch today Grading. in-flow = out-flow for every vertex (except s, t) /0/ dmin lunch oday rading MX LOW PPLIION 0, pring avid Kauchak low graph/nework low nework direced, weighed graph (V, ) poiive edge weigh indicaing he capaciy (generally, aume ineger) conain a ingle ource

More information

AN IMPROVED CREEP AND SHRINKAGE BASED MODEL FOR DEFLECTIONS OF COMPOSITE MEMBERS REINFORCED WITH CARBON FIBER REINFORCED BARS

AN IMPROVED CREEP AND SHRINKAGE BASED MODEL FOR DEFLECTIONS OF COMPOSITE MEMBERS REINFORCED WITH CARBON FIBER REINFORCED BARS N MPROVED CREEP ND SHRNKGE BSED MODEL FOR DEFLECTONS OF COMPOSTE MEMBERS RENFORCED WTH CRBON FBER RENFORCED BRS M.. Fruqi, S. Bhdr D. Sun, nd J. Si Deprmen o Civil nd rhieurl Engineering, Tex & M Univeriy,

More information

EECE 301 Signals & Systems Prof. Mark Fowler

EECE 301 Signals & Systems Prof. Mark Fowler EECE 31 Signal & Syem Prof. Mark Fowler Noe Se #27 C-T Syem: Laplace Tranform Power Tool for yem analyi Reading Aignmen: Secion 6.1 6.3 of Kamen and Heck 1/18 Coure Flow Diagram The arrow here how concepual

More information

Tutorial 2 Euler Lagrange ( ) ( ) In one sentence: d dx

Tutorial 2 Euler Lagrange ( ) ( ) In one sentence: d dx Tutoril 2 Euler Lgrnge In one entene: d Fy = F d Importnt ft: ) The olution of EL eqution i lled eterml. 2) Minmum / Mimum of the "Mot Simple prolem" i lo n eterml. 3) It i eier to olve EL nd hek if we

More information

Mathcad Lecture #4 In-class Worksheet Vectors and Matrices 1 (Basics)

Mathcad Lecture #4 In-class Worksheet Vectors and Matrices 1 (Basics) Mh Lr # In-l Workh Vor n Mri (Bi) h n o hi lr, o hol l o: r mri n or in Mh i mri prorm i mri mh oprion ol m o linr qion ing mri mh. Cring Mri Thr r rl o r mri. Th "Inr Mri" Wino (M) B K Poin Rr o

More information

0 for t < 0 1 for t > 0

0 for t < 0 1 for t > 0 8.0 Sep nd del funcions Auhor: Jeremy Orloff The uni Sep Funcion We define he uni sep funcion by u() = 0 for < 0 for > 0 I is clled he uni sep funcion becuse i kes uni sep = 0. I is someimes clled he Heviside

More information

An Algorithm for Integrated Pin Assignment and Buffer Planning Λ

An Algorithm for Integrated Pin Assignment and Buffer Planning Λ An Algoihm fo Ineged Pin Aignmen nd Buffe Plnning Λ Hu Xing, Xioing Tng, nd D.F. Wong Univeiy of Tex Auin, Auin, TX Silion Peeive, A Cdene Comny, Sn Cl, CA fxingh, ng, wongg@.uex.edu ABSTRACT The uffe

More information

Transformations. Ordered set of numbers: (1,2,3,4) Example: (x,y,z) coordinates of pt in space. Vectors

Transformations. Ordered set of numbers: (1,2,3,4) Example: (x,y,z) coordinates of pt in space. Vectors Trnformion Ordered e of number:,,,4 Emple:,,z coordine of p in pce. Vecor If, n i i, K, n, i uni ecor Vecor ddiion +w, +, +, + V+w w Sclr roduc,, Inner do roduc α w. w +,.,. The inner produc i SCLR!. w,.,

More information

4.8 Improper Integrals

4.8 Improper Integrals 4.8 Improper Inegrls Well you ve mde i hrough ll he inegrion echniques. Congrs! Unforunely for us, we sill need o cover one more inegrl. They re clled Improper Inegrls. A his poin, we ve only del wih inegrls

More information

ENGR 1990 Engineering Mathematics The Integral of a Function as a Function

ENGR 1990 Engineering Mathematics The Integral of a Function as a Function ENGR 1990 Engineering Mhemics The Inegrl of Funcion s Funcion Previously, we lerned how o esime he inegrl of funcion f( ) over some inervl y dding he res of finie se of rpezoids h represen he re under

More information

September 20 Homework Solutions

September 20 Homework Solutions College of Engineering nd Compuer Science Mechnicl Engineering Deprmen Mechnicl Engineering A Seminr in Engineering Anlysis Fll 7 Number 66 Insrucor: Lrry Creo Sepember Homework Soluions Find he specrum

More information

A Kalman filtering simulation

A Kalman filtering simulation A Klmn filering simulion The performnce of Klmn filering hs been esed on he bsis of wo differen dynmicl models, ssuming eiher moion wih consn elociy or wih consn ccelerion. The former is epeced o beer

More information

Problem Set If all directed edges in a network have distinct capacities, then there is a unique maximum flow.

Problem Set If all directed edges in a network have distinct capacities, then there is a unique maximum flow. CSE 202: Deign and Analyi of Algorihm Winer 2013 Problem Se 3 Inrucor: Kamalika Chaudhuri Due on: Tue. Feb 26, 2013 Inrucion For your proof, you may ue any lower bound, algorihm or daa rucure from he ex

More information

An object moving with speed v around a point at distance r, has an angular velocity. m/s m

An object moving with speed v around a point at distance r, has an angular velocity. m/s m Roion The mosphere roes wih he erh n moions wihin he mosphere clerly follow cure phs (cyclones, nicyclones, hurricnes, ornoes ec.) We nee o epress roion quniiely. For soli objec or ny mss h oes no isor

More information

Section P.1 Notes Page 1 Section P.1 Precalculus and Trigonometry Review

Section P.1 Notes Page 1 Section P.1 Precalculus and Trigonometry Review Secion P Noe Pge Secion P Preclculu nd Trigonomer Review ALGEBRA AND PRECALCULUS Eponen Lw: Emple: 8 Emple: Emple: Emple: b b Emple: 9 EXAMPLE: Simplif: nd wrie wi poiive eponen Fir I will flip e frcion

More information

Introduction to Congestion Games

Introduction to Congestion Games Algorihmic Game Theory, Summer 2017 Inroducion o Congeion Game Lecure 1 (5 page) Inrucor: Thoma Keelheim In hi lecure, we ge o know congeion game, which will be our running example for many concep in game

More information

CSCI565 - Compiler Design

CSCI565 - Compiler Design CSCI565 - Compiler Deign Spring 6 Due Dte: Fe. 5, 6 t : PM in Cl Prolem [ point]: Regulr Expreion nd Finite Automt Develop regulr expreion (RE) tht detet the longet tring over the lphet {-} with the following

More information

GEOMETRIC EFFECTS CONTRIBUTING TO ANTICIPATION OF THE BEVEL EDGE IN SPREADING RESISTANCE PROFILING

GEOMETRIC EFFECTS CONTRIBUTING TO ANTICIPATION OF THE BEVEL EDGE IN SPREADING RESISTANCE PROFILING GEOMETRIC EFFECTS CONTRIBUTING TO ANTICIPATION OF THE BEVEL EDGE IN SPREADING RESISTANCE PROFILING D H Dickey nd R M Brennn Solecon Lbororie, Inc Reno, Nevd 89521 When preding reince probing re mde prior

More information

CS 541 Algorithms and Programs. Exam 2 Solutions. Jonathan Turner 11/8/01

CS 541 Algorithms and Programs. Exam 2 Solutions. Jonathan Turner 11/8/01 CS 1 Algorim nd Progrm Exm Soluion Jonn Turnr 11/8/01 B n nd oni, u ompl. 1. (10 poin). Conidr vrion of or p prolm wi mulipliiv o. In i form of prolm, lng of p i produ of dg lng, rr n um. Explin ow or

More information

2D Motion WS. A horizontally launched projectile s initial vertical velocity is zero. Solve the following problems with this information.

2D Motion WS. A horizontally launched projectile s initial vertical velocity is zero. Solve the following problems with this information. Nme D Moion WS The equions of moion h rele o projeciles were discussed in he Projecile Moion Anlsis Acii. ou found h projecile moes wih consn eloci in he horizonl direcion nd consn ccelerion in he ericl

More information

5. Network flow. Network flow. Maximum flow problem. Ford-Fulkerson algorithm. Min-cost flow. Network flow 5-1

5. Network flow. Network flow. Maximum flow problem. Ford-Fulkerson algorithm. Min-cost flow. Network flow 5-1 Nework flow -. Nework flow Nework flow Mximum flow prolem Ford-Fulkeron lgorihm Min-co flow Nework flow Nework N i e of direced grph G = (V ; E) ource 2 V which h only ougoing edge ink (or deinion) 2 V

More information

6.8 Laplace Transform: General Formulas

6.8 Laplace Transform: General Formulas 48 HAP. 6 Laplace Tranform 6.8 Laplace Tranform: General Formula Formula Name, ommen Sec. F() l{ f ()} e f () d f () l {F()} Definiion of Tranform Invere Tranform 6. l{af () bg()} al{f ()} bl{g()} Lineariy

More information

Magnetostatics Bar Magnet. Magnetostatics Oersted s Experiment

Magnetostatics Bar Magnet. Magnetostatics Oersted s Experiment Mgneosics Br Mgne As fr bck s 4500 yers go, he Chinese discovered h cerin ypes of iron ore could rc ech oher nd cerin mels. Iron filings "mp" of br mgne s field Crefully suspended slivers of his mel were

More information

Randomized Perfect Bipartite Matching

Randomized Perfect Bipartite Matching Inenive Algorihm Lecure 24 Randomized Perfec Biparie Maching Lecurer: Daniel A. Spielman April 9, 208 24. Inroducion We explain a randomized algorihm by Ahih Goel, Michael Kapralov and Sanjeev Khanna for

More information

Average & instantaneous velocity and acceleration Motion with constant acceleration

Average & instantaneous velocity and acceleration Motion with constant acceleration Physics 7: Lecure Reminders Discussion nd Lb secions sr meeing ne week Fill ou Pink dd/drop form if you need o swich o differen secion h is FULL. Do i TODAY. Homework Ch. : 5, 7,, 3,, nd 6 Ch.: 6,, 3 Submission

More information

A 1.3 m 2.5 m 2.8 m. x = m m = 8400 m. y = 4900 m 3200 m = 1700 m

A 1.3 m 2.5 m 2.8 m. x = m m = 8400 m. y = 4900 m 3200 m = 1700 m PHYS : Soluions o Chper 3 Home Work. SSM REASONING The displcemen is ecor drwn from he iniil posiion o he finl posiion. The mgniude of he displcemen is he shores disnce beween he posiions. Noe h i is onl

More information

The Covenant Renewed. Family Journal Page. creation; He tells us in the Bible.)

The Covenant Renewed. Family Journal Page. creation; He tells us in the Bible.) i ell orie o go ih he picure. L, up ng i gro ve el ur Pren, ho phoo picure; u oher ell ee hey (T l. chi u b o on hi pge y ur ki kn pl. (We ee Hi i H b o b o kn e hem orie.) Compre h o ho creion; He ell

More information

EE Control Systems LECTURE 8

EE Control Systems LECTURE 8 Coyright F.L. Lewi 999 All right reerved Udted: Sundy, Ferury, 999 EE 44 - Control Sytem LECTURE 8 REALIZATION AND CANONICAL FORMS A liner time-invrint (LTI) ytem cn e rereented in mny wy, including: differentil

More information

CS4445/9544 Analysis of Algorithms II Solution for Assignment 1

CS4445/9544 Analysis of Algorithms II Solution for Assignment 1 Conider he following flow nework CS444/944 Analyi of Algorihm II Soluion for Aignmen (0 mark) In he following nework a minimum cu ha capaciy 0 Eiher prove ha hi aemen i rue, or how ha i i fale Uing he

More information

1. Consider a PSA initially at rest in the beginning of the left-hand end of a long ISS corridor. Assume xo = 0 on the left end of the ISS corridor.

1. Consider a PSA initially at rest in the beginning of the left-hand end of a long ISS corridor. Assume xo = 0 on the left end of the ISS corridor. In Eercise 1, use sndrd recngulr Cresin coordine sysem. Le ime be represened long he horizonl is. Assume ll ccelerions nd decelerions re consn. 1. Consider PSA iniilly res in he beginning of he lef-hnd

More information

PHYSICS 1210 Exam 1 University of Wyoming 14 February points

PHYSICS 1210 Exam 1 University of Wyoming 14 February points PHYSICS 1210 Em 1 Uniersiy of Wyoming 14 Februry 2013 150 poins This es is open-noe nd closed-book. Clculors re permied bu compuers re no. No collborion, consulion, or communicion wih oher people (oher

More information

Chapter 2: Evaluative Feedback

Chapter 2: Evaluative Feedback Chper 2: Evluive Feedbck Evluing cions vs. insrucing by giving correc cions Pure evluive feedbck depends olly on he cion ken. Pure insrucive feedbck depends no ll on he cion ken. Supervised lerning is

More information

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides. 1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the

More information

when t = 2 s. Sketch the path for the first 2 seconds of motion and show the velocity and acceleration vectors for t = 2 s.(2/63)

when t = 2 s. Sketch the path for the first 2 seconds of motion and show the velocity and acceleration vectors for t = 2 s.(2/63) . The -coordine of pricle in curiliner oion i gien b where i in eer nd i in econd. The -coponen of ccelerion in eer per econd ured i gien b =. If he pricle h -coponen = nd when = find he gniude of he eloci

More information

Released Assessment Questions, 2017 QUESTIONS

Released Assessment Questions, 2017 QUESTIONS Relese Assessmen Quesions, 17 QUESTIONS Gre 9 Assessmen of Mhemis Aemi Re he insruions elow. Along wih his ookle, mke sure ou hve he Answer Bookle n he Formul Shee. You m use n spe in his ook for rough

More information

Consider a Binary antipodal system which produces data of δ (t)

Consider a Binary antipodal system which produces data of δ (t) Modulaion Polem PSK: (inay Phae-hi keying) Conide a inay anipodal yem whih podue daa o δ ( o + δ ( o inay and epeively. Thi daa i paed o pule haping ile and he oupu o he pule haping ile i muliplied y o(

More information

Some basic notation and terminology. Deterministic Finite Automata. COMP218: Decision, Computation and Language Note 1

Some basic notation and terminology. Deterministic Finite Automata. COMP218: Decision, Computation and Language Note 1 COMP28: Decision, Compuion nd Lnguge Noe These noes re inended minly s supplemen o he lecures nd exooks; hey will e useful for reminders ou noion nd erminology. Some sic noion nd erminology An lphe is

More information

(b) 10 yr. (b) 13 m. 1.6 m s, m s m s (c) 13.1 s. 32. (a) 20.0 s (b) No, the minimum distance to stop = 1.00 km. 1.

(b) 10 yr. (b) 13 m. 1.6 m s, m s m s (c) 13.1 s. 32. (a) 20.0 s (b) No, the minimum distance to stop = 1.00 km. 1. Answers o Een Numbered Problems Chper. () 7 m s, 6 m s (b) 8 5 yr 4.. m ih 6. () 5. m s (b).5 m s (c).5 m s (d) 3.33 m s (e) 8. ().3 min (b) 64 mi..3 h. ().3 s (b) 3 m 4..8 mi wes of he flgpole 6. (b)

More information

Project 6: Minigoals Towards Simplifying and Rewriting Expressions

Project 6: Minigoals Towards Simplifying and Rewriting Expressions MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy

More information

Physics 2A HW #3 Solutions

Physics 2A HW #3 Solutions Chper 3 Focus on Conceps: 3, 4, 6, 9 Problems: 9, 9, 3, 41, 66, 7, 75, 77 Phsics A HW #3 Soluions Focus On Conceps 3-3 (c) The ccelerion due o grvi is he sme for boh blls, despie he fc h he hve differen

More information

( ) ( ) ( ) ( ) ( ) ( y )

( ) ( ) ( ) ( ) ( ) ( y ) 8. Lengh of Plne Curve The mos fmous heorem in ll of mhemics is he Pyhgoren Theorem. I s formulion s he disnce formul is used o find he lenghs of line segmens in he coordine plne. In his secion you ll

More information

A Structural Approach to the Enforcement of Language and Disjunctive Constraints

A Structural Approach to the Enforcement of Language and Disjunctive Constraints A Srucurl Aroch o he Enforcemen of Lnguge nd Disjuncive Consrins Mrin V. Iordche School of Engineering nd Eng. Tech. LeTourneu Universiy Longview, TX 7607-700 Pnos J. Ansklis Dermen of Elecricl Engineering

More information

USA Mathematical Talent Search Round 1 Solutions Year 25 Academic Year

USA Mathematical Talent Search Round 1 Solutions Year 25 Academic Year 1/1/5. Alex is trying to oen lock whose code is sequence tht is three letters long, with ech of the letters being one of A, B or C, ossibly reeted. The lock hs three buttons, lbeled A, B nd C. When the

More information

Analysis of Boundedness for Unknown Functions by a Delay Integral Inequality on Time Scales

Analysis of Boundedness for Unknown Functions by a Delay Integral Inequality on Time Scales Inernaional Conference on Image, Viion and Comuing (ICIVC ) IPCSIT vol. 5 () () IACSIT Pre, Singaore DOI:.7763/IPCSIT..V5.45 Anali of Boundedne for Unknown Funcion b a Dela Inegral Ineuali on Time Scale

More information

HOTELLING LOCATION MODEL

HOTELLING LOCATION MODEL HOTELLING LOCATION MODEL THE LINEAR CITY MODEL The Example of Choosing only Locaion wihou Price Compeiion Le a be he locaion of rm and b is he locaion of rm. Assume he linear ransporaion cos equal o d,

More information

MATH4455 Module 10 Evens, Odds and Ends

MATH4455 Module 10 Evens, Odds and Ends MATH4455 Module 10 Even, Odd nd End Min Mth Conept: Prity, Ple Vlue Nottion, Enumertion, Story Prolem Auxiliry Ide: Tournment, Undireted grph I. The Mind-Reding Clultor Prolem. How doe the mind-reding

More information

Algorithms and Data Structures 2011/12 Week 9 Solutions (Tues 15th - Fri 18th Nov)

Algorithms and Data Structures 2011/12 Week 9 Solutions (Tues 15th - Fri 18th Nov) Algorihm and Daa Srucure 2011/ Week Soluion (Tue 15h - Fri 18h No) 1. Queion: e are gien 11/16 / 15/20 8/13 0/ 1/ / 11/1 / / To queion: (a) Find a pair of ube X, Y V uch ha f(x, Y) = f(v X, Y). (b) Find

More information

P a g e 5 1 of R e p o r t P B 4 / 0 9

P a g e 5 1 of R e p o r t P B 4 / 0 9 P a g e 5 1 of R e p o r t P B 4 / 0 9 J A R T a l s o c o n c l u d e d t h a t a l t h o u g h t h e i n t e n t o f N e l s o n s r e h a b i l i t a t i o n p l a n i s t o e n h a n c e c o n n e

More information

Interval Oscillation of Nonlinear Differential Equation with Damped Term

Interval Oscillation of Nonlinear Differential Equation with Damped Term Communiion in Informion Siene nd Mngemen Engineering Mr, Vo I, PP 7-4 Inerv Oiion of Noniner Differeni Equion wih Dmped Term Yun-Hui Zeng Deprmen of Mhemi nd Compuion Siene, Hengyng Norm Univeriy,Hunn,

More information

ALLOWABLE STRESS DESIGN FLOWCHART FOR AISC MANUAL OF STEEL CONSTRUCTION, NINTH EDITION APPENDIX B BEARING STIFFENERS AND TRANSVERSE STIFFENERS DESIGN

ALLOWABLE STRESS DESIGN FLOWCHART FOR AISC MANUAL OF STEEL CONSTRUCTION, NINTH EDITION APPENDIX B BEARING STIFFENERS AND TRANSVERSE STIFFENERS DESIGN ALLOWABLE TRE DEIGN LOWCHART OR AIC MANUAL O TEEL CONTRUCTION, NINTH EDITION APPENDIX B BEARING TIENER AND TRANVERE TIENER DEIGN HEN-YEH CHEN, PH.D. Aug, 1995 All Righs Reserve. No pr o his ook my e reprouce

More information

Let. x y. denote a bivariate time series with zero mean.

Let. x y. denote a bivariate time series with zero mean. Linear Filer Le x y : T denoe a bivariae ime erie wih zero mean. Suppoe ha he ime erie {y : T} i conruced a follow: y a x The ime erie {y : T} i aid o be conruced from {x : T} by mean of a Linear Filer.

More information

PARABOLA. moves such that PM. = e (constant > 0) (eccentricity) then locus of P is called a conic. or conic section.

PARABOLA. moves such that PM. = e (constant > 0) (eccentricity) then locus of P is called a conic. or conic section. wwwskshieducioncom PARABOLA Le S be given fixed poin (focus) nd le l be given fixed line (Direcrix) Le SP nd PM be he disnce of vrible poin P o he focus nd direcrix respecively nd P SP moves such h PM

More information

Sph3u Practice Unit Test: Kinematics (Solutions) LoRusso

Sph3u Practice Unit Test: Kinematics (Solutions) LoRusso Sph3u Prcice Uni Te: Kinemic (Soluion) LoRuo Nme: Tuey, Ocober 3, 07 Ku: /45 pp: /0 T&I: / Com: Thi i copy of uni e from 008. Thi will be imilr o he uni e you will be wriing nex Mony. you cn ee here re

More information

AN ANALYTICAL METHOD OF SOLUTION FOR SYSTEMS OF BOOLEAN EQUATIONS

AN ANALYTICAL METHOD OF SOLUTION FOR SYSTEMS OF BOOLEAN EQUATIONS CHAPTER 5 AN ANALYTICAL METHOD OF SOLUTION FOR SYSTEMS OF BOOLEAN EQUATIONS 51 APPLICATIONS OF DE MORGAN S LAWS A we have een in Secion 44 of Chaer 4, any Boolean Equaion of ye (1), (2) or (3) could be

More information

CSC 364S Notes University of Toronto, Spring, The networks we will consider are directed graphs, where each edge has associated with it

CSC 364S Notes University of Toronto, Spring, The networks we will consider are directed graphs, where each edge has associated with it CSC 36S Noe Univeriy of Torono, Spring, 2003 Flow Algorihm The nework we will conider are direced graph, where each edge ha aociaed wih i a nonnegaive capaciy. The inuiion i ha if edge (u; v) ha capaciy

More information

M r. d 2. R t a M. Structural Mechanics Section. Exam CT5141 Theory of Elasticity Friday 31 October 2003, 9:00 12:00 hours. Problem 1 (3 points)

M r. d 2. R t a M. Structural Mechanics Section. Exam CT5141 Theory of Elasticity Friday 31 October 2003, 9:00 12:00 hours. Problem 1 (3 points) Delf Universiy of Technology Fculy of Civil Engineering nd Geosciences Srucurl echnics Secion Wrie your nme nd sudy numer he op righ-hnd of your work. Exm CT5 Theory of Elsiciy Fridy Ocoer 00, 9:00 :00

More information

can be viewed as a generalized product, and one for which the product of f and g. That is, does

can be viewed as a generalized product, and one for which the product of f and g. That is, does Boyce/DiPrim 9 h e, Ch 6.6: The Convoluion Inegrl Elemenry Differenil Equion n Bounry Vlue Problem, 9 h eiion, by Willim E. Boyce n Richr C. DiPrim, 9 by John Wiley & Son, Inc. Someime i i poible o wrie

More information

CS241 Week 6 Tutorial Solutions

CS241 Week 6 Tutorial Solutions 241 Week 6 Tutoril olutions Lnguges: nning & ontext-free Grmmrs Winter 2018 1 nning Exerises 1. 0x0x0xd HEXINT 0x0 I x0xd 2. 0xend--- HEXINT 0xe I nd ER -- MINU - 3. 1234-120x INT 1234 INT -120 I x 4.

More information

The solution is often represented as a vector: 2xI + 4X2 + 2X3 + 4X4 + 2X5 = 4 2xI + 4X2 + 3X3 + 3X4 + 3X5 = 4. 3xI + 6X2 + 6X3 + 3X4 + 6X5 = 6.

The solution is often represented as a vector: 2xI + 4X2 + 2X3 + 4X4 + 2X5 = 4 2xI + 4X2 + 3X3 + 3X4 + 3X5 = 4. 3xI + 6X2 + 6X3 + 3X4 + 6X5 = 6. [~ o o :- o o ill] i 1. Mrices, Vecors, nd Guss-Jordn Eliminion 1 x y = = - z= The soluion is ofen represened s vecor: n his exmple, he process of eliminion works very smoohly. We cn elimine ll enries

More information

Network Flows: Introduction & Maximum Flow

Network Flows: Introduction & Maximum Flow CSC 373 - lgorihm Deign, nalyi, and Complexiy Summer 2016 Lalla Mouaadid Nework Flow: Inroducion & Maximum Flow We now urn our aenion o anoher powerful algorihmic echnique: Local Search. In a local earch

More information

4/12/12. Applications of the Maxflow Problem 7.5 Bipartite Matching. Bipartite Matching. Bipartite Matching. Bipartite matching: the flow network

4/12/12. Applications of the Maxflow Problem 7.5 Bipartite Matching. Bipartite Matching. Bipartite Matching. Bipartite matching: the flow network // Applicaion of he Maxflow Problem. Biparie Maching Biparie Maching Biparie maching. Inpu: undireced, biparie graph = (, E). M E i a maching if each node appear in a mo one edge in M. Max maching: find

More information

Contraction Mapping Principle Approach to Differential Equations

Contraction Mapping Principle Approach to Differential Equations epl Journl of Science echnology 0 (009) 49-53 Conrcion pping Principle pproch o Differenil Equions Bishnu P. Dhungn Deprmen of hemics, hendr Rn Cmpus ribhuvn Universiy, Khmu epl bsrc Using n eension of

More information

Laplace Examples, Inverse, Rational Form

Laplace Examples, Inverse, Rational Form Lecure 3 Ouline: Lplce Exple, Invere, Rionl For Announceen: Rein: 6: Lplce Trnfor pp. 3-33, 55.5-56.5, 7 HW 8 poe, ue nex We. Free -y exenion OcenOne Roo Tour will e fer cl y 7 (:3-:) Lunch provie ferwr.

More information

Mathematics 805 Final Examination Answers

Mathematics 805 Final Examination Answers . 5 poins Se he Weiersrss M-es. Mhemics 85 Finl Eminion Answers Answer: Suppose h A R, nd f n : A R. Suppose furher h f n M n for ll A, nd h Mn converges. Then f n converges uniformly on A.. 5 poins Se

More information

Global alignment in linear space

Global alignment in linear space Globl linmen in liner spe 1 2 Globl linmen in liner spe Gol: Find n opiml linmen of A[1..n] nd B[1..m] in liner spe, i.e. O(n) Exisin lorihm: Globl linmen wih bkrkin O(nm) ime nd spe, bu he opiml os n

More information

MTH 146 Class 11 Notes

MTH 146 Class 11 Notes 8.- Are of Surfce of Revoluion MTH 6 Clss Noes Suppose we wish o revolve curve C round n is nd find he surfce re of he resuling solid. Suppose f( ) is nonnegive funcion wih coninuous firs derivive on he

More information

22.615, MHD Theory of Fusion Systems Prof. Freidberg Lecture 10: The High Beta Tokamak Con d and the High Flux Conserving Tokamak.

22.615, MHD Theory of Fusion Systems Prof. Freidberg Lecture 10: The High Beta Tokamak Con d and the High Flux Conserving Tokamak. .615, MHD Theory of Fusion Sysems Prof. Freidberg Lecure 1: The High Be Tokmk Con d nd he High Flux Conserving Tokmk Proeries of he High Tokmk 1. Evlue he MHD sfey fcor: ψ B * ( ) 1 3 ρ 1+ ν ρ ρ cosθ *

More information

Today s topics. CSE 421 Algorithms. Problem Reduction Examples. Problem Reduction. Undirected Network Flow. Bipartite Matching. Problem Reductions

Today s topics. CSE 421 Algorithms. Problem Reduction Examples. Problem Reduction. Undirected Network Flow. Bipartite Matching. Problem Reductions Today opic CSE Algorihm Richard Anderon Lecure Nework Flow Applicaion Prolem Reducion Undireced Flow o Flow Biparie Maching Dijoin Pah Prolem Circulaion Loweround conrain on flow Survey deign Prolem Reducion

More information