Single-Layer Trunk Routing Using 45-Degree Lines within Critical Areas for PCB Routing

Size: px
Start display at page:

Download "Single-Layer Trunk Routing Using 45-Degree Lines within Critical Areas for PCB Routing"

Transcription

1 SASIMI 2010 Proeedings (R3-8) Single-Lyer Trunk Routing Using 45-Degree Lines within Critil Ares for PCB Routing Kyosuke SHINODA Yukihide KOHIRA Atsushi TAKAHASHI Tokyo Institute of Tehnology Dept. of Communitions nd Integrted Systems S3 58 Ookym, Meguro ku, Tokyo , Jpn shinod@l.ss.titeh..jp The University of Aizu Shool of Computer Siene nd Engineering, Tsurug, Ikki-mhi, Aizu-Wkmtsu, Fukushim , Jpn kohir@u-izu..jp Osk University Division of Eletril, Eletroni nd Informtion Engineering 2 1 Ymdok, Suit, Osk , Jpn tsushi@si.eei.eng.osk-u..jp Astrt In reent Printed Ciruit Bords (PCB), the design size nd density hve inresed, nd the improvement of routing tools for PCB is required. Although there re severl routing tools tht generte high-qulity glol routings when only horizontl nd vertil segments re used, PCB designers re not stisfied with these tools euse high-density PCBs require segments tht hve ritrry diretions. In this pper, we propose routing method tht mintins the dvntges of tools tht use horizontl nd vertil segments only, while hndling higher density designs y using 45-degree segments to lolly relx the routing density. I. Introdution Printed iruit ord routing is neessry in order to relize onnetions etween elements, nd to hieve the speifitions relted to dely nd noise, for exmple. Sine the qulity of the routing otined y utomti routing tools for PCBs is inferior to the routing hieved y designers, high-density PCBs re still designed y hnd. However, the numer of nets on PCB hs inresed due to the emergene of BGA pkges, whih hve numerous I/O pins, nd the design sle pprohes the limit of mnul design. As the design sle inreses, the time required to omplete PCB design y hnd inreses. Therefore, the qulity enhnement of utomti PCB routing tools is needed in order to shorten the design period. In typil PCB routing design flow, first, in the glol routing phse, the glol struture of the route is determined for eh net group, whih onsists of relted nets s the result of lyer ssignment, re ssignment, et. Then, in the detiled routing phse, the detiled struture of route of eh net group is determined within the ssigned routing re. In the detiled routing phse, the detiled routing prolem of net group is usully divided into two types of suprolems, nmely, espe routing nd river routing. Espe routing is primrily used to find n espe route for eh net from highly ongested res where I/O pins re losely rrnged [1 5]. On the other hnd, river routing is used to onnet the terminls of eh net, whih re rrnged on the oundry of less ongested routing re of single lyer, s well s to hieve vrious speifitions. A typil river routing prolem is modeled s trunk routing prolem in whih the routing re n e ifurted suh tht eh re ontins one terminl of net [6]. The trunk routing prolem is key prolem euse this prolem orresponds to suprolem for typil net group tht onsists of nets onneting two modules. The formultion of the trunk routing prolem is simple, ut n inferior routing pttern, s ompred to mnul design, is often otined y urrent utomti PCB tools. The qulity improvement in the trunk routing prolem is needed in order to improve the qulity of utomti PCB routing tools. In the trunk routing prolem, routing pttern should hieve vrious speifitions nd relize onnetions [6 12]. There re severl routing tools tht generte highqulity glol routings when only horizontl nd vertil segments re used. However, non-orthogonl segments re often essentil in order to relize the onnetion requirements in trunk routing prolem. Tools tht hndle only horizontl nd vertil segments nnot e used for tul PCB routing design. There exist severl routing methods tht n hndle non-orthogonl segments in multi-lyer VLSI routing [13 15]. However, in the routing methods proposed in [13 15], non-orthogonl segments re primrily used to shorten the wire length. These methods do not effetively use nonorthogonl segments to relize onnetion requirements

2 K. Shinod, Y. Kohir, A. Tkhshi when the routing resoures re limited. In the trunk routing prolem, fesile routing pttern tht relizes the onnetion requirement will e otined if the route of net is determined long the oundry of the routing re, inluding non-orthogonl segments, so tht the design rule is stisfied. However, the otined routing pttern will ontin numer of unneessry ends, nd the totl length will e lrge. The qulity might e improved y post-proessing, ut this would require too muh time to otin stisftory routing pttern if the initil routing pttern is too poor. In this work, we propose routing method for trunk routing prolem in whih the onnetion requirements re relized in one routing lyer using 45-degree segments s well s horizontl nd vertil segments. In the proposed routing method, 45-degree segments re used only when they re essentil to relize the onnetion requirements. In the trunk routing prolem, the routing re is divided into ritil zones nd non-ritil zones, where ritil zones require 45-degree segments in order to relize the onnetion requirements, ut non-ritil zones do not. The proposed method identifies the ritil zones y flow nd determines the routing pttern in these zones using 45-degree segments s well s horizontl nd vertil segments without loss of onnetivity. The onnetion requirements re then relized y generting routing pttern of the remining zones, i.e., non-ritil zones, using only horizontl nd vertil segments. The proposed method effiiently genertes fesile routing pttern. Although the hievement of vrious speifitions is eyond the sope of this pper, the proposed method will e helpful for improving vrious indies. Although the 45-degree segments in the ritil zone re invrint in most ses, the segments in nonritil zone re not invrint. The routing pttern in non-ritil zone hs lrge flexiility. The improvement of vrious indies will e hieved y pplying routing tools tht effetively into ount tke vrious indies in non-ritil zones. The routing tools tht hndle horizontl nd vertil segments only re pplile euse 45- degree segments re not required. Of ourse, the routing tools tht hndle 45-degree segments n e used. These routing tools n e used to relize vrious speifitions without worrying out onnetivity issues. II. Preliminries In this pper, single-lyer routing re tht ontins severl ostles is onsidered. In the prolem formultion, the width of eh wire is onsidered to e 0, nd the minimum distne etween djent wires is set to one unit length. In ddition, the minimum distne etween wire nd n ostle is set to one unit length. In the routing re, the trks on whih wires run re defined. All wires run only on these trks. No wire runs on prt of trk on whih n ostle exists. Three types of trks, nmely, horizontl trks (H trks), vertil trks (V trks), nd ±45-degree trks (X trks) re defined. Both H trks nd V trks re defined s hving seprtion of one unit length nd re defined over the entire routing re. The intersetion of n H trk nd V trk is referred to s grid-point. Both H trks nd V trks re referred to s HV trks, nd X Fig. 1. Single-lyer multiple-nets routing prolem trks re defined lolly with the sme seprtion, whih is t lest one unit length. In other words, n HV trk lwys ends t the oundry of the routing re ut n X trk usully ends inside the routing re. The X trks re defined in detil in Setion III. An ostle is ssigned set of grid-points suh tht no wire n seprte the grid-points without violting the design rule. A grid-point is lled off-point if it is ontined in n ostle nd is otherwise lled n on-point. A net onsists of two terminls referred to s soure terminl nd sink terminl. An exmple of routing re is shown in Fig. 1. In this exmple, H trks, V trks, nd X trks re represented y the horizontl, vertil, nd 45-degree lines, respetively. An off-point tht orresponds to n ostle is represented y lk dot. A wire nnot use trk if the trk is in gry region tht surrounds lk dot. A terminl of net is represented y white irle in whih the nme of the net is written. Flow grphs re defined to help nlyze given routing prolem. The flow grph G with edge pity is defined s follows. The vertex set of G onsists of the primry soure, the primry sink, nd verties tht orrespond to on-points. For eh on-point in the routing re, two verties lled the in-vertex nd the out-vertex re inluded in the vertex set of G. The edge set of G onsists of the following four types of direted edges: type-1) direted edge from the in-vertex of n on-point to the out-vertex of the on-point; type-2) direted edge from the out-vertex of n onpoint to the in-vertex of n djent on-point; type-3) direted edge from the primry soure to the in-vertex of the on-point to whih soure terminl is ssigned; type-4) direted edge from the out-vertex of the onpoint to whih the sink terminl is ssigned to the primry sink. The pity of n edge is one if the edge is type-1 edge, nd is infinite otherwise. Unit flows in G do not interset euse the pity of eh type-1 edge is set to one. For exmple, the flow grph with edge pity orresponding to the routing re shown in Fig. 1 is shown in Fig. 2. A prtition (V s,v t )oftheedgesetofv is lled ut if V s nd V t ontin the primry soure nd the primry sink, respetively. The pity of the ut (V s,v t )isthe

3 SASIMI 2010 Proeedings (R3-8) primry soure primry sink Fig. 2. Flow grph with edge pities Fig. 4. An exmple of HVX routing for the prolem of Fig. 1 primry soure Fig. 3. Flow grph with vertex pities primry sink pss long the H, V, nd X trks only nd do not interset. This routing pttern is fesile. In the trunk routing prolem, eh unit flow on the flow grph G orresponds to the route from soure terminl to sink terminl using only H nd V trks. The mximum numer of routes using only H nd V trks n e otined using set of unit flows with the mximum numer. sum of the pities of the edges tht onnet from vertex in V s to vertex in V t. The flow grph G with vertex pity tht orresponds to G is defined in order to simplify the grph drwing. The flow grph G is otined from G y ontrting type-1 edges. The pity of vertex is one if the vertex orresponds to type-1 edge, nd is infinite otherwise. A ut (V s,v t )ofg, hving finite pity is represented y the set of verties of G tht orrespond to the edges of G tht onnet from vertex in V s tovertexinv t. The set of suh verties of G is lled ut of G. For exmple, the flow grph with vertex pity orresponding to the flow grph with edge pity shown in Fig. 2 is shown in Fig. 3. The trunk routing topology ondition is defined in [6] s follows: Trunk routing topology ondition 1. Eh net onsists of two terminls, nmely, soure terminl nd sink terminl. 2. All terminls of nets re set on the oundry of the routing re. 3. The sequene of terminls long the oundry onsists of the sequene S of soure terminls of ll nets nd the sequenet of sink terminls of ll nets, where T is the reverse of S, ndvievers. A routing prolem tht stisfies this ondition is lled trunk routing prolem. The trunk routing prolem is defined s follows: Trunk routing prolem Input: Routing re with ostles. A set of nets tht stisfies the trunk routing topology ondition. Output: Routing pttern tht onnets ll nets without violting the design rule (minimum distne etween wires nd ostles). For exmple, routing pttern tht stisfies the design rule is shown in Fig. 4. In this routing pttern, ll nets III. X trk The X trks defined in prt of the routing re re speified y the pith nd the offset. The routing re is modeled on the XY oordinte plne. The pith of the X trks is the horizontl distne etween X trks, nd the offset of the X trks is the reminder of the y-interepts of the X trks divided y the pith of the X trks, s if they re extended to interset to y-xis. The pith nd offset of the X trks should e defined refully euse they ffet the onnetivity. In multiple lyer routing, n X trk is often defined suh tht it intersets n HV trk t grid-point. It is esy to ple vis tht onnet wires on different lyers if trks interset t grid-points. However, in single lyer routing, n X trk does not neessrily interset n HV trk t grid-point. The pith must e t lest , so tht the distne etween X trks is t lest one. Although the onnetivity eomes mximum when the pith is set to 2, the routing tool my use mlfuntion due to rounding error, for exmple. In the proposed method, the pith is set to 1.5 so tht n X trk intersets n HV trk either t grid-point or t the middle point of djent grid-points. Even though the distne etween X trks is greter thn one, in most ses, mximum onnetivity is hieved. The offset of the X trks lso ffets the onnetivity. Let us onsider the numer of wires tht runs etween the two ostles shown in Fig. 5 for the se in whih the pith of the X trks is 1.5. The routing results for the ses in whih the offset of the X trks is set to 0.0, 0.5, nd 1.0 re shown in Fig. 6, 7, nd 8, respetively. The onnetion requirements re relized only for the se in whih the offset is set to 0.0, in whih se, three wires run etween ostles. In generl, the numer of wires etween ostles t (x, y)nd(x+w+1,y+h+1)(w, h 1) is mximized if the offset is set to (3 (x+y))mod3 2. The numer of wires tht n run etween the ostles using the X trks when the offset is set ppropritely is

4 K. Shinod, Y. Kohir, A. Tkhshi Fig. 5. HV routing. #net=2 pith 1.5 offset 0.5 Fig. 7. HVX routing. offset=0.5, #net=2 pith 1.5 offset 0 Fig. 6. HVX routing. offset=0.0, #net=3 pith 1.5 offset 1.0 Fig. 8. HVX routing. offset=1.0, #net=2 2(w+h) 1 3, wheres the numer of wires tht n run etween the ostles using HV trks is mx(w, h). The onnetivity etween these ostles is improved when 2(w+h) 1 3 > mx(w, h) if the offset of the X trk is set ppropritely. An pproprite offset of X trks depends on the pir of ostles. An offset of X trks tht mximizes the numer of wires etween pir of ostles does not neessrily mximize the numer of wires etween nother pir of ostles. The offset of X trk should e defined lolly in order to hieve the mximum onnetivity. In the proposed method, su-re, referred to s the ritil zone, in whih X trks re essentil in order to relize the onnetion requirements, is identified, nd the offset of the X trk is defined ppropritely for eh su-re. The identifition of the ritil zone is disussed in Setion IV. IV. Critil zone In the following, we onsider routing prolem tht stisfies the trunk routing topology ondition. A line tht divides the routing re into two su-res suh tht one re ontins ll soure terminls nd the other re ontins ll sink terminls is referred to s dividing line. A dividing line orresponds to ut of flow grph G. In fesile routing pttern, the wire of ny net psses ny dividing line. The numer of wires tht n pss dividing line depends on the design style. The mximum numers of wires tht n pss dividing line L using HV trks nd HVX trks re referred to s the pities of L in the HV nd HVX design styles, respetively. Let C HV (L) ndc HV X (L) e the pities of dividing line L in the HV nd HVX design style, respetively. Let n e the numer of nets. If C HV (L) n for ll dividing lines L, then ll nets n e onneted using only HV trks. Wheres, if there exists dividing line L, the pity of whih in the HV design style is less thn n (C HV (L) <n), then not ll nets n e onneted using only HV trks. Even though not ll nets n e onneted using only HV trks, ll nets n e onneted using HVX trks if C HV X (L) n for ll dividing lines L. A dividing line L is sid to e ritil if C HV (L) <n. Not ll nets n pss dividing line L using only HV trks if L is ritil. In order to otin fesile routing pttern, the pities of ll ritil dividing lines should e inresed. However, the numer of ritil dividing lines would eome exponentil. Thus, it is imprtil to inrese the pities of ll ritil dividing lines individully. A dividing line my pss over ostles. A dividing intervl is the intervl of dividing line suh tht oth ends re loted in n ostle or on the oundry of the routing re, whih does not pss over ny ostle. A dividing line onsists of severl dividing intervls. The pity of dividing intervl is defined nlogously. Let C HV (I) ndc HV X (I) e the pity of dividing intervl I in the HV nd HVX design styles, respetively. Let L e ritil dividing line tht onsists of dividing intervls I 0,I 1,...,I m,wherei i is n intervl etween ostles B i nd B i+1 (0 i m). The sequene of ostles B 0,B 1,...,B m+1 is derived from Lf. Theremy exist severl ritil dividing lines, where the sequene of ostles derived is the sme s L. The pities of ritil dividing lines from whih the sequene of ostles B 0,B 1,...,B m+1 is derived re inresed simultneously. Let L e ritil dividing line in whih the order tht psses ostles is the sme s L nd whose pity in the HV design style is minimum mong them. By dopting the HVX design style, if ll nets n pss L, then ll nets n pss dividing lines from whih the sequene of ostles B 0,B 1,...,B m+1 is derived. Let I 0,I 1,...,I m e the dividing intervls of L. Assume tht n>c HV (L) ndn C HV X (L), nd ssume tht the numer of X trks used t L is minimized. The numer of nets tht n pss I i in the HVX design style is t most C HV X (I i ). If the mximum numer of nets pss dividing intervls of L, exept for I i in the HV design style, then the numer of nets tht must pss I i is n C HV (L)+C HV (I i ). Let K(I i )=mx(c HV X (I i ),n C HV (L)+C HV (I i )). The numer of nets tht pss I i is t most K(I i ). Let d HV (g, B i )ethemximumofx-distne nd y- distne etween grid-point g nd ostle B i. Note tht d HV (g, B i ) orresponds to the numer of wires tht n pss etween g nd B i in the HV design style. Let the pity C HV (B i,g,b i+1 ) of grid-point g in terms of ostles B i nd B i+1 inthehvdesignstyleethe mximum numer of wires tht n pss ny dividing intervl etween B i nd B i+1 tht psses g in the HV design style. Note tht C HV (B i,g,b i+1 )=d HV (g, B i )+ d HV (g, B i+1 ) 1. If C HV (B i,g,b i+1 ) K(I i ), then ll nets n pss ny dividing intervl etween B i nd B i+1 tht psses g without n X trk. Otherwise, there exists fesile routing pttern tht uses n X trk in order to pss the dividing intervl etween B i nd B i+1 tht psses g. The set of grid-points g hving pity of C HV (B i,g,b i+1 ) is less thn or equl to K(I i ) is defined s the ritil zone etween B i nd B i+1. If X trks re ppropritely defined in the ritil zone etween B i nd B i+1 (0 i m), then ll of the nets n pss the ritil dividing lines tht pss over

