Progress im High-Level Microprogramming
- 1 July 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 3 (4) , 18-26
- https://doi.org/10.1109/ms.1986.233750
Abstract
A high-level microprogramming language would speed work on higher level microprogramming and firmware engineering and decouple algorithm design from microcoding. This article examines several approaches.Keywords
This publication has 10 references indexed in Scilit:
- Target-independent high-level microprogrammingPublished by Association for Computing Machinery (ACM) ,1985
- The use of hoare logic in the verification of horizontal microprogramsInternational Journal of Parallel Programming, 1984
- Microprogram simulation using a structured microcode modelMicroprocessing and Microprogramming, 1984
- Experience developing microcode using a high level languageACM SIGMICRO Newsletter, 1983
- An E-Machine workbenchACM SIGMICRO Newsletter, 1983
- The “cultures” of microprogrammingACM SIGMICRO Newsletter, 1982
- A microprogramming language-directed microarchitectureACM SIGMICRO Newsletter, 1982
- An experiment in high level language microprogramming and verificationCommunications of the ACM, 1981
- Some Aspects of High-Level MicroprogrammingACM Computing Surveys, 1980
- Dynamic microprogrammingCommunications of the ACM, 1971