Paper Info
Title
Design and specification of microprogrammed computer architectures.
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.
Year
DOI
Venue
1985
10.1145/18927.18907
MICRO
Keywords
Field
DocType
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
Database-centric architecture,Computer architecture,Applications architecture,Programming language,Computer science,Software architecture description,Solution architecture,Architecture Analysis & Design Language,Reference architecture,Enterprise architecture framework,Architecture description language
Conference
Volume
Issue
ISBN
16
4
0-89791-172-5
Citations 
PageRank 
References 
3
1.36
8
Authors
1
Name
Order
Citations
PageRank
W. Damm19813.68