A machine‐independent approach to microprogram synthesis
M. Mezzalama, P. Prinetto · Software Practice and Experience · 1982
Abstract The paper addresses the problem of automating microprogram generation, starting from a high‐level language (namely from a subset of PL/1). The microprogram synthesis process is structured in four steps in a highly hierarchical way; each step may be viewed as an independent process which uses formal representations for both data (i.e. the input program) and machine specifications. The translation system is based on a microcode model built on a formal definition of microoperations, microinstruction semantics, and relationships among microinstructions.