Flow graph machine models in microcode synthesis
- 1 December 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMICRO Newsletter
- Vol. 14 (4) , 159-167
- https://doi.org/10.1145/1096419.1096443
Abstract
Retargetability of microcode compilers is currently a major issue in microprogramming. We address the issue of local code generation from machine-independent specifications using weakest precondition semantics. The micromachine model used is a flow graph which is an abstract representation of the data paths of the machine. Examples of code generated by a prototype implementation are provided as an illustration of the method.Keywords
This publication has 6 references indexed in Scilit:
- Local Code Generation and Compaction in Optimizing Microcode CompilersPublished by Defense Technical Information Center (DTIC) ,1982
- On the Design of a Microcode Compiler for a Machine-Independent High-Level LanguageIEEE Transactions on Software Engineering, 1981
- Local Microcode Compaction TechniquesACM Computing Surveys, 1980
- Symbolic execution and program testingCommunications of the ACM, 1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- On Proving Correctness of MicroprogramsIBM Journal of Research and Development, 1974