5 SASIMI 2010 Proeedings (R3-8) primry soure primry sink Fig. 9. Flow grph modified from the flow grph shown in Fig. 3 B 0,B i,...,b m+1. V. Proposed HVX routing The proposed routing method onsists of three phses. In the first phse, the proposed method nlyzes the given trunk routing prolem nd extrts ritil zones from the routing re. In the seond phse, routing pttern in eh extrted ritil zone is determined using H, V, nd X trks. In the third phse, routing pttern in the remining routing re is determined using only H nd V trks. A. Extrting ritil zones In the first phse, the proposed method nlyzes the given trunk routing prolem to determine whether fesile routing pttern n e otined. If fesile routing pttern n e otined, the proposed method extrts ritil zones from the routing re. First, flow grph with vertex pity is onstruted from given routing re. Then, minimum ut is otined using flow method[16]. If the pity of the otined minimum ut is lrger thn or equl to the numer of nets, then the proposed method proeeds to the seond phse. Otherwise, the pity of the orresponding dividing line in the HVX design style is lulted. If the lulted pity is less thn the numer of nets, then the proposed method stops nd fils to otin fesile routing pttern. Otherwise, ritil zones in terms of the orresponding dividing line re extrted. For exmple, the minimum ut otined y the flow method tht onsists of verties indited y striped lines is shown in Fig. 3. In this exmple, the two verties re extrted s ritil zone. The pity of the otined minimum ut is then inresed y modifying the flow grph to find other ritil dividing lines. In order to inrese the pity of the otined minimum ut, the flow grph is modified s follows. 1. The verties orresponding to ritil zones nd the edges inident to the verties re deleted. 2. Edges with infinite pity re inserted etween verties tht re djent to the deleted verties. As n exmple, the modified flow grph otined from theflowgrphinfig.3isshowninfig.9. Then, minimum ut in the modified flow grph is otined. This proedure is repeted until the pity of minimum ut of the flow grph eomes t lest equl to the numer of nets or dividing line tht nnot e pssed is found. Fig. 10. An exmple of ritil zone routing B. Critil zone routing In the seond phse, routing pttern is generted for eh ritil zone. In eh ritil zone, X trks re first generted so tht the numer of wires tht n pss the ritil zone is mximized. Let us onsider ritil zone in whih k nets pss (1 k n). The oundry of the ritil zone is divided into the soure terminl side oundry, the sink terminl side oundry, nd the remining oundry, whih orresponds to the oundry of the routing re or ostles. The soure terminl side oundry hs k on-points. The numer of H trks, V trks, nd X trks tht pss the soure (sink) terminl side oundry is k. On-points in the soure terminl side oundry re leled s 1,s 2,...,s k long the oundry. Similrly, the i-th H trk, i-th V trk, nd i-th X trk tht pss the soure terminl side oundry re leled h s i, vs i,ndxs i, respetively. The route of net tht psses the s i is then determined so tht the route onnets s i nd t i using h s i, vs i, x i, h t i, nd vi t. The wire of eh net uses prt of n X trk in the zone nd uses HV trks if neessry. An exmple of routing pttern in ritil zone is shown in Fig. 10. In the first phse, eh ritil zone orresponding to dividing intervl I i is defined ssuming tht K(I i )nets pss I i. However, the numer of wires tht pss I i,whih orresponds to the mount of flow tht psses I i in the finl flow grph, might e less thn K(I i ). If the numer of wires tht pss I i is less thn K(I i ), then eh ritil zone is redefined using the numer of wires tht pss I i insted of K(I i ). C. Non-ritil zone routing In the third phse, the routing pttern outside the ritil zones is determined. In this phse, the routing prolem is divided into severl suprolems y regrding ritil zones s ostles nd y rrnging terminls on the oundries of ritil zones. Eh suprolem stisfies the trunk routing topology ondition nd the onnetion requirement n e relized using only HV trks. Although the routing method used in this phse is not speified, ny routing method n e pplied, even methods tht nnot hndle X trks ppropritely. Finlly, the results for the routing ptterns re merged. The otined routing pttern does not tke vrious indies into ount. Therefore, it might e neessry to modify the otined routing pttern in post proessing, ut this is eyond the sope of this pper

6 K. Shinod, Y. Kohir, A. Tkhshi TABLE I Experimentl results Rtio Design style d1 d2 d3 d4 d HV HVX HV HVX HV HVX HV HVX VII. Conlusion nd future reserh In this pper, we proposes routing method for trunk routing prolem in whih the onnetion requirements re relized in one routing lyer using 45-degree segments s well s horizontl nd vertil segments. In the proposed routing method, 45-degree segments re used in ritil zones only. The proposed method extrts every ritil zone effiiently nd then otins route in the ritil zone using horizontl segments, vertil segments, nd 45-degree segments. In the non-ritil zone, ny routing tool tht n hndle horizontl nd vertil segments only n e used to improve vrious speifitions euse the proposed method gurntees the onnetivity. In the future, we intend to enhne the proposed method to enle vrious evlutions, suh s length, ends, nd dely, to e tken into ount. In ddition, we will develop PCB routing system tht uses the proposed method s suroutine. Fig. 11. An exmple of the routing pttern VI. Experimentl results The proposed routing method is implemented in C++, whih is ompiled with g4.2.4 nd exeuted on PC hving 2.66-GHz Intel Core2 CPU nd 4 GB of RAM. Theproposedmethodisppliedto20smpledtsets in whih ostles re rndomly generted in the middle of the routing re. The ostle rtio in the middle of the routing re is hnged from 0.05 to 0.20 in 0.05 inrements. The numer of nets in eh smple dt set is 20. In Tle I, for eh smple dt set, the numers of nets tht re ompleted in HV design style nd HVX design style y the proposed method re shown. Bold font is used if the numer of nets tht re ompleted in the HVX design style is lrger thn tht in the HV design style. Figure 11 shows the routing pttern of d2, the ostle rtio of whih is 0.05, otined y the proposed method. In the figure, grid-points tht orrespond to the minimum ut nd grid-points tht orrespond to the oundry of the orresponding ritil zone re represented y smll irle nd lrge irle, respetively. If the ostle rtio is etween 0.05 nd 0.15, then the numer of nets tht n onnet often inrese with the use of X trks. The effet of the X trk inreses when ostles re pled digonlly nd when the distne etween the ostles is reltively lrge. In this experiment, smll ostles re rndomly rrnged in smll re. The ondition of this experiment ppers to e reltively severe ompred to the requirements in tul PCB design. These results indite tht the proposed method is promising for pplition in tul PCB design. Referenes [1] Y. Kjitni, The Potentil Router, Tehnil Report of IEICE, VLD , vol.106, no.548, pp.61 66, (In Jpnese). [2] M. Ingi, Y. Tkshim, nd Y. Kjitni, Espe Fitting etween Pir of Pin-Sets, Tehnil Report of IEICE, VLD , vol.106, no.548, pp.67 72, (In Jpnese). [3] T. Yn nd M. Wong, Untngling Twisted Nets for Bus Routing, Proeedings of Interntionl Conferene Computer-Aided Design, pp , [4] L. Luo nd M. Wong, Ordered Espe Routing Bsed on Boolen Stisfiility, Proeedings of Asi nd South Pifi Design Automtion Conferene (ASP-DAC), pp , [5] L. Luo nd M. Wong, On using st to ordered espe prolems, ASP-DAC 09: Proeedings of the 2009 Asi nd South Pifi Design Automtion Conferene, Pistwy, NJ, USA, pp , IEEE Press, [6] Y. Kohir nd A. Tkhshi, CAFE router: A Fst Connetivity Awre Mutiple Nets Routing Algorithm for Routing Grid with Ostles, Proeedings of Asi nd South Pifi Design Automtion Conferene(ASP-DAC), pp , [7] R. Pinter, On Routing Two-Point Nets Aross Chnnel, Proeedings of Design Automtion Conferene, pp , [8] C. Hsu, Chnnel River Routing Algorithm, Proeedings of Design Automtion Conferene, pp , [9] T. Lenguer, Comintoril lgorithms for integrted iruit lyout, John Wiley & Sons, In., New York, NY, USA, [10] M. Ozdl nd M. Wong, A Length-Mthing Routing Algorithm for High Performne Printed Ciruit Bords, IEEE Trnstions on Computer-Aided Design of Integrted Ciruits nd Systems, vol.25, no.12, pp , [11] M. Ozdl nd M. Wong, Algorithmi Study of Single-Lyer Bus Routing for High-Speed Bords, IEEE Trnstions on Computer-Aided Design of Integrted Ciruits nd Systems, vol.25, no.3, pp , [12] T. Yn nd M. Wong, BSG-route: length-onstrined routing sheme for generl plnr topology, IEEE Trnstions on Computer-Aided Design of Integrted Ciruits nd Systems, vol.28, no.11, pp , [13] N. Ito nd H. Ktgiri, Digonl Routing in High Performne Miroproessor Design, Proeedings of Asi nd South Pifi Design Automtion Conferene (ASP-DAC), pp , [14] C. Ching, Q. Su, nd C. Ching, Wirelength Redution y Using Digonl Wire, Proeedings of Gret Lkes Symposium on VLSI, pp , [15] S.L. Teig, The X rhiteture: not your fther s digonl wiring, SLIP 02: Proeedings of the 2002 interntionl workshop on System-level interonnet predition, New York, NY, USA, pp.33 37, ACM, [16] J.A. Bondy nd U.S.R. Murty, Grph Theory with Applitions, Elsevier Siene Ltd,

Lesson 4.4. Euler Circuits and Paths. Explore This

Lesson 4.4. Euler Circuits and Paths. Explore This Lesson 4.4 Euler Ciruits nd Pths Now tht you re fmilir with some of the onepts of grphs nd the wy grphs onvey onnetions nd reltionships, it s time to egin exploring how they n e used to model mny different

More information

Triple/Quadruple Patterning Layout Decomposition via Novel Linear Programming and Iterative Rounding

Triple/Quadruple Patterning Layout Decomposition via Novel Linear Programming and Iterative Rounding Triple/Qudruple Ptterning Lyout Deomposition vi Novel Liner Progrmming nd Itertive Rounding Yio Lin, Xioqing Xu, Bei Yu, Ross Bldik nd Dvid Z. Pn ECE Dept., University of Texs t Austin, Austin, TX USA

More information

CS 241 Week 4 Tutorial Solutions

CS 241 Week 4 Tutorial Solutions CS 4 Week 4 Tutoril Solutions Writing n Assemler, Prt & Regulr Lnguges Prt Winter 8 Assemling instrutions utomtilly. slt $d, $s, $t. Solution: $d, $s, nd $t ll fit in -it signed integers sine they re 5-it

More information

Lecture 12 : Topological Spaces

Lecture 12 : Topological Spaces Leture 12 : Topologil Spes 1 Topologil Spes Topology generlizes notion of distne nd loseness et. Definition 1.1. A topology on set X is olletion T of susets of X hving the following properties. 1. nd X

More information

Paradigm 5. Data Structure. Suffix trees. What is a suffix tree? Suffix tree. Simple applications. Simple applications. Algorithms

Paradigm 5. Data Structure. Suffix trees. What is a suffix tree? Suffix tree. Simple applications. Simple applications. Algorithms Prdigm. Dt Struture Known exmples: link tble, hep, Our leture: suffix tree Will involve mortize method tht will be stressed shortly in this ourse Suffix trees Wht is suffix tree? Simple pplitions History

More information

Duality in linear interval equations

Duality in linear interval equations Aville online t http://ijim.sriu..ir Int. J. Industril Mthemtis Vol. 1, No. 1 (2009) 41-45 Dulity in liner intervl equtions M. Movhedin, S. Slhshour, S. Hji Ghsemi, S. Khezerloo, M. Khezerloo, S. M. Khorsny

More information

Distance Computation between Non-convex Polyhedra at Short Range Based on Discrete Voronoi Regions

Distance Computation between Non-convex Polyhedra at Short Range Based on Discrete Voronoi Regions Distne Computtion etween Non-onvex Polyhedr t Short Rnge Bsed on Disrete Voronoi Regions Ktsuki Kwhi nd Hiroms Suzuki Deprtment of Preision Mhinery Engineering, The University of Tokyo 7-3-1 Hongo, Bunkyo-ku,

More information

CMPUT101 Introduction to Computing - Summer 2002

CMPUT101 Introduction to Computing - Summer 2002 CMPUT Introdution to Computing - Summer 22 %XLOGLQJ&RPSXWHU&LUFXLWV Chpter 4.4 3XUSRVH We hve looked t so fr how to uild logi gtes from trnsistors. Next we will look t how to uild iruits from logi gtes,

More information

[SYLWAN., 158(6)]. ISI

[SYLWAN., 158(6)]. ISI The proposl of Improved Inext Isomorphi Grph Algorithm to Detet Design Ptterns Afnn Slem B-Brhem, M. Rizwn Jmeel Qureshi Fulty of Computing nd Informtion Tehnology, King Adulziz University, Jeddh, SAUDI

More information

Internet Routing. IP Packet Format. IP Fragmentation & Reassembly. Principles of Internet Routing. Computer Networks 9/29/2014.

Internet Routing. IP Packet Format. IP Fragmentation & Reassembly. Principles of Internet Routing. Computer Networks 9/29/2014. omputer Networks 9/29/2014 IP Pket Formt Internet Routing Ki Shen IP protool version numer heder length (words) for qulity of servie mx numer remining hops (deremented t eh router) upper lyer protool to

More information

[Prakash* et al., 5(8): August, 2016] ISSN: IC Value: 3.00 Impact Factor: 4.116

[Prakash* et al., 5(8): August, 2016] ISSN: IC Value: 3.00 Impact Factor: 4.116 [Prksh* et l 58: ugust 6] ISSN: 77-9655 I Vlue: Impt Ftor: 6 IJESRT INTERNTIONL JOURNL OF ENGINEERING SIENES & RESERH TEHNOLOGY SOME PROPERTIES ND THEOREM ON FUZZY SU-TRIDENT DISTNE Prveen Prksh* M Geeth

More information

Width and Bounding Box of Imprecise Points

Width and Bounding Box of Imprecise Points Width nd Bounding Box of Impreise Points Vhideh Keikh Mrten Löffler Ali Mohdes Zhed Rhmti Astrt In this pper we study the following prolem: we re given set L = {l 1,..., l n } of prllel line segments,

More information

10.2 Graph Terminology and Special Types of Graphs

10.2 Graph Terminology and Special Types of Graphs 10.2 Grph Terminology n Speil Types of Grphs Definition 1. Two verties u n v in n unirete grph G re lle jent (or neighors) in G iff u n v re enpoints of n ege e of G. Suh n ege e is lle inient with the

More information

s 1 t 4 s 2 4 t 2 a b r 2 r 8 r10 g 4

s 1 t 4 s 2 4 t 2 a b r 2 r 8 r10 g 4 k-pirs Non-Crossing Shortest Pths in Simple Polgon Evnthi Ppdopoulou Northwestern Universit, Evnston, Illinois 60208, USA Astrt. This pper presents n O(n + k) time lgorithm to ompute the set of k non-rossing

More information

SMALL SIZE EDGE-FED SIERPINSKI CARPET MICROSTRIP PATCH ANTENNAS

SMALL SIZE EDGE-FED SIERPINSKI CARPET MICROSTRIP PATCH ANTENNAS Progress In Eletromgnetis Reserh C, Vol. 3, 195 22, 28 SMALL SIZE EDGE-FED SIERPINSKI CARPET MICROSTRIP PATCH ANTENNAS W.-L. Chen nd G.-M. Wng Rdr Engineering Deprtment Missile Institute of Air Fore Engineering

More information

Greedy Algorithm. Algorithm Fall Semester

