Zusammenfassung
Es wird ein System beschrieben, das einen Schaltungsentwurf aus einer Beschreibung der gewünschten Schaltungsfunktion erzeugt. Die Schaltungsfunktion ist dazu in einer höheren, auf den Entwurf abgestimmten Sprache DSL zu formulieren. Das System überprüft diese Beschreibung und bildet sie in einen Datenflußgraphen ab, der eine abstrakte und von Zufälligkeiten der Formulierung bereinigte Verkettung der notwendigen Operationen darstellt. Dieser Datenflußgraph wird in eine Schaltungsstruktur mit Hilfe von Methoden umgewandelt, welche auf speziellen Weiterentwicklungen der Petri-Netze basieren. Es ist auf diese Weise möglich, eine funktionsäquivalente Schaltung zu erzeugen, die im Sinne der formulierten Funktion korrekt ist. Das Entwurfsergebnis wird in der Sprache STRUDEL angegeben, welche für Strukturbeschreibungen entwickelt wurde. Es kann in dieser Form leicht als Eingabe für weitere Programme zur Simulation, Testmustererzeugung, Layoutgenerierung usw. dienen.
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.
Literatur
Burstein, M.; Hong, S.J.: Hierarchical VLSI Layout: Simultaneous Placement and Wiring of Gate Arrays. VLSI Conference Proceedings, 1983.
Camposano, R.: Realisierungsformen für den hierarchischen modularen Entwurf von digitalen Systemen mit gesteuerten Netzen. Dissertation an der Universität Karlsruhe, Hochschul-Verlag Freiburg, 1982.
Camposano, R.; Kunzmann, A.; Rosenstiel, W.: Automatic Data Path Synthesis from DSL Specifications. Int. Conference on Computer Design ICCD ’84, Port Chester, Oct. 1984.
Camposano, R.; Rosenstiel, W.: Algorithmische Synthese deterministischer (Petri-)Netze aus Ablaufbeschreibungen. Interner Bericht Nr.”22/80, FakuLtät für Informatik, Universität Karlsruhe, 1980.
Camposano, R.; Treff, L.: STRUDEL: Eine Sprache zur Spezifikation der Struktur digitaler Schaltungen. Interner Bericht Nr. 7/84, Fakultät für Informatik, Universität Karlsruhe, 1984.
Director, S.W.; Parker, A.C.; Siewiorek, D.P.; Thomas, D.E.: A Design Methodology and Computer Aids for Digital VLSI Systems. IEEE Trans. on Circuits and Systems, Vol. CAS-28, No. 7, 1981.
Director, S.W.; Shen, J.P.; Siewiorek, D.P.; Thomas, D.E.: The CMU DA/CAD Projekt. Research Report No. CMUCAD-82–2, SRC-CMU Center for Computer Aided Design, Carnegie-Mellon University, 1982.
Kastens, U.: ALADIN — Eine Definitionssprache für attributierte Grammatiken. Interner Bericht Nr. 7/79, Fakultät für Informatik, Universität Karlsruhe 1979.
Kastens, U.; Zimmermann, E.: GAG — A Generator Based on Attributed Grammars. Interner Bericht Nr. Nr. 14/80, Fakultät für Informatik, Universität Karlsruhe, 1980.
Koch, B.; Nett, M.: CAD für IC. Data Report 19 (1984), Heft 2, Siemens AG, Berlin und München.
Knödler, B.: Entwurf eines Übersetzers für den hierarchischen Entwurf von CMOS-Gate Arrays. Diplomarbeit am Institut für Informatik IV, Universität Karlsruhe, 1983.
Lipp, H.M.; Nolle, M.; Sutter, K.: LOGE — Ein leistungsfähiges CAD-System zum Entwurf digitaler Steuerungen. Proc. 10th International Conference Microelectronics, 1982.
Marwedel, P.: The MIM0LA Design System: Detailed Description of the Software System. 16th Design Automation Conference, 1979.
Mead, C; Conway, L.: Introduction to VLSI Systems. Addison-Wesley, 1980.
Rosenberg, L.M.: The Evolution of Design Automation to Meet the Challenges of VLSI. 17th Design Automation Conference, June 1980.
Rosenstiel, W.: DSL — Eine Sprache zur Spezifikation der Funktion digitaler Systeme: Konzept und Implementierung. Interner Bericht Nr. 9/82, Fakultät für Informatik, Universität Karlsruhe, 1982.
Rosenstiel, W.: Synthese des Datenflusses digitaler Schaltungen aus formalen Funktionsbeschreibungen. Dissertation an der Universität Karlsruhe, 1984.
Shiva, S.G.: Automatic Hardware Synthesis. Proceedings of the IEEE, Vol. 71, No. 1, Jan. 1983.
Siemens AG: Venus, Version 1.1, Bedienungsanleitungen, SIEMENS ZT ZTI, 1984.
Werner, J.: Progress Toward the “Ideal” Silicon Compiler. VLSI Design, Sept. 1983.
Wipfler, G.J.; Wiesel, M.; Mlynski, D.A.: A Combined Force and Cut Algorithm for Hierarchical VLSI Layout. 19th Design Automation Conference Proceedings, Las Vegas, 1982.
Zimmermann, G.: MDS — The MIMOLA Design Method. Journal of Digital Systems, Vol. 4, No. 3, 1980.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schmid, D., Camposano, R., Rosenstiel, W. (1984). Automatischer Entwurf Hochintegrierter Schaltungen aus Beschreibungen der Schaltungsfunktion. In: Ehrich, HD. (eds) GI — 14. Jahrestagung. Informatik-Fachberichte, vol 88. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-07491-6_25
Download citation
DOI: https://doi.org/10.1007/978-3-662-07491-6_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13861-7
Online ISBN: 978-3-662-07491-6
eBook Packages: Springer Book Archive