Summary
A design method and the corresponding CAD tools for the design of digital computers from a very high-level functional specification is presented. Computers are specified by a set of application programs, for which they shall be optimized, and a set of boundary conditions for the type and number of hardware resources. The paper describes CAD tools, which synthesize architectures from the specification, evaluate their cost and performance and generate microcode. Several design iterations, in which the designer plays an active role, are used to optimize the design. Two applications of the design method are included in the paper.
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.
References
Zimmermann, G., „Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache MIMOLA“, Informatik Fachberichte, Vol. 5, Springer, 1976
Zimmermann, G., “The MIMOLA Design ’: A Computer Aided Digital Processor Design Method”, Proc. 16th Design Autom. Conf., 1979, pp. 53–58
Zimmermann, G., “Cost Performance Analysis and Optimization of Highly Parallel Computer Structures: First Results of a Structured Top-Down Design Method”, Proc. 4th Int. Conf. on Computer Hardware Description Languages, 1979, pp. 33–39
Marwedel, P., “The MIMOLA Design ’: Detailed Description of the Software ”, Proc. 16th Design Automation Conf., 1979, pp. 59–63
Hager, L.J. and Parker, A.C., “Automated Synthesis of Digital Hard ware”, IEEE Trans. Comp., 31, 2 (1982), pp. 93–109
Huang, C.-L., “Computer-Aided Logic Synthesis Based on a New Multi level Hardware Description Language”, Ph.D. Thesis, State University of New York at Binghampton, 1981
Piloty, R., Barbacci, M., Eorrione, D., Dietmeyer, D., Hill, F. and Skelly, P., “CONLAN — A Construction Method for Hardware Description Languages”, Proceedings Nat. Comp. Conf., Vol. 49, 1980
Knuth, D.E., “The Art of Computer Programming”, Addison Wesley, 1975
Cattell, R.G.G., “Formalization and Automatic Derivation of Code Generators”, Ph.D. Thesis, Carnegie Mellon University, Pittsburgh, 1978
Schmidt, U. and Voller, R., „Die formale Entwicklung der maschinen- unabhangigen Zwischensprache CAT“, Informatik Fachberichte, Vol. 50, Springer, pp. 57–64
Hecht, M.S., “Flow Analysis of Computer Programs”, North Holland, 1977
Kuck, D.J., “The Structure of Computers and Computations”, p. 111, Wiley, 1978
Abraham, J.A. and Gajski, D.D., “Design of Testable Structures Defined by Simple Loops”, IEEE Trans. Comp., 30, 11 (1981), pp. 875–884
Marwedel, P., “The Design of a Subprocessor with Dynamic Micropro gramming with MIMOLA”, Infomatik-Fachberichte, Vol. 27, Springer, pp. 164–177
Mallett, P.W., “Methods for Compacting Microprograms”, Ph.D. Thesis, University of Southwestern Louisiana, Lafayette, 1978
Marwedel, P., “Hardware Allocation for Horizontal Microinstructions in the MIMOLA Software ”, Report 5/80, Institut für Informatik und Praktische Mathematik, Kiel, 1980
Krüger, G., “Entwurf einer Rechnerzentraleinheit fur den Maschinen- befehlssatz des SIEMENS Systems 7.000 mit dem MIMOLA-Rechnerent-wurfssystem”, Diploma Thesis, University of Kiel, Kiel, 1980
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
Marwedel, P. (1982). The Integrated Design of Computer Systems with MIMOLA. In: Nehmer, J. (eds) GI-12. Jahrestagung. Informatik-Fachberichte, vol 57. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68603-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-68603-0_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11609-7
Online ISBN: 978-3-642-68603-0
eBook Packages: Springer Book Archive