The design and description of computer architectures
The design and description of computer architectures
Proof techniques for hierarchically structured programs
Communications of the ACM
Towards a microprogramming language schema
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Microcode verification using SDVS-the method and a case study
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
An axiomatization of low-level parallelism in microarchitectures
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Verification of microprogrammed computer architectures in the S*-system: a case study
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
A Development Environment for Horizontal Microcode
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
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.