Skip to main content
SpringerLink
Log in

Computer Design Language — Version Munich (CDLM) A Multi-Level Simulation Tool

  • Conference paper
First European Simulation Congress ESC 83

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

Abstract

Based on and extended toConputerDesignLanguage andInstructionSet.ProcessorSpecification, the language CDIM is proposed as a system both for design verification at different levels of abstraction and for dynamic verification of design refinement steps. Some aspects of structure, behavior and algorithm description level and design decomposition are discussed.

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barbacci, M.R.: A Gonparison of Rsqister Transfer Languages for Describing Computers and Digital Systems, IEEE Trans, on Computers, Vol. C-24, Febr. 1975, pp. 137–150

    Article  Google Scholar 

  2. Barbacci, M.R.: Instruction Set Processor Specifications (ISPS): The Notation and its Application, IEEE Trans, on Gonp., Vol. C-30, Jan. 1981, pp. 24–40

    Google Scholar 

  3. Bell, C.G., Newell, A.: The FMS and ISP Descriptive Systems for Gonputer Structures, Proc. 1970 Spring Joint Coip. Conf. ( AFIPS ), pp. 351–374

    Google Scholar 

  4. Chu, Y.: An Algol-like ODJiputer Design Language, Cbmm. ACM, VdI. 8, Oct. 1965, pp. 607–615

    Article  MATH  Google Scholar 

  5. Hahn, W.: MMd-X - Eine Familie in Gbnputer Design language beschriebener Rechner, Bericht 8004, FB Informatik, Hochschule der Bundeswehr Munchen, 1980

    Google Scholar 

  6. Hahn, W.: Computer Design Lanquage - Version Munich (CDIM): Eine moderne Rechnerentwurfssprache, Bericht 8002, FB Informatik, Hochschule der Bundeswehr Munchen, 1981

    Google Scholar 

  7. Hahn, W.: Gbnputer Design Language - \fersion Munich (CDIM): Eine moderne Rechnerentwurfssprache, Proc. Ann. Conf. of the Gesellschaft fur Informatik, Oct. 1982, pp. 58–72

    Google Scholar 

  8. Hahn, W.: Computer Design Language - Version Munich (CDLM): A Modern Multi- Level Language, Proc. 20th ACM/IEEE Design Automation Conference, June 1983

    Google Scholar 

  9. Peterson, J.L.: Petri Nets, ACM Conputing Surveys, Vol. 9, No. 3, Sept. 1977, pp. 223–252

    Article  MATH  Google Scholar 

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

    Google Scholar 

  11. Symposia on Computer Hardware Description Lanquages and their applications: 1973, Rutgers; 1974, Darmstadt? 1975, New York? 1979, Palo Alto? 1981, Kaiserslautern?

    Google Scholar 

  12. Tutorial on Gonputer-Aided Design Tbols for Digital Systems, Van Qeenput, W.M. (Ed.), IEEE Catalog No. EHD 132–1, 1979

    Google Scholar 

  13. Van Qeenput, W.M .: Conputer Aided Design of Digital Systems: A Bibliography, Wbodland Hills, Conputer Science Press, 1976-

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. 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. Lehrstuhl für Allgemeine Elektrotechnik und Datenverarbeitungssysteme, Rogowksi Institut für Elektrotechnik, RWTH Aachen, Schinkelstraße 2, D-5100, Aachen, Federal Republic of Germany

    Walter Ameling

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hahn, W. (1983). Computer Design Language — Version Munich (CDLM) A Multi-Level Simulation Tool. In: Ameling, W. (eds) First European Simulation Congress ESC 83. Informatik-Fachberichte, vol 71. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69295-6_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69295-6_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12723-9

  • Online ISBN: 978-3-642-69295-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation