Advertisement

Algorithmische Spezifikation von symbolischen Layouts integrierter Schaltkreise

  • Thomas Lengauer
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 89)

Zusammenfassung

Wir geben einen Überblick über die Zielsetzungen bei der Entwicklung des HILL Systems (Hierarchical Layout Language). Das System ermöglicht den Einsatz mächtiger algorithmischer Hilfsmittel wie Rekursion und Parametrisierung zur Spezifikation von symbolischen Layouts integrierter Schaltkreise. Gegenwärtig erlaubt das System neben diversen Möglichkeiten der Überprüfung von Layouts deren Kompaktierung in die vom Hersteller geforderten Maskendaten, sowie die funktionale Simulation auf dem Schalterniveau. Durch den Einsatz des Systems wird der Prozeß des Entwurfs regulärer Layouts so stark abgekürzt, daß es möglich wird, verschiedene Varianten eines Schaltkreisentwurfs durchzuspielen. Dabei gewinnt der Designer durch die Spezifikation auf symbolischer Ebene eine gewisse Unabhängigkeit von den Entwurfsregeln des Fabrikationsprozesses. Diese Unabhängigkeit erhöht sowohl die Effektivität des Designers als auch die Robustheit des Layouts gegenüber Änderungen im Fabrikationsprozeß.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturhinweise

  1. [ALI2]
    J. Valdes, “ALI2 Documentation and Implementation Guide: Language Overview,” Dep. of Elec. Eng. and Comp. Sci., Princeton University, Princeton, N.J. (1982).Google Scholar
  2. [CABBAGE]
    M.Y. Hsueh, “Symbolic Layout and Compaction of Integrated Circuits,” Ph. D. thesis, EECS-Dep. University of Calfornia, Berkeley, CA (1979).Google Scholar
  3. [D84]
    J. Doenhardt, “Kompaktierung geometrischer Layouts,” Diplomarbeit, FB 10, Univ. d. Saarlandes (1984)Google Scholar
  4. [Electric]
    S.M. Rubin, “An Integrated Aid for Top-Down Electrical Design,” Proc. of VLSI83 (1983) 63–72.Google Scholar
  5. [HILLSIM]
    K. Mehlhorn, S. Näher, M. Nowak, “HILLSIM — ein Simulator für MOS Schaltkreise,” TR A82/08, FB 10, Univ. d. Saarl., Saarbrücken (1982).Google Scholar
  6. [i]
    S.C. Johnson, “Hierarchical Design Validation Based on Rectangles,” Conference on Advanced Research in VLSI, M.I.T. (1982) 97–100.Google Scholar
  7. [L82a]
    T. Lengauer, “On the Solution of Inequality Systems Relevant to IC Layout,” 8th Workshop on Graphtheoretic Concepts in Computer Science (WG82) (ed. W. Schneider) (1982).Google Scholar
  8. [L82b]
    T. Lengauer, “The Complexity of Compaction Hierarchically Specified Layouts of Integrated Circuits,” 23rd FOCS (1982) 358–368.Google Scholar
  9. [L83]
    T. Lengauer, “Efficient Algorithms for the Constraint Generation for Integrated Circuits Layout Compaction,” 9th Workshop on Graphtheoretic Concepts in Computer Science (WG83) (ed. M. Nagl) (1983).Google Scholar
  10. [LM84]
    T. Lengauer, K. Mehlhorn, “The HILL System: A Design Environment for the Hierarchical Specification,Compaction, and Simulation of Integrated Circuit Layouts,” 1984 Conference on Advanced Research in VLSI, M.I.T. (P. Penfield Jr. ed.) 139–149.Google Scholar
  11. [LN84]
    T. Lengauer, S. Näher, “Delay-Independent Switch Level Simulation of Digital MOS Circuits,” VLSI: Algorithms and Architectures, International Workshop on Parallel Computing and VLSI, Araalfi, Italy (1984).Google Scholar
  12. [LUCIFER]
    J.J. Levy, “On the Lucifer System,” Advanced Course on VLSI Architecture, University of Bristol, Great Britain (1981).Google Scholar
  13. [MC80]
    C. Mead, L. Conway, Introduction to VLSI Systems, Addison-Wesley (1980).Google Scholar
  14. [STICKS]
    J.D. Williams, “STICKS- A Graphical Compiler for High Level LSI Design,” Nat. Comp. Conf. (1978) 289–295.Google Scholar
  15. [Sticks&Stones]
    L. Cardelli, G. Plotkin, “An Algebraic Approach to VLSI Design,” Proc. of VLSI 81 (1981) 173–182.Google Scholar
  16. [V84]
    P. Vogelgesang, “Ratio Checking in NMOS Schaltkreisen,” Diplomarbeit, FB 10, Univ. d. Saarl., to appear.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Thomas Lengauer
    • 1
  1. 1.Fachbereich 10Universität des SaarlandesSaarbrückenDeutschland

Personalised recommendations