Greedy Algorithm. Algorithm Fall Semester Greey Algorithm Algorithm 0 Fll Semester Optimiztion prolems An optimiztion prolem is one in whih you wnt to fin, not just solution, ut the est solution A greey lgorithm sometimes works well for optimiztion

More information

Lecture 8: Graph-theoretic problems (again)

Lecture 8: Graph-theoretic problems (again) COMP36111: Advned Algorithms I Leture 8: Grph-theoreti prolems (gin) In Prtt-Hrtmnn Room KB2.38: emil: iprtt@s.mn..uk 2017 18 Reding for this leture: Sipser: Chpter 7. A grph is pir G = (V, E), where V

More information

Chapter 9. Greedy Technique. Copyright 2007 Pearson Addison-Wesley. All rights reserved.

Chapter 9. Greedy Technique. Copyright 2007 Pearson Addison-Wesley. All rights reserved. Chpter 9 Greey Tehnique Copyright 2007 Person Aison-Wesley. All rights reserve. Greey Tehnique Construts solution to n optimiztion prolem piee y piee through sequene of hoies tht re: fesile lolly optiml

More information

CS 551 Computer Graphics. Hidden Surface Elimination. Z-Buffering. Basic idea: Hidden Surface Removal

CS 551 Computer Graphics. Hidden Surface Elimination. Z-Buffering. Basic idea: Hidden Surface Removal CS 55 Computer Grphis Hidden Surfe Removl Hidden Surfe Elimintion Ojet preision lgorithms: determine whih ojets re in front of others Uses the Pinter s lgorithm drw visile surfes from k (frthest) to front

More information

Outline. Motivation Background ARCH. Experiment Additional usages for Input-Depth. Regular Expression Matching DPI over Compressed HTTP

Outline. Motivation Background ARCH. Experiment Additional usages for Input-Depth. Regular Expression Matching DPI over Compressed HTTP ARCH This work ws supported y: The Europen Reserh Counil, The Isreli Centers of Reserh Exellene, The Neptune Consortium, nd Ntionl Siene Foundtion wrd CNS-119748 Outline Motivtion Bkground Regulr Expression

More information

The Network Layer: Routing in the Internet. The Network Layer: Routing & Addressing Outline

The Network Layer: Routing in the Internet. The Network Layer: Routing & Addressing Outline CPSC 852 Internetworking The Network Lyer: Routing in the Internet Mihele Weigle Deprtment of Computer Siene Clemson University mweigle@s.lemson.edu http://www.s.lemson.edu/~mweigle/ourses/ps852 1 The

More information

Error Numbers of the Standard Function Block

Error Numbers of the Standard Function Block A.2.2 Numers of the Stndrd Funtion Blok evlution The result of the logi opertion RLO is set if n error ours while the stndrd funtion lok is eing proessed. This llows you to rnh to your own error evlution

More information

MITSUBISHI ELECTRIC RESEARCH LABORATORIES Cambridge, Massachusetts. Introduction to Matroids and Applications. Srikumar Ramalingam

MITSUBISHI ELECTRIC RESEARCH LABORATORIES Cambridge, Massachusetts. Introduction to Matroids and Applications. Srikumar Ramalingam Cmrige, Msshusetts Introution to Mtrois n Applitions Srikumr Rmlingm MERL mm//yy Liner Alger (,0,0) (0,,0) Liner inepenene in vetors: v, v2,..., For ll non-trivil we hve s v s v n s, s2,..., s n 2v2...

More information

Final Exam Review F 06 M 236 Be sure to look over all of your tests, as well as over the activities you did in the activity book

Final Exam Review F 06 M 236 Be sure to look over all of your tests, as well as over the activities you did in the activity book inl xm Review 06 M 236 e sure to loo over ll of your tests, s well s over the tivities you did in the tivity oo 1 1. ind the mesures of the numered ngles nd justify your wor. Line j is prllel to line.

More information

Photovoltaic Panel Modelling Using a Stochastic Approach in MATLAB &Simulink

Photovoltaic Panel Modelling Using a Stochastic Approach in MATLAB &Simulink hotovolti nel Modelling Using Stohsti Approh in MATLAB &Simulink KAREL ZALATILEK, JAN LEUCHTER eprtment of Eletril Engineering University of efene Kouniov 65, 61 City of Brno CZECH REUBLIC krelzpltilek@unoz,

More information

Fault tree conversion to binary decision diagrams

Fault tree conversion to binary decision diagrams Loughorough University Institutionl Repository Fult tree onversion to inry deision digrms This item ws sumitted to Loughorough University's Institutionl Repository y the/n uthor. Cittion: ANDREWS, J.D.

More information

Journal of Combinatorial Theory, Series A

Journal of Combinatorial Theory, Series A Journl of Comintoril Theory, Series A 0 (0) Contents lists ville t SiVerse SieneDiret Journl of Comintoril Theory, Series A www.elsevier.om/lote/jt Spheril tiling y ongruent pentgons Hongho Go, Nn Shi,

More information

CS 340, Fall 2016 Sep 29th Exam 1 Note: in all questions, the special symbol ɛ (epsilon) is used to indicate the empty string.

CS 340, Fall 2016 Sep 29th Exam 1 Note: in all questions, the special symbol ɛ (epsilon) is used to indicate the empty string. CS 340, Fll 2016 Sep 29th Exm 1 Nme: Note: in ll questions, the speil symol ɛ (epsilon) is used to indite the empty string. Question 1. [10 points] Speify regulr expression tht genertes the lnguge over

More information

FASTEST METHOD TO FIND ALTERNATIVE RE-ROUTE

FASTEST METHOD TO FIND ALTERNATIVE RE-ROUTE INTERNATIONAL JOURNAL OF RESEARCH IN COMPUTER APPLICATIONS AND ROBOTICS ISSN 2320-7345 FASTEST METHOD TO FIND ALTERNATIVE RE-ROUTE 1 M.JothiLkshmi, M.S., M.Phil. 2 C.Theeendr, M.S., M.Phil. 3 M.K.Pvithr,

More information

An Approach to Filter the Test Data for Killing Multiple Mutants in Different Locations

An Approach to Filter the Test Data for Killing Multiple Mutants in Different Locations Interntionl Journl of Computer Theory nd Engineering, Vol. 5, No. 2, April 2013 An Approh to Filter the Test Dt for Killing Multiple Mutnts in Different Lotions Ngendr Prtp Singh, Rishi Mishr, Silesh Tiwri,

More information

Computational geometry

Computational geometry Leture 23 Computtionl geometry Supplementl reding in CLRS: Chpter 33 exept 33.3 There re mny importnt prolems in whih the reltionships we wish to nlyze hve geometri struture. For exmple, omputtionl geometry

More information

Distance vector protocol

Distance vector protocol istne vetor protool Irene Finohi finohi@i.unirom.it Routing Routing protool Gol: etermine goo pth (sequene of routers) thru network from soure to Grph strtion for routing lgorithms: grph noes re routers

More information

V = set of vertices (vertex / node) E = set of edges (v, w) (v, w in V)

V = set of vertices (vertex / node) E = set of edges (v, w) (v, w in V) Definitions G = (V, E) V = set of verties (vertex / noe) E = set of eges (v, w) (v, w in V) (v, w) orere => irete grph (igrph) (v, w) non-orere => unirete grph igrph: w is jent to v if there is n ege from

More information

COMP108 Algorithmic Foundations

COMP108 Algorithmic Foundations Grph Theory Prudene Wong http://www.s.liv..uk/~pwong/tehing/omp108/201617 How to Mesure 4L? 3L 5L 3L ontiner & 5L ontiner (without mrk) infinite supply of wter You n pour wter from one ontiner to nother

More information

IMAGE COMPRESSION USING HIRARCHICAL LINEAR POLYNOMIAL CODING

IMAGE COMPRESSION USING HIRARCHICAL LINEAR POLYNOMIAL CODING Rsh Al-Tmimi et l, Interntionl Journl of Computer Siene nd Mobile Computing, Vol.4 Issue.1, Jnury- 015, pg. 11-119 Avilble Online t www.ijsm.om Interntionl Journl of Computer Siene nd Mobile Computing

More information

Introduction to Algebra

Introduction to Algebra INTRODUCTORY ALGEBRA Mini-Leture 1.1 Introdution to Alger Evlute lgeri expressions y sustitution. Trnslte phrses to lgeri expressions. 1. Evlute the expressions when =, =, nd = 6. ) d) 5 10. Trnslte eh

