论文信息 - The Integrated Design of Computer Systems with Mimola

The Integrated Design of Computer Systems with Mimola

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.

Peter Marwedel

[1] Gerhard Zimmermann. Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache MIMOLA , 1976, GI Jahrestagung.

[2] Patrick Wayne Mallett. Methods of compacting microprograms , 1979 .

[3] Gerhard Zimmermann. The Mimola Design System a Computer Aided Digital Processor Design Method , 1979, 16th Design Automation Conference.

[4] Roderic Geoffrey Galton Cattell,et al. Formalization and Automatic Derivation of Code Generators , 1982 .

[5] Peter Marwedel. The Design of a Subprocessor with Dynamic Microprogramming with MIMOLA , 1980, ARCS.

[6] Alice C. Parker,et al. Automated Synthesis of Digital Hardware , 1982, IEEE Transactions on Computers.

[7] Dominique Borrione,et al. An Overview of CONLAN: A Formal Construction Method for Hardware Description Language , 1980, IFIP Congress.

[8] David L. Kuck,et al. The Structure of Computers and Computations , 1978 .

[9] Uwe Schmidt,et al. Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT , 1981, GI Jahrestagung.

[10] Peter Marwedel,et al. The MIMOLA Design System: Detailed Description of the Software System , 1979, 16th Design Automation Conference.

[11] Matthew S. Hecht,et al. Flow Analysis of Computer Programs , 1977 .

[12] Jacob A. Abraham,et al. Design of Testable Structures Defined by Simple Loops , 1981, IEEE Transactions on Computers.