Efficient Interconnection Schemes for VLSI and Parallel Computation

Abstract : This thesis is primarily concerned with two problems of interconnecting components in VLSI technologies. In the first case, the goal is to construct efficient interconnection networks for general-purpose parallel computers. The second problem is a more specialized problem in the design of VLSI chips, namely multilayer channel routing In addition, a final part of this thesis provides lower bounds on the area required for VLSI implementations of finite-state machines. This thesis shows that networks based on Leiserson's fat- tree architecture are nearly as good as any network built in a comparable amount of physical space. It shows that these 'universal' networks can efficiently simulate competing networks by means of an appropriate correspondence between network components and efficient algorithms for routing messages on the universal network. In particular, a universal network of area A can simulate competing networks with O(lg cubed A) slowdown (in bit-times), using a very simple randomized routing algorithm and simple network components. Alternatively, a packet routing scheme of Leighton, Maggs, and Rao can be used in conjunction with more sophisticated switching components to achieve O(lg squared A) slowdown. (RRH)

[1]  Hiroyuki Watanabe,et al.  Graph-Optimization Techniques for IC Layout and Compaction , 1983, 20th Design Automation Conference Proceedings.

[2]  Martin Tompa An Optimal Solution to a Wire-Routing Problem , 1981, J. Comput. Syst. Sci..

[3]  Frank Thomson Leighton,et al.  Parallel Computation Using Meshes of Trees , 1983, WG.

[4]  Ondrej Sýkora,et al.  Tight Chip Area Lower Bounds for String Matching , 1987, Inf. Process. Lett..

[5]  Frank Harary,et al.  Enumeration of Finite Automata , 1967, Inf. Control..

[6]  Jean Vuillemin,et al.  A combinatorial limit to the computing power of V.L.S.I. circuits , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[7]  Thomas Lengauer,et al.  On the Solution of Inequality Systems Relevant to IC-Layout , 1984, J. Algorithms.

[8]  Walter Heyns The 1-2-3 Routing Algorithm or the Single Channel 2-Step Router on 3 Interconnection Layers , 1982, DAC 1982.

[9]  Wolfgang J. Paul,et al.  An efficient general purpose parallel computer , 1981, STOC '81.

[10]  Romas Aleliunas,et al.  Randomized parallel communication (Preliminary Version) , 1982, PODC '82.

[11]  Franco P. Preparata,et al.  A Critique and an Appraisal of VLSI Models of Computation. , 1981 .

[12]  Eli Upfal,et al.  An O(logN) deterministic packet routing scheme , 1989, STOC '89.

[13]  David A. Patterson,et al.  X-Tree: A tree structured multi-processor computer architecture , 1978, ISCA '78.

[14]  F. Miller Maley,et al.  Single-layer wire routing , 1987 .

[15]  Andranik Mirzaian,et al.  River Routing in VLSI , 1987, J. Comput. Syst. Sci..

[16]  Leslie G. Valiant,et al.  A logarithmic time sort for linear size networks , 1982, STOC.

[17]  H. T. Kung,et al.  A Regular Layout for Parallel Adders , 1982, IEEE Transactions on Computers.

[18]  Frank Thomson Leighton,et al.  A Framework for Solving VLSI Graph Layout Problems , 1983, J. Comput. Syst. Sci..

[19]  Alberto L. Sangiovanni-Vincentelli,et al.  A New Symbolic Channel Router: YACR2 , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[20]  H. Chernoff A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations , 1952 .

[21]  C. Thomborson,et al.  Area-time complexity for VLSI , 1979, STOC.

[22]  P.P.G. Kramer,et al.  Wire routing in NP-complete , 1982 .

[23]  Frank Thomson Leighton,et al.  An approximation algorithm for manhattan routing , 1983, STOC '83.

[24]  Eli Upfal,et al.  Parallel hashing: an efficient implementation of shared memory , 1988, JACM.

[25]  Akihiro Hashimoto,et al.  Wire routing by optimizing channel assignment within large apertures , 1971, DAC.

[26]  Leslie G. Valiant,et al.  Universal circuits (Preliminary Report) , 1976, STOC '76.

[27]  Ron Y. Pinter,et al.  Channel Routing for Integrated Circuits , 1990 .

[28]  Michael A. Harrison A census finite automata , 1964 .

[29]  Uzi Vishkin,et al.  Implementation of Simultaneous Memory Address Access in Models That Forbid It , 1983, J. Algorithms.

[30]  Ronald I. Greenberg,et al.  Lower Bounds on the Area of Finite-State Machines , 1989, Inf. Process. Lett..

[31]  H. T. Kung,et al.  The Area-Time Complexity of Binary Multiplication , 1981, JACM.

[32]  Abhiram G. Ranade,et al.  How to emulate shared memory , 1991, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[33]  Jeffrey D. Ullman,et al.  The compilation of regular expressions into integrated circuits , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[34]  R. Y. Pinter,et al.  THE IMPACT OF LAYER ASSIGNMENT METHODS ON LAYOUT ALGORITHM FOR INTEGRATED CIRCUITS , 1983 .

[35]  John E. Savage,et al.  Area-Time Tradeoffs for Matrix Multiplication and Related Problems in VLSI Models , 1981, J. Comput. Syst. Sci..

[36]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[37]  Leslie G. Valiant,et al.  Universality considerations in VLSI circuits , 1981, IEEE Transactions on Computers.

[38]  Ron Y. Pinter,et al.  An algorithm for the optimal placement and routing of a circuit within a ring of pads , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[39]  Alan Siegel,et al.  Optimal wiring between rectangles , 1981, STOC '81.

[40]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .

[41]  Charles E. Leiserson,et al.  Algorithms for routing and testing routability of planar VLSI layouts , 1985, STOC '85.

