Skip to main content
SpringerLink
Log in
Book cover

GI-12. Jahrestagung pp 58–72Cite as

Computer Design Language — Version Munich (CDLM) Eine moderne Rechnerentwurfssprache

  • Conference paper

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 57))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Reed, I.S.: Symbolic Synthesis of Digital Computers, Proc. ACM, Sept. 1952, pp. 90–94

    Google Scholar 

  2. 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

    Google Scholar 

  3. 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

    Google Scholar 

  4. 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

    Google Scholar 

  5. Lipovsky, G. J. s Hardware Description Languages: Voices from the Tower of Babel, IEEE Computer, Vol. 10, June 1977, pp. 14–17

    Google Scholar 

Symposia on Computer Hardware Description Languages and their Applications

  1. 1973, New York, on Computer Hardware Description Languages,

    Google Scholar 

  2. 1974, Darmstadt, on Hardware Description Languages,

    Google Scholar 

  3. 1975, New York, on Computer Hardware Design, Languages, and their Applications,

    Google Scholar 

  4. 1979, Palo Alto, on Computer Hardware Description Languages,

    Google Scholar 

  5. 1981, Kaiserslautern, on Computer Hardware Description Languages and their Applications

    Google Scholar 

Special Issues on Computer Hardware Description Languages

  1. IEEE Computer, Vol. 7, Dec. 1974,

    Google Scholar 

  2. IEEE Computer, Vol. 10, June 1977,

    Google Scholar 

  3. Tutorial on Computer-Aided Design Tools for Digital Systems, Van Cleemput, W.M. (Ed.), IEEE Catalog No. EHD 132–1, 1979

    Google Scholar 

  4. 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

    Google Scholar 

  5. Hoehne, H., Piloty, R.: Design Verification at the Register Transfer Language Level, enth. in [8]

    Google Scholar 

  6. and Mimola Software ’ User Manual, Bericht 2/79, Inst, fur Informatik und Prakt. Mathematik, Univ. Kiel, 1979

    Google Scholar 

  7. Su, S.Y.H., Baray, M.B.: LALSD — A Language for Automated Logic and ’ Design, in [6c], pp. 30–31

    Google Scholar 

  8. 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

    Google Scholar 

  9. Su, S.Y.H.: A Survey of Computer Hardware Description Languages in the USA, IEEE Computer, Dec. 1974, pp. 45–51

    Google Scholar 

  10. 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

    Google Scholar 

  11. Hahn, W.: MMo-X-Eine Familie in Computer Design Language beschriebener Rechner, Bericht 8004, FB Informatik, Hoch-schule der Bundeswehr Munchen, 1980

    Google Scholar 

  12. Chu, Y.: An Algol-like Computer Design Language, Comm. ACM, Vol. 8, Oct. 1965, pp. 607–615

    Article  MATH  Google Scholar 

  13. 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

    Google Scholar 

  14. Mesztenyi, C.K.: Computer Design Language, Techn. Report 58–72, Comp. Science Center, Univ. of Maryland, 1968

    Google Scholar 

  15. Chu, Y.: Design Automation by the Computer Design Language, Techn. Report 69–86, Comp. Science Center, Univ. of Maryland, 1968

    Google Scholar 

  16. Chu, Y.: Computer Organization and Microprogramming, Prentice-Hall, Englewood Cliffs, New York, 1972

    Google Scholar 

  17. 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

    Google Scholar 

  18. Barbacci, M.R., Siewiorek, D.P.: Applications of an ISP Compiler in a Design Automation Laboratory, in [6c], pp. 69–75

    Google Scholar 

  19. 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

    Google Scholar 

  20. Hahn, W.: Computer Design Language-Version Munich (CDLM): Eine moderne Rechnerbeschreibungssprache, Bericht 8002, FB Informatik, Hochschule der Bundeswehr Munchen, 1981

    Google Scholar 

  21. Burroughs Corp.: B7000/B6000 Series PL/I ReferenceManual, No. 5001530, 1977

    Google Scholar 

  22. Entwurfsautomatisierung für Datenverarbeitungsanlagen und deren Komponenten, Nachrichtentechn. Fachberichte Band 49, VDE, Berlin, 1974

    Google Scholar 

  23. Van Cleemput, W.M.: Computer-Aided Design of Digital Systems: a Bibliography, Woodland Hills, Computer Science Press, 1976

    Google Scholar 

  24. Estrin, G.: Modeling for Synthesis — The Gap between Intent and Behavior, in [8], pp. 76–81

    Google Scholar 

  25. Eveking, H.: The Application of Register Transfer Languages in the Design of Real Hardware, in [6d], pp. 169–177

    Google Scholar 

  26. Leung, CI.: On a Top-Down Design Methodology for Packet Systems, in [6e], pp. 171–184

    Google Scholar 

  27. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Hochschule der Bundeswehr München, Werner-Heisenberg-Weg 39, D-8014, Neubiberg, Germany

    Winfried Hahn

Authors
  1. Winfried Hahn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Kaiserslautern, Kaiserslautern, Postfach 3049, 6750, Germany

    Jürgen Nehmer

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation