Zusammenfassung
Vorgestellt wird ein ’ zur Entwurfsverifikation auf unterschiedlichen Ebenen der Detaillierung und zur Kontrolle des Transformationsprozesses zwischen den Detaillierungsebenen hierarchisch strukturierter, digitaler Systeme. Dabei wird zunachst auf Struktur- und Verhaltensbeschreibung von Entwurfsmoduln und die Zusammenfassung von Moduln zu Strukturen eingegangen, um dann zur Arbeitsmethodik mit dem Entwurfssystem überzugehen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
Reed, I.S.: Symbolic Synthesis of Digital Computers, Proc. ACM, Sept. 1952, pp. 90–94
Proctor, R.M.: A Logic Design Translator Experiment Demonstrating Relationships of Language to Systems and Logic Design, IEEE Trans, on Electronic Computers, Vol. EC–13, Aug. 1964, pp. 422–430
Schlaeppi, H.P.: A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS), IEEE Trans, on Electronic Computers, Vol. EC–13, Aug. 1964, pp. 439–448
Schorr, H.: Computer Aided Digital Design and Analysis Using a Register Transfer Language, IEEE Trans, on Electronic Computers, Vol. EC–13, Dec. 1964, pp. 730–737
Lipovsky, G. J. s Hardware Description Languages: Voices from the Tower of Babel, IEEE Computer, Vol. 10, June 1977, pp. 14–17
Symposia on Computer Hardware Description Languages and their Applications
1973, New York, on Computer Hardware Description Languages,
1974, Darmstadt, on Hardware Description Languages,
1975, New York, on Computer Hardware Design, Languages, and their Applications,
1979, Palo Alto, on Computer Hardware Description Languages,
1981, Kaiserslautern, on Computer Hardware Description Languages and their Applications
Special Issues on Computer Hardware Description Languages
IEEE Computer, Vol. 7, Dec. 1974,
IEEE Computer, Vol. 10, June 1977,
Tutorial on Computer-Aided Design Tools for Digital Systems, Van Cleemput, W.M. (Ed.), IEEE Catalog No. EHD 132–1, 1979
Pepper, P., Partsch, H.: On the Feedback between Specifications and Implementations: An Example, Bericht TUM-I 8011, Inst, für Informatik, Techn. Univ. Munchen, 1980
Hoehne, H., Piloty, R.: Design Verification at the Register Transfer Language Level, enth. in [8]
and Mimola Software ’ User Manual, Bericht 2/79, Inst, fur Informatik und Prakt. Mathematik, Univ. Kiel, 1979
Su, S.Y.H., Baray, M.B.: LALSD — A Language for Automated Logic and ’ Design, in [6c], pp. 30–31
Su, S.Y.H., Huang, Ch.L., Fu P.Y.K.: A New Multi-Level Hardware Design Language (LALSD II) and Translator, in [6c], pp. 155–169
Su, S.Y.H.: A Survey of Computer Hardware Description Languages in the USA, IEEE Computer, Dec. 1974, pp. 45–51
Barbacci, M.R.: A Comparison of Register Transfer Languages for Describing Computers and Digital Systems, IEEE Trans, on Computers, Vol. C–24, Febr. 1975, pp. 137–150
Hahn, W.: MMo-X-Eine Familie in Computer Design Language beschriebener Rechner, Bericht 8004, FB Informatik, Hoch-schule der Bundeswehr Munchen, 1980
Chu, Y.: An Algol-like Computer Design Language, Comm. ACM, Vol. 8, Oct. 1965, pp. 607–615
Mesztenyi, C.K.: Translator and Simulator for the Computer Design and Simulation Program, Version I, Techn. Report 67–48, Comp. Science Center, Univ. of Maryland, 1968
Mesztenyi, C.K.: Computer Design Language, Techn. Report 58–72, Comp. Science Center, Univ. of Maryland, 1968
Chu, Y.: Design Automation by the Computer Design Language, Techn. Report 69–86, Comp. Science Center, Univ. of Maryland, 1968
Chu, Y.: Computer Organization and Microprogramming, Prentice-Hall, Englewood Cliffs, New York, 1972
Bell, C.G., Newell, A.: The PMS and ISP Descriptive Systems for Computer Structures, Proc, 1970 Spring Joint Comp. Conf. (AFIPS), pp. 351–374 [23] Barbacci, M.R., Bell, C.G., Newell, A.: ISP: A Language to Describe Instruction Sets and other Register Transfer Systems, Proc. IEEE COMPCON 72, San Francisco, pp. 219–222
Barbacci, M.R., Siewiorek, D.P.: Applications of an ISP Compiler in a Design Automation Laboratory, in [6c], pp. 69–75
Barbacci, M.R.: Instruction Set Processor Specifications (ISPS): The Notation and its Application, IEEE Trans, on Computers, Vol. C–30, Jan. 1981, pp. 24–40
Hahn, W.: Computer Design Language-Version Munich (CDLM): Eine moderne Rechnerbeschreibungssprache, Bericht 8002, FB Informatik, Hochschule der Bundeswehr Munchen, 1981
Burroughs Corp.: B7000/B6000 Series PL/I ReferenceManual, No. 5001530, 1977
Entwurfsautomatisierung für Datenverarbeitungsanlagen und deren Komponenten, Nachrichtentechn. Fachberichte Band 49, VDE, Berlin, 1974
Van Cleemput, W.M.: Computer-Aided Design of Digital Systems: a Bibliography, Woodland Hills, Computer Science Press, 1976
Estrin, G.: Modeling for Synthesis — The Gap between Intent and Behavior, in [8], pp. 76–81
Eveking, H.: The Application of Register Transfer Languages in the Design of Real Hardware, in [6d], pp. 169–177
Leung, CI.: On a Top-Down Design Methodology for Packet Systems, in [6e], pp. 171–184
Walbert, R.: Spezifikation der Kommandosprache CDLM-S zur Steuerung der Simulation von in CDLM beschriebenen Rechner-strukturen, Bericht 8003, FB Informatik, Hochschule der Bundeswehr Munchen, 1981 (wird uberarbeitet zu CDLM-WFL)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hahn, W. (1982). Computer Design Language — Version Munich (CDLM) Eine moderne Rechnerentwurfssprache. In: Nehmer, J. (eds) GI-12. Jahrestagung. Informatik-Fachberichte, vol 57. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68603-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-68603-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11609-7
Online ISBN: 978-3-642-68603-0
eBook Packages: Springer Book Archive