Issue No. 10 - October (1970 vol. 19)
E.P. Stabler , IEEE
A descriptive notation is proposed for microprogramming which uses conventional sequential machine notation for the microprogram, and a register transfer language to define microoperations. The combination allows the definition of useful formal transformations which preserve system behavior. The transformations correspond to paralleling and disassembling microoperations in time and altering the control unit appropriately to preserve the original behavior.
Computer design, logic design, machine equivalence, microprogramming, microprogram transformations, register transfer languages.
E. Stabler, "Microprogram Transformations," in IEEE Transactions on Computers, vol. 19, no. , pp. 908-916, 1970.