Issue No. 04 - July/August (1985 vol. 2)
Joseph Varghese , Colorado State University
Robert Mueller , Colorado State University
We have presented a method for machine-independent synthesis of microcode using knowledge-based techniques. A high-level representationof the microprogram is translated into symbolic assertions and then converted by the synthesis system to microcode. Thus,a synthesis system can function as the back end of a microcode compiler. Since the knowledge base is machine-independent andrequires only a machine description to generate microcode for that machine, it can also be used as a retargetable microcodecompiler. The knowledge base is in procedural form and consists of transformation rules that reflect the effect of MOs onmachine states. Many of these rules simply restrict the transformations to acceptable behavior on the part of the synthesissystem. Others help to reduce the search by providing knowledge about desirable behavior in the form of heuristics, or helpthe synthesis system reason about different possible derivations for the same specification.
Joseph Varghese, Robert Mueller, "Knowledge-Based Code Selection Methods in Retargetable Microcode Synthesis", IEEE Design & Test of Computers, vol. 2, no. , pp. 44-55, July/August 1985, doi:10.1109/MDT.1985.294723