Microprogram Transformations
Edward P. Stabler · IEEE Transactions on Computers · 1970
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.