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ß.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literaturhinweise
J. Valdes, “ALI2 Documentation and Implementation Guide: Language Overview,” Dep. of Elec. Eng. and Comp. Sci., Princeton University, Princeton, N.J. (1982).
M.Y. Hsueh, “Symbolic Layout and Compaction of Integrated Circuits,” Ph. D. thesis, EECS-Dep. University of Calfornia, Berkeley, CA (1979).
J. Doenhardt, “Kompaktierung geometrischer Layouts,” Diplomarbeit, FB 10, Univ. d. Saarlandes (1984)
S.M. Rubin, “An Integrated Aid for Top-Down Electrical Design,” Proc. of VLSI83 (1983) 63–72.
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).
S.C. Johnson, “Hierarchical Design Validation Based on Rectangles,” Conference on Advanced Research in VLSI, M.I.T. (1982) 97–100.
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).
T. Lengauer, “The Complexity of Compaction Hierarchically Specified Layouts of Integrated Circuits,” 23rd FOCS (1982) 358–368.
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).
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.
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).
J.J. Levy, “On the Lucifer System,” Advanced Course on VLSI Architecture, University of Bristol, Great Britain (1981).
C. Mead, L. Conway, Introduction to VLSI Systems, Addison-Wesley (1980).
J.D. Williams, “STICKS- A Graphical Compiler for High Level LSI Design,” Nat. Comp. Conf. (1978) 289–295.
L. Cardelli, G. Plotkin, “An Algebraic Approach to VLSI Design,” Proc. of VLSI 81 (1981) 173–182.
P. Vogelgesang, “Ratio Checking in NMOS Schaltkreisen,” Diplomarbeit, FB 10, Univ. d. Saarl., to appear.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lengauer, T. (1984). Algorithmische Spezifikation von symbolischen Layouts integrierter Schaltkreise. In: Ehrich, HD. (eds) Fachgespräche auf der 14. GI-Jahrestagung. Informatik-Fachberichte, vol 89. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70087-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-70087-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13862-4
Online ISBN: 978-3-642-70087-3
eBook Packages: Springer Book Archive