Date:     November 10, 1986 7:59:10 am PST
InType:   IFUPLAInstrDecode.InstrDecodeIn
OutType:  IFUPLAInstrDecode.InstrDecodeOut1
Terms:    25

Bit Format: IFUPLAInstrDecode.InstrDecodeIn
    Index First  Size  Name
   0     0     1     reset
   1     1     8     state

   2    15     1     instReady
   3    16     8     op
   4    24     8     alpha
   5    32     8     beta
   6    40     1     pushPending
   7    41     1     popPending

   8    47     1     userMode0
                 ---
  BitTotal:       37

Bit Format: IFUPLAInstrDecode.InstrDecodeOut1
    Index First  Size  Name
   0     0     5     aReg.lt
   1     5     7     aReg.rt
   2    12     3     aReg.off
   3    15     1     aReg.mod
                 ---
  BitTotal:       16

TermList:

0 00...... 1 1110.... 01...... ........ . . . | ----- ------- --1 -
0 00...... 1 1110.... 1....... ........ . . . | -1--1 ------- --- 1
0 00000001 1 10001100 ........ ........ . . . | ----- ------- --1 -
0 00000010 1 10001100 ........ ........ . . . | -1--1 ------- 11- 1
0 00...... 1 11111010 ........ ........ . . . | -1--1 ------- 111 1
0 00...... 1 1100.... 0..1.... ........ . . . | ---11 1-----1 --- -
0 00...... 1 1100.... 0..0.... ........ . . . | 1---1 1-----1 --- 1
0 00...... 1 1100.... 1....... ....0... . . . | ----- 1-----1 --- -
0 00...... 1 1100.... 1....... .....0.. . . . | ----- 1-----1 --- -
0 00...... 1 1100.... 1....... ....11.1 . . . | -1--1 ------- 111 1
0 00...... 1 10000... 11...... ........ . . . | ----- ------- --1 -
0 00...... 1 01000... ........ ........ . . . | -1--1 ------- 111 1
0 00...... 1 10011.11 ........ ........ . . . | -1--1 ------- 111 1
0 00...... 1 0011010. ........ ........ . . . | -1--1 ------- --- 1
0 00...... 1 11.0.... 1....... ....11.0 . . . | -1--1 ------- --- 1
0 00...... 1 10000... 0....... ........ . . . | -1--1 ------- --- 1
0 00...... 1 1101.000 ........ ........ . . . | ---11 ------- --- -
0 00...... 1 101..... ........ ........ . . . | 1---1 ---1--1 --- 1
0 00...... 1 1101101. ........ ........ . . . | 1---1 1-----1 --- 1
0 00...... 1 1101100. ........ ........ . . . | ---11 1-----1 --- -
0 00...... 1 1.01010. ........ ........ . . . | -1--1 ------- --- 1
0 00...... 1 100110.. ........ ........ . . . | -1--1 ------- --- 1
0 00...... 1 11.10011 ........ ........ . . . | -1--1 ------- --- 1
0 00...... 1 1101.100 ........ ........ . . . | -1--1 ------- --- 1
0 00...... 1 1111.0.. ........ ........ . . . | -1--1 ------- --- 1