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
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
References
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
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
Bell, C.G., Newell, A.: The FMS and ISP Descriptive Systems for Gonputer Structures, Proc. 1970 Spring Joint Coip. Conf. ( AFIPS ), pp. 351–374
Chu, Y.: An Algol-like ODJiputer Design Language, Cbmm. ACM, VdI. 8, Oct. 1965, pp. 607–615
Hahn, W.: MMd-X - Eine Familie in Gbnputer Design language beschriebener Rechner, Bericht 8004, FB Informatik, Hochschule der Bundeswehr Munchen, 1980
Hahn, W.: Computer Design Lanquage - Version Munich (CDIM): Eine moderne Rechnerentwurfssprache, Bericht 8002, FB Informatik, Hochschule der Bundeswehr Munchen, 1981
Hahn, W.: Gbnputer Design Language - \fersion Munich (CDIM): Eine moderne Rechnerentwurfssprache, Proc. Ann. Conf. of the Gesellschaft fur Informatik, Oct. 1982, pp. 58–72
Hahn, W.: Computer Design Language - Version Munich (CDLM): A Modern Multi- Level Language, Proc. 20th ACM/IEEE Design Automation Conference, June 1983
Peterson, J.L.: Petri Nets, ACM Conputing Surveys, Vol. 9, No. 3, Sept. 1977, pp. 223–252
Su, S.Y.H.: A Survey of Conputer Hardware Description Languages in the USA, IEEE Gbnputer, Dec. 1974, pp. 45–51
Symposia on Computer Hardware Description Lanquages and their applications: 1973, Rutgers; 1974, Darmstadt? 1975, New York? 1979, Palo Alto? 1981, Kaiserslautern?
Tutorial on Gonputer-Aided Design Tbols for Digital Systems, Van Qeenput, W.M. (Ed.), IEEE Catalog No. EHD 132–1, 1979
Van Qeenput, W.M .: Conputer Aided Design of Digital Systems: A Bibliography, Wbodland Hills, Conputer Science Press, 1976-
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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