More information

Math 227 Problem Set V Solutions. f ds =

Math 227 Problem Set V Solutions. f ds = Mth 7 Problem Set V Solutions If is urve with prmetriztion r(t), t b, then we define the line integrl f ds b f ( r(t) ) dr dt (t) dt. Evlute the line integrl f(x,y,z)ds for () f(x,y,z) xosz, the urve with

More information

Calculus Differentiation

Calculus Differentiation //007 Clulus Differentition Jeffrey Seguritn person in rowot miles from the nerest point on strit shoreline wishes to reh house 6 miles frther down the shore. The person n row t rte of mi/hr nd wlk t rte

More information

A METHOD FOR CHARACTERIZATION OF THREE-PHASE UNBALANCED DIPS FROM RECORDED VOLTAGE WAVESHAPES

A METHOD FOR CHARACTERIZATION OF THREE-PHASE UNBALANCED DIPS FROM RECORDED VOLTAGE WAVESHAPES A METHOD FOR CHARACTERIZATION OF THREE-PHASE UNBALANCED DIPS FROM RECORDED OLTAGE WAESHAPES M.H.J. Bollen, L.D. Zhng Dept. Eletri Power Engineering Chlmers University of Tehnology, Gothenurg, Sweden Astrt:

More information

Parallelization Optimization of System-Level Specification

Parallelization Optimization of System-Level Specification Prlleliztion Optimiztion of System-Level Speifition Luki i niel. Gjski enter for Emedded omputer Systems University of liforni Irvine, 92697, US {li, gjski} @es.ui.edu strt This pper introdues the prlleliztion

More information

Line The set of points extending in two directions without end uniquely determined by two points. The set of points on a line between two points

Line The set of points extending in two directions without end uniquely determined by two points. The set of points on a line between two points Lines Line Line segment Perpendiulr Lines Prllel Lines Opposite Angles The set of points extending in two diretions without end uniquely determined by two points. The set of points on line between two

More information

Doubts about how to use azimuth values from a Coordinate Object. Juan Antonio Breña Moral

Doubts about how to use azimuth values from a Coordinate Object. Juan Antonio Breña Moral Douts out how to use zimuth vlues from Coordinte Ojet Jun Antonio Breñ Morl # Definition An Azimuth is the ngle from referene vetor in referene plne to seond vetor in the sme plne, pointing towrd, (ut

More information

Efficient Rerouting Algorithms for Congestion Mitigation

Efficient Rerouting Algorithms for Congestion Mitigation 2009 IEEE Computer Society Annul Symposium on VLSI Efficient Rerouting Algorithms for Congestion Mitigtion M. A. R. Chudhry*, Z. Asd, A. Sprintson, nd J. Hu Deprtment of Electricl nd Computer Engineering

More information

Comparison between nmos Pass Transistor logic style vs. CMOS Complementary Cells*

Comparison between nmos Pass Transistor logic style vs. CMOS Complementary Cells* Comprison etween nmos Pss Trnsistor logi style vs. CMOS Complementry Cells* Rkesh Mehrotr, Mssoud Pedrm Xunwei Wu Dept. of E.E.-Systems Dept. of Eletroni Eng. University of Southern Cliforni Hngzhou University

More information

Adjacency. Adjacency Two vertices u and v are adjacent if there is an edge connecting them. This is sometimes written as u v.

Adjacency. Adjacency Two vertices u and v are adjacent if there is an edge connecting them. This is sometimes written as u v. Terminology Adjeny Adjeny Two verties u nd v re djent if there is n edge onneting them. This is sometimes written s u v. v v is djent to nd ut not to. 2 / 27 Neighourhood Neighourhood The open neighourhood

More information

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards A Tutology Checker loosely relted to Stålmrck s Algorithm y Mrtin Richrds mr@cl.cm.c.uk http://www.cl.cm.c.uk/users/mr/ University Computer Lortory New Museum Site Pemroke Street Cmridge, CB2 3QG Mrtin

More information

McAfee Web Gateway

McAfee Web Gateway Relese Notes Revision C MAfee We Gtewy 7.6.2.11 Contents Aout this relese Enhnement Resolved issues Instlltion instrutions Known issues Additionl informtion Find produt doumenttion Aout this relese This

More information

Convex Hull Algorithms. Convex hull: basic facts

Convex Hull Algorithms. Convex hull: basic facts CG Leture D Conve Hull Algorithms Bsi fts Algorithms: Nïve, Gift wrpping, Grhm sn, Quik hull, Divide-nd-onquer Lower ound 3D Bsi fts Algorithms: Gift wrpping, Divide nd onquer, inrementl Conve hulls in

More information

12/9/14. CS151 Fall 20124Lecture (almost there) 12/6. Graphs. Seven Bridges of Königsberg. Leonard Euler

12/9/14. CS151 Fall 20124Lecture (almost there) 12/6. Graphs. Seven Bridges of Königsberg. Leonard Euler CS5 Fll 04Leture (lmost there) /6 Seven Bridges of Königserg Grphs Prof. Tny Berger-Wolf Leonrd Euler 707-783 Is it possile to wlk with route tht rosses eh ridge e Seven Bridges of Königserg Forget unimportnt

More information

Tight triangulations: a link between combinatorics and topology

Tight triangulations: a link between combinatorics and topology Tight tringultions: link between ombintoris nd topology Jonthn Spreer Melbourne, August 15, 2016 Topologil mnifolds (Geometri) Topology is study of mnifolds (surfes) up to ontinuous deformtion Complited

More information

Smart Output Field Installation for M-Series and L-Series Converter

Smart Output Field Installation for M-Series and L-Series Converter Smrt Output Field Instlltion for M-Series nd L-Series Converter Instlltion Proedure -- See setion 5.0, Instlltion Proedure 1. Open the Housing nd Prepre for Instlltion 2. Plug the Rion Cle into the Min

More information

Honors Thesis: Investigating the Algebraic Properties of Cayley Digraphs

Honors Thesis: Investigating the Algebraic Properties of Cayley Digraphs Honors Thesis: Investigting the Algebri Properties of Cyley Digrphs Alexis Byers, Wittenberg University Mthemtis Deprtment April 30, 2014 This pper utilizes Grph Theory to gin insight into the lgebri struture

More information

SOFTWARE-BUG LOCALIZATION WITH GRAPH MINING

SOFTWARE-BUG LOCALIZATION WITH GRAPH MINING Chpter 17 SOFTWARE-BUG LOCALIZATION WITH GRAPH MINING Frnk Eihinger Institute for Progrm Strutures nd Dt Orgniztion (IPD) Universit-t Krlsruhe (TH), Germny eihinger@ipd.uk.de Klemens B-ohm Institute for

More information

Package Contents. Wireless-G USB Network Adapter with SpeedBooster USB Cable Setup CD-ROM with User Guide (English only) Quick Installation

Package Contents. Wireless-G USB Network Adapter with SpeedBooster USB Cable Setup CD-ROM with User Guide (English only) Quick Installation A Division of Ciso Systems, In. Pkge Contents Wireless-G USB Network Adpter with SpeedBooster USB Cle Setup CD-ROM with User Guide (English only) Quik Instlltion 2,4 GHz 802.11g Wireless Model No. Model

More information

Enterprise Digital Signage Create a New Sign

Enterprise Digital Signage Create a New Sign Enterprise Digitl Signge Crete New Sign Intended Audiene: Content dministrtors of Enterprise Digitl Signge inluding stff with remote ess to sign.pitt.edu nd the Content Mnger softwre pplition for their

More information

COMPUTATION AND VISUALIZATION OF REACHABLE DISTRIBUTION NETWORK SUBSTATION VOLTAGE

COMPUTATION AND VISUALIZATION OF REACHABLE DISTRIBUTION NETWORK SUBSTATION VOLTAGE 24 th Interntionl Conferene on Eletriity Distriution Glsgow, 12-15 June 2017 Pper 0615 COMPUTATION AND VISUALIZATION OF REACHABLE DISTRIBUTION NETWORK SUBSTATION VOLTAGE Mihel SANKUR Dniel ARNOLD Lun SCHECTOR

More information

A dual of the rectangle-segmentation problem for binary matrices

A dual of the rectangle-segmentation problem for binary matrices A dul of the rectngle-segmenttion prolem for inry mtrices Thoms Klinowski Astrct We consider the prolem to decompose inry mtrix into smll numer of inry mtrices whose -entries form rectngle. We show tht

