Switchbox routing in VLSI design: Closing the complexity gap

Extended abstract
  • Stephan Hartmann
  • Markus W. Schäffter
  • Andreas S. Schulz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1197)

Abstract

The design of integrated circuits has achieved a great deal of attention in the last decade. In the routing phase, there have survived two open layout problems which are important from both the theoretical and the practical point of view. Up to now, switchbox routing has been known to be solvable in polynomial time when there are only 2-terminal nets, and to be NP-complete in case there exist nets involving at least five terminals. Our main result is that this problem is NP-complete even if no net has more than three terminals. Hence, from the theoretical perspective, the switchbox routing problem is completely settled.

The NP-completeness proof is based on a reduction from a special kind of the satisfiability problem. It is also possible to adopt our construction to channel routing which shows that this problem is NP-complete, even if each net does not consist of more than four terminals. This improves upon a result of Sarrafzadeh who showed the NP-completeness in case of nets with no more than five terminals.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [FWW93]
    M. Formann, D. Wagner, and F. Wagner. Routing through a dense channel with minimum total wire length. Journal of Algorithms, 15:267–283, 1993.Google Scholar
  2. [GJ79]
    M. R. Garey and D. S. Johnson. Computers and Intractability — A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, New York, 1979.Google Scholar
  3. [GMW93]
    M. Grötschel, A. Martin, and R. Weismantel. Routing in grid graphs by cutting planes. In G. Rinaldi and L. Wolsey, editors, Third IPCO Conference, pages 447–461, 1993.Google Scholar
  4. [Har96]
    S. Hartmann. Channel routing with 4-terminal nets is NP-complete. Preprint, Fachbereich Mathematik, Technische Universität Berlin, Berlin, Germany, 1996.Google Scholar
  5. [KPS90]
    B. Korte, H.-J. Prömel, and A. Steger. Steiner trees in VLSI-layout. In B. Korte, L. Lovasz, H. J. Prömel, and A. Schrijver, editors, Paths, Flows and VLSI-Layout, pages 185–214. Springer Verlag, 1990.Google Scholar
  6. [KvL84]
    M. R. Kramer and J. van Leeuwen. The complexity of wire routing and finding minimum area layouts for arbitrary VLSI circuits. In F. P. Preparata, editor, Advances in Computing Research, Vol. 2 VLSI theory, pages 129–146. JAI Press, Reading, MA, 1984.Google Scholar
  7. [Len90]
    Th. Lengauer. Combinatorical Algorithms for Integrated Circuit Layout. Teubner/Wiley&Sons, 1990.Google Scholar
  8. [Mid93]
    M. Middendorf. Manhattan channel routing is \(\mathcal{N}\mathcal{P}\)-complete under truly restricted settings. Preprint, Universität Karlruhe, 1993. To appear in the Chicago Journal of Theoretical Computer Science.Google Scholar
  9. [MP86]
    K. Mehlhorn and F. P. Preparata. Routing through a rectangle. Journal of the Association for Computing Machinery, 33(1):60–85, 1986.Google Scholar
  10. [MS92]
    M. Marek-Sadowska. Switch box routing: a retrospective. Integration, the VLSI Journal, 13:39–65, 1992.Google Scholar
  11. [MWW95]
    R. H. Möhring, D. Wagner, and F. Wagner. Network Routing, chapter VLSI Network Design, pages 625–712. Handbooks in Operations Research and Management Science. Elsevier, 1995.Google Scholar
  12. [OS81]
    H. Okamura and P. D. Seymour. Multicommodity flows in planar graphs. Journal of Computer Theory, pages 75–81, 1981.Google Scholar
  13. [Sar87]
    M. Sarrafzadeh. Channel-routing problem in the knock-knee mode is NP-complete. IEEE Transaction on Computer-Aided Design, 6(4):503–506, 1987.Google Scholar
  14. [Szy85]
    T. G. Szymanski. Dogleg channel-routing is NP-complete. IEEE Transaction on Computer-Aided Design, 4(1):31–41, 1985.Google Scholar

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Stephan Hartmann
    • 1
  • Markus W. Schäffter
    • 1
  • Andreas S. Schulz
    • 1
  1. 1.Fachbereich Mathematik (MA 6-1)Technische Universität BerlinBerlinGermany

Personalised recommendations