Abstract :
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.
Keywords :
Computer design, logic design, machine equivalence, microprogramming, microprogram transformations, register transfer languages.; Communication system control; Computer peripherals; Control systems; Digital systems; Hardware; Logic design; Microprogramming; Registers; Time factors; Computer design, logic design, machine equivalence, microprogramming, microprogram transformations, register transfer languages.;