More information

Incremental Design Debugging in a Logic Synthesis Environment

Incremental Design Debugging in a Logic Synthesis Environment Inrementl Design Deugging in Logi Synthesis Environment Andres Veneris Jing Brndon Liu University of Toronto Freesle Semiondutors Dept ECE nd CS High Performne Tools Group Toronto, ON M5S 3G4 Austin, TX

More information

Tiling Triangular Meshes

Tiling Triangular Meshes Tiling Tringulr Meshes Ming-Yee Iu EPFL I&C 1 Introdution Astrt When modelling lrge grphis senes, rtists re not epeted to model minute nd repetitive fetures suh s grss or snd with individul piees of geometry

More information

4.3 Balanced Trees. let us assume that we can manipulate them conveniently and see how they can be put together to form trees.

4.3 Balanced Trees. let us assume that we can manipulate them conveniently and see how they can be put together to form trees. 428 T FOU 4.3 Blned Trees T BT GOIT IN T VIOU setion work well for wide vriety of pplitions, ut they hve poor worst-se performne. s we hve noted, files lredy in order, files in reverse order, files with

More information

Tracking Hidden Agents Through Shadow Information Spaces

Tracking Hidden Agents Through Shadow Information Spaces Trking Hidden Agents Through Shdow Informtion Spes Jingjin Yu Steven M. LVlle jyu@uiu.edu lvlle@uiu.edu Deprtment of Computer Siene University of Illinois Urn, IL 601 USA Astrt This pper ddresses prolems

More information

and vertically shrinked by

and vertically shrinked by 1. A first exmple 1.1. From infinite trnsltion surfe mp to end-periodi mp. We begin with n infinite hlf-trnsltion surfe M 0 desribed s in Figure 1 nd n ffine mp f 0 defined s follows: the surfe is horizontlly

More information

Minimal Memory Abstractions

Minimal Memory Abstractions Miniml Memory Astrtions (As implemented for BioWre Corp ) Nthn Sturtevnt University of Alert GAMES Group Ferury, 7 Tlk Overview Prt I: Building Astrtions Minimizing memory requirements Performnes mesures

More information

Compilers. Topic 4. The Symbol Table and Block Structure PART II. Mick O Donnell: Alfonso Ortega:

Compilers. Topic 4. The Symbol Table and Block Structure PART II. Mick O Donnell: Alfonso Ortega: Compilers Topi 4 The ol Tle nd Blok Struture PART II Mik O Donnell: mihel.odonnell@um.es Alfonso Orteg: lfonso.orteg@um.es Topi 2: Blok Struture 2 1 ol tles with lok strutures Blok Struture Progrmming

More information

Chapter 4 Fuzzy Graph and Relation

Chapter 4 Fuzzy Graph and Relation Chpter 4 Fuzzy Grph nd Reltion Grph nd Fuzzy Grph! Grph n G = (V, E) n V : Set of verties(node or element) n E : Set of edges An edge is pir (x, y) of verties in V.! Fuzzy Grph ~ n ( ~ G = V, E) n V :

More information

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs.

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs. Lecture 5 Wlks, Trils, Pths nd Connectedness Reding: Some of the mteril in this lecture comes from Section 1.2 of Dieter Jungnickel (2008), Grphs, Networks nd Algorithms, 3rd edition, which is ville online

More information

Distributed Systems Principles and Paradigms. Chapter 11: Distributed File Systems

Distributed Systems Principles and Paradigms. Chapter 11: Distributed File Systems Distriuted Systems Priniples nd Prdigms Mrten vn Steen VU Amsterdm, Dept. Computer Siene steen@s.vu.nl Chpter 11: Distriuted File Systems Version: Deemer 10, 2012 2 / 14 Distriuted File Systems Distriuted

More information

2 Computing all Intersections of a Set of Segments Line Segment Intersection

2 Computing all Intersections of a Set of Segments Line Segment Intersection 15-451/651: Design & Anlysis of Algorithms Novemer 14, 2016 Lecture #21 Sweep-Line nd Segment Intersection lst chnged: Novemer 8, 2017 1 Preliminries The sweep-line prdigm is very powerful lgorithmic design

More information

Cooperative Routing in Multi-Source Multi-Destination Multi-hop Wireless Networks

Cooperative Routing in Multi-Source Multi-Destination Multi-hop Wireless Networks oopertive Routing in Multi-Soure Multi-estintion Multi-hop Wireless Networks Jin Zhng Qin Zhng eprtment of omputer Siene n ngineering Hong Kong University of Siene n Tehnology, HongKong {zjzj, qinzh}@se.ust.hk

More information

6.045J/18.400J: Automata, Computability and Complexity. Quiz 2: Solutions. Please write your name in the upper corner of each page.

6.045J/18.400J: Automata, Computability and Complexity. Quiz 2: Solutions. Please write your name in the upper corner of each page. 6045J/18400J: Automt, Computbility nd Complexity Mrh 30, 2005 Quiz 2: Solutions Prof Nny Lynh Vinod Vikuntnthn Plese write your nme in the upper orner of eh pge Problem Sore 1 2 3 4 5 6 Totl Q2-1 Problem

More information

COSC 6374 Parallel Computation. Non-blocking Collective Operations. Edgar Gabriel Fall Overview

COSC 6374 Parallel Computation. Non-blocking Collective Operations. Edgar Gabriel Fall Overview COSC 6374 Prllel Computtion Non-loking Colletive Opertions Edgr Griel Fll 2014 Overview Impt of olletive ommunition opertions Impt of ommunition osts on Speedup Crtesin stenil ommunition All-to-ll ommunition

More information

Fig.25: the Role of LEX

Fig.25: the Role of LEX The Lnguge for Specifying Lexicl Anlyzer We shll now study how to uild lexicl nlyzer from specifiction of tokens in the form of list of regulr expressions The discussion centers round the design of n existing

More information

Fig.1. Let a source of monochromatic light be incident on a slit of finite width a, as shown in Fig. 1.

Fig.1. Let a source of monochromatic light be incident on a slit of finite width a, as shown in Fig. 1. Answer on Question #5692, Physics, Optics Stte slient fetures of single slit Frunhofer diffrction pttern. The slit is verticl nd illuminted by point source. Also, obtin n expression for intensity distribution

More information

COMMON FRACTIONS. or a / b = a b. , a is called the numerator, and b is called the denominator.

COMMON FRACTIONS. or a / b = a b. , a is called the numerator, and b is called the denominator. COMMON FRACTIONS BASIC DEFINITIONS * A frtion is n inite ivision. or / * In the frtion is lle the numertor n is lle the enomintor. * The whole is seprte into "" equl prts n we re onsiering "" of those

More information

LINX MATRIX SWITCHERS FIRMWARE UPDATE INSTRUCTIONS FIRMWARE VERSION

LINX MATRIX SWITCHERS FIRMWARE UPDATE INSTRUCTIONS FIRMWARE VERSION Overview LINX MATRIX SWITCHERS FIRMWARE UPDATE INSTRUCTIONS FIRMWARE VERSION 4.4.1.0 Due to the omplex nture of this updte, plese fmilirize yourself with these instrutions nd then ontt RGB Spetrum Tehnil

More information

UTMC APPLICATION NOTE UT1553B BCRT TO INTERFACE PSEUDO-DUAL-PORT RAM ARCHITECTURE INTRODUCTION ARBITRATION DETAILS DESIGN SELECTIONS

UTMC APPLICATION NOTE UT1553B BCRT TO INTERFACE PSEUDO-DUAL-PORT RAM ARCHITECTURE INTRODUCTION ARBITRATION DETAILS DESIGN SELECTIONS UTMC APPLICATION NOTE UT1553B BCRT TO 80186 INTERFACE INTRODUCTION The UTMC UT1553B BCRT is monolithi CMOS integrte iruit tht provies omprehensive Bus Controller n Remote Terminl funtions for MIL-STD-

More information

8.2 Areas in the Plane

8.2 Areas in the Plane 39 Chpter 8 Applictions of Definite Integrls 8. Ares in the Plne Wht ou will lern out... Are Between Curves Are Enclosed Intersecting Curves Boundries with Chnging Functions Integrting with Respect to

More information

6.3 Volumes. Just as area is always positive, so is volume and our attitudes towards finding it.

6.3 Volumes. Just as area is always positive, so is volume and our attitudes towards finding it. 6.3 Volumes Just s re is lwys positive, so is volume nd our ttitudes towrds finding it. Let s review how to find the volume of regulr geometric prism, tht is, 3-dimensionl oject with two regulr fces seprted

