On the formal pescription of microoperations and its impact on automatic microcode generation

Authors:
Chen Bingcong;Wei Xiaofan;Yao Xin
Affiliations:
North China Institute of Computing Technology, Beijing, the People's Republic of China;North China Institute of Computing Technology, Beijing, the People's Republic of China;North China Institute of Computing Technology, Beijing, the People's Republic of China
Venue:
ACM SIGMICRO Newsletter
Year:
1985

Citing 6
Cited 0

An ALGOL-like computer design language

Communications of the ACM
Principles Firmware Engineering

Principles Firmware Engineering
An approach to microprogram optimization considering resource occupancy and instruction formats

MICRO 10 Proceedings of the 10th annual workshop on Microprogramming
On storage optimization of horizontal microprograms

MICRO 7 Conference record of the 7th annual workshop on Microprogramming
Towards a microprogramming language schema

MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Extensibility - a new approach for designing machine independent microprogramming languages

MICRO 9 Proceedings of the 9th annual workshop on Microprogramming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Automatic microcode generation is a significant research field of firmware engineering. In the research System AMPS, three kinds of formal description of microoperations will be needed in automatic microcode generation from high level microprogramming language: algorithmic microoperations, real microoperations, and formal microoperations. In this paper, we present and discuss the formal descriptions, the relationship among real microoperations as well as the factors by which the concurrency of microoperations can be identified; we also show the vitality of these three kinds of description mentioned above in allowing the high level microprogramming language being machine-independent, and the generality of microcode compaction algorithm.