Design and specification of microprogrammed computer architectures

1 December 1985

proceedings article
Published by Association for Computing Machinery (ACM)

Vol. 16 (4) , 3-10
https://doi.org/10.1145/18927.18907

Abstract

This paper presents a hierarchical firmware design method. It allows to structure the design of a microprogrammed (level of a) computer architecture into independently verifiable modules. To specify the behaviour of the system we use the axiomatic architecture description language AADL. We illustrate the design and specification style using an emulation example.

Keywords

VERIFIABLE MODULE
SPECIFICATION STYLE
MICROPROGRAMMED COMPUTER ARCHITECTURE
FIRMWARE ENGINEERING
EMULATION EXAMPLE
AXIOMATIC ARCHITECTURE DESCRIPTION LANGUAGE
SPECIFICATION OF COMPUTER ARCHITECTURES
ARCHITECTURE DESRIPTION LANGUAGE
COMPUTER ARCHITECTURE
HIERARCHICAL FIRMWARE DESIGN METHOD
FIRMWARE DESIGN
DESIGN METHOD
ARCHITECTURE DESCRIPTION LANGUAGE

This publication has 2 references indexed in Scilit:

Proof techniques for hierarchically structured programs
Communications of the ACM, 1977
Architecture of the IBM System/360
IBM Journal of Research and Development, 1964