Chapter 4 ½ An Introduction to ISPS 25
**Memory . State**
MP\Memory.Primary[0:4095]<0: 11>,
page.zero[0:127]<0:11> := MP[0:127]<0:l1>,
auto.index[0:7]<0:1l> := MP[8:15]<0: 11>,
**Processor . State**
LAC<0:12>,
L\Link<> := LAC<O>,
AC\Accumulator<0:ll> : = LAC<1:12>,
PC\Program.Counter<0 :11>, go<>, interrupt. enable<>, interrupt. request<>, switches<0:l1>,
**Instruction ,Format** i\instruction<0: 11>,
op\operation.code<O:2> : = i<0:2>,
ib\indirect.bit<> := i<3>, pb\page.bit<> := i<4>, pa\page . address<0 :6> : = i<5:ll>,
io.select<0:5> := i<3:8>, !device select
io.pulse<0:2> := i<9:11>, ! device operation
io.pulse .l<> : = io.pulse<0>,
io.pulse .2<> : = io.pulse<l>,
io . pulse.4<> :=io.pulse<2>,
group<> : = i<3>, ! microinstruction group
CLA<> : = i<4>, ! clear AC
CLL<> : = i<5>, ! clear L
CMA<> : = i<6>, ! complement AC
CML<> : = i<7>, ! complement L
RAR<> : = i<8>, ! rotate right
RAL<> : = i<9>, ! rotate left
RT<> : = i<10>, ! rotate twice
IAC<> : = i<11>, ! increment AC
SMA<> : = i<5>, ! skip on minus AC
SPA<> : = i<5>, ! skip on positive AC
SZA<> : = i<6>, ! skip on zero AC
SNA<> : = i<6>, ! skip on AC not zero
SNL<> : = i<7>, ! skip on L not zero
SZL<> : = i<7>, ! skip on L zero
is<> : = i<8>, ! invert skip sense
osr<> : = i<9>, ! logical or AC with SWITCHES
hlt<> : = i<10>, ! halt the processor