More information

P(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have

P(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have Rndom Numers nd Monte Crlo Methods Rndom Numer Methods The integrtion methods discussed so fr ll re sed upon mking polynomil pproximtions to the integrnd. Another clss of numericl methods relies upon using

More information

An Efficient Code Update Scheme for DSP Applications in Mobile Embedded Systems

An Efficient Code Update Scheme for DSP Applications in Mobile Embedded Systems An Effiient Code Updte Sheme for DSP Applitions in Moile Emedded Systems Weiji Li, Youto Zhng Computer Siene Deprtment,University of Pittsurgh,Pittsurgh, PA 526 {weijili,zhngyt}@s.pitt.edu Astrt DSP proessors

More information

Approximate Joins for Data Centric XML

Approximate Joins for Data Centric XML Approximte Joins for Dt Centri XML Nikolus Augsten 1, Mihel Böhlen 1, Curtis Dyreson, Johnn Gmper 1 1 Fulty of Computer Siene, Free University of Bozen-Bolzno Dominiknerpltz 3, Bozen, Itly {ugsten,oehlen,gmper}@inf.uniz.it

More information

Problem Final Exam Set 2 Solutions

Problem Final Exam Set 2 Solutions CSE 5 5 Algoritms nd nd Progrms Prolem Finl Exm Set Solutions Jontn Turner Exm - //05 0/8/0. (5 points) Suppose you re implementing grp lgoritm tt uses ep s one of its primry dt strutures. Te lgoritm does

More information

COSC 6374 Parallel Computation. Dense Matrix Operations

COSC 6374 Parallel Computation. Dense Matrix Operations COSC 6374 Prllel Computtion Dense Mtrix Opertions Edgr Griel Fll Edgr Griel Prllel Computtion Edgr Griel erminology Dense Mtrix: ll elements of the mtrix ontin relevnt vlues ypilly stored s 2-D rry, (e.g.

More information

Distributed Systems Principles and Paradigms

Distributed Systems Principles and Paradigms Distriuted Systems Priniples nd Prdigms Christoph Dorn Distriuted Systems Group, Vienn University of Tehnology.dorn@infosys.tuwien..t http://www.infosys.tuwien..t/stff/dorn Slides dpted from Mrten vn Steen,

More information

Quadrilateral and Tetrahedral Mesh Stripification Using 2-Factor Partitioning of the Dual Graph

Quadrilateral and Tetrahedral Mesh Stripification Using 2-Factor Partitioning of the Dual Graph The Visul omputer mnusript No. (will e inserted y the editor) Plo Diz-Gutierrez M. Gopi Qudrilterl nd Tetrhedrl Mesh Stripifition Using 2-Ftor Prtitioning of the Dul Grph strt In order to find 2-ftor of

More information

COSC 6374 Parallel Computation. Communication Performance Modeling (II) Edgar Gabriel Fall Overview. Impact of communication costs on Speedup

COSC 6374 Parallel Computation. Communication Performance Modeling (II) Edgar Gabriel Fall Overview. Impact of communication costs on Speedup COSC 6374 Prllel Computtion Communition Performne Modeling (II) Edgr Griel Fll 2015 Overview Impt of ommunition osts on Speedup Crtesin stenil ommunition All-to-ll ommunition Impt of olletive ommunition

More information

Ma/CS 6b Class 1: Graph Recap

Ma/CS 6b Class 1: Graph Recap M/CS 6 Clss 1: Grph Recp By Adm Sheffer Course Detils Instructor: Adm Sheffer. TA: Cosmin Pohot. 1pm Mondys, Wednesdys, nd Fridys. http://mth.cltech.edu/~2015-16/2term/m006/ Min ook: Introduction to Grph

More information

Type Checking. Roadmap (Where are we?) Last lecture Context-sensitive analysis. This lecture Type checking. Symbol tables

Type Checking. Roadmap (Where are we?) Last lecture Context-sensitive analysis. This lecture Type checking. Symbol tables Type Cheking Rodmp (Where re we?) Lst leture Contet-sensitie nlysis Motition Attriute grmmrs Ad ho Synt-direted trnsltion This leture Type heking Type systems Using synt direted trnsltion Symol tles Leil

More information

MA1008. Calculus and Linear Algebra for Engineers. Course Notes for Section B. Stephen Wills. Department of Mathematics. University College Cork

MA1008. Calculus and Linear Algebra for Engineers. Course Notes for Section B. Stephen Wills. Department of Mathematics. University College Cork MA1008 Clculus nd Liner Algebr for Engineers Course Notes for Section B Stephen Wills Deprtment of Mthemtics University College Cork s.wills@ucc.ie http://euclid.ucc.ie/pges/stff/wills/teching/m1008/ma1008.html

More information

Lecture 10 Evolutionary Computation: Evolution strategies and genetic programming

Lecture 10 Evolutionary Computation: Evolution strategies and genetic programming Lecture 10 Evolutionry Computtion: Evolution strtegies nd genetic progrmming Evolution strtegies Genetic progrmming Summry Negnevitsky, Person Eduction, 2011 1 Evolution Strtegies Another pproch to simulting

More information

Geometrical reasoning 1

Geometrical reasoning 1 MODULE 5 Geometril resoning 1 OBJECTIVES This module is for study y n individul teher or group of tehers. It: looks t pprohes to developing pupils visulistion nd geometril resoning skills; onsiders progression

More information

Midterm Exam CSC October 2001

Midterm Exam CSC October 2001 Midterm Exm CSC 173 23 Otoer 2001 Diretions This exm hs 8 questions, severl of whih hve suprts. Eh question indites its point vlue. The totl is 100 points. Questions 5() nd 6() re optionl; they re not

More information

The Fundamental Theorem of Calculus

The Fundamental Theorem of Calculus MATH 6 The Fundmentl Theorem of Clculus The Fundmentl Theorem of Clculus (FTC) gives method of finding the signed re etween the grph of f nd the x-xis on the intervl [, ]. The theorem is: FTC: If f is

More information

Lily Yen and Mogens Hansen

Lily Yen and Mogens Hansen SKOLID / SKOLID No. 8 Lily Yen nd Mogens Hnsen Skolid hs joined Mthemticl Myhem which is eing reformtted s stnd-lone mthemtics journl for high school students. Solutions to prolems tht ppered in the lst

More information

McAfee Network Security Platform

McAfee Network Security Platform Pssive Fil-Open Kit Quik Strt Guide Revision D MAfee Network Seurity Pltform MAfee Network Seurity Pltform IPS Sensors, when deployed in-line, route ll inoming trffi through designted port pir. However,

More information

MATH 25 CLASS 5 NOTES, SEP

MATH 25 CLASS 5 NOTES, SEP MATH 25 CLASS 5 NOTES, SEP 30 2011 Contents 1. A brief diversion: reltively prime numbers 1 2. Lest common multiples 3 3. Finding ll solutions to x + by = c 4 Quick links to definitions/theorems Euclid

More information

CICS Application Design

CICS Application Design CICS Applition Design In orer to lern whih questions hve een nswere orretly: 1. Print these pges. 2. Answer the questions. 3. Sen this ssessment with the nswers vi:. FAX to (212) 967-3498. Or. Mil the

More information

CS553 Lecture Introduction to Data-flow Analysis 1

CS553 Lecture Introduction to Data-flow Analysis 1 ! Ide Introdution to Dt-flow nlysis!lst Time! Implementing Mrk nd Sweep GC!Tody! Control flow grphs! Liveness nlysis! Register llotion CS553 Leture Introdution to Dt-flow Anlysis 1 Dt-flow Anlysis! Dt-flow

More information

Inter-domain Routing

Inter-domain Routing COMP 631: NETWORKED & DISTRIBUTED SYSTEMS Inter-domin Routing Jsleen Kur Fll 2016 1 Internet-sle Routing: Approhes DV nd link-stte protools do not sle to glol Internet How to mke routing slle? Exploit

More information

Pattern Matching. Pattern Matching. Pattern Matching. Review of Regular Expressions

Pattern Matching. Pattern Matching. Pattern Matching. Review of Regular Expressions Pttern Mthing Pttern Mthing Some of these leture slides hve een dpted from: lgorithms in C, Roert Sedgewik. Gol. Generlize string serhing to inompletely speified ptterns. pplitions. Test if string or its

More information