| Table 1.1 Notation for microprograms and state transitions. |
|
| R1¬ R2 | Copy contents of R2 into R1. |
| SR ¬ Mem [MAR] or Memory read | Memory read operation: the contents of the address in memory address register (MAR) fetched into the memory output storage register (SR). |
| Mem [MAR] ¬ SR or Memory write | Memory write operation: data in the storage register (SR) copied into the location specified by the address in the memory address register (MAR). |
| PC ¬* + 1 or PC ¬ PC+1 | The current value * in the program counter is incremented by 1. |
| MAR ¬ [RX] + [RB] + D | Contents of register specified by RX plus contents of register specified by RB plus D are transferred to the MAR. [RX] indicates that RX is a register address. |