[42]  Eli Upfal,et al.  A probabilistic relation between desirable and feasible, models of parallel computation , 1984, STOC '84.

[43]  F. Thomas Leighton,et al.  Complexity Issues in VLSI , 1983 .

[44]  Nicholas Pippenger,et al.  Parallel Communication with Limited Buffers (Preliminary Version) , 1984, FOCS.

[45]  Michael J. Foster,et al.  A Specialized Silicon Compiler and Programmable Chip for Language Recognition , 1986 .

[46]  Ron Y. Pinter,et al.  River Routing: Methodology and Analysis , 1983 .

[47]  Bernard Chazelle,et al.  Census functions: An approach to VLSI upper bounds , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[48]  Ron Y. Pinter,et al.  Optimal Placement for River Routing , 1983 .

[49]  Charles E. Leiserson,et al.  Fat-trees: Universal networks for hardware-efficient supercomputing , 1985, IEEE Transactions on Computers.

[50]  Charles E. Leiserson,et al.  VLSI theory and parallel supercomputing , 1989 .

[51]  H. T. Kung,et al.  On the Area of Binary Tree Layouts , 1980, Inf. Process. Lett..

[52]  H. T. Kung,et al.  Fast Algorithms for Manipulating Formal Power Series , 1978, JACM.

[53]  Leslie G. Valiant,et al.  Universal schemes for parallel communication , 1981, STOC '81.

[54]  Richard P. Brent,et al.  Area-time Tradeoffs for VLSI Circuits , 1982 .

[55]  Bruce M. Maggs,et al.  Universal packet routing algorithms , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[56]  Leslie G. Valiant,et al.  A Scheme for Fast Parallel Communication , 1982, SIAM J. Comput..

[57]  Ron Y. Pinter,et al.  Trapezoid graphs and their coloring , 1988, Discret. Appl. Math..

[58]  Eli Upfal,et al.  Efficient schemes for parallel communication , 1982, PODC '82.

[59]  Carlo H. Séquin,et al.  Communication In X-TREE, A Modular Multiprocessor System , 1978, ACM Annual Conference.

[60]  Frank Thomson Leighton,et al.  Tight Bounds on the Complexity of Parallel Sorting , 1985, IEEE Trans. Computers.

[61]  Charles E. Leiserson,et al.  How to assemble tree machines , 1984 .

[62]  Romas A. Aleliunas Probabilistic parallel communication , 1983 .

[63]  J. Saxe,et al.  A general method for solving divide-and-conquer recurrences , 1980, SIGA.

[64]  Alan Siegel,et al.  Some Geometry for General River Routing , 1988, SIAM J. Comput..

[65]  Eli Upfal,et al.  How to share memory in a distributed system , 1984, JACM.

[66]  Yun Kang Chen,et al.  Three-Layer Channel Routing , 1984, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[67]  Howard Trickey Good Layouts for Pattern Recognizers , 1982, IEEE Transactions on Computers.

[68]  Harold Abelson,et al.  Information transfer and area-time tradeoffs for VLSI multiplication , 1980, CACM.

[69]  Alan Siegel,et al.  The Separation for General Single-Layer Wiring Barriers , 1981 .

[70]  Arnold L. Rosenberg,et al.  Three-Dimensional Circuit Layouts , 1984, SIAM J. Comput..

[71]  Alberto L. Sangiovanni-Vincentelli,et al.  MulCh: a multi-layer channel router using one, two, and three layer partitions , 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

[72]  Kurt Mehlhorn,et al.  Deterministic Simulation of Idealized Parallel Computers on More Realistic Ones , 1986, MFCS.

[73]  Susanne E. Hambrusch Channel Routing Algorithms for Overlap Models , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[74]  E. Szemerédi,et al.  O(n LOG n) SORTING NETWORK. , 1983 .

[75]  Alberto L. Sangiovanni-Vincentelli,et al.  Techniques for multilayer channel routing , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[76]  R.L. Rivest,et al.  A "Greedy" Channel Router , 1982, 19th Design Automation Conference.

[77]  Richard J. Enbody,et al.  Near-Optimal n-Layer Channel Routing , 1986, 23rd ACM/IEEE Design Automation Conference.

[78]  Joseph JaJa,et al.  Parallel Algorithms for River Routing. , 1987 .

[79]  Jason Cong,et al.  A new approach to three- or four-layer channel routing , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[80]  David N. Deutsch A “DOGLEG” channel router , 1976, DAC 1976.

[81]  Ronald I. Greenberg,et al.  Randomized Routing on Fat-Trees (Preliminary Version) , 1985, FOCS.

[82]  Takeshi Yoshimura,et al.  Efficient Algorithms for Channel Routing , 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[83]  A. S. LaPaugh,et al.  ALGORITHMS FOR INTEGRATED CIRCUIT LAYOUT: AN ANALYTIC APPROACH , 1980 .

[84]  Thomas G. Szymanski Dogleg Channel Routing is NP-Complete , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[85]  E. Szemerédi,et al.  Sorting inc logn parallel steps , 1983 .

[86]  Charles E. Leiserson,et al.  A Hyperconcentrator Switch for Routing Bit-Serial Messages (Extended Abstract), , 1986 .

[87]  Charles E. Leiserson,et al.  Area-Efficient Graph Layouts (for VLSI) , 1980, FOCS.

[88]  C. Leiserson,et al.  A compact layout for the three-dimensional tree of meshes , 1988 .

[89]  C. Thomborson,et al.  A Complexity Theory for VLSI , 1980 .

[90]  Richard Cole,et al.  River Routing Every Which Way, but Loose (Extended Abstract) , 1984, FOCS.