[]<>Dragon>MainControl.com.pla ← []<>Dragon>MainControl.pla - January 26, 1985 3:16:38 pm PST
Date: January 26, 1985 1:50:10 pm PST
InType: IFUPLA.MainControlIn
OutType: IFUPLA.MainControlOut
Terms: 73
BitFormat: IFUPLA.MainControlIn
Index First Size Name
0 0 1 reseting
1 1 1 wereReseting
2 2 1 epFaulted
3 3 1 fpFaulted
4 4 1 epRejected
5 5 1 euCondition
6 6 2 euCondEffect2
7 8 1 epCmndRd1Rd
8 9 1 epCmndRd2Rd
9 10 1 kIsRtOp
10 11 1 passingRt
11 12 1 fieldInterlock
12 13 1 aRegIsC2
13 14 1 aRegIsC3
14 15 1 bRegIsC2
15 16 1 bRegIsC3
16 17 1 getNextInst
17 18 1 macroJump
18 19 1 ipFaulted
19 20 1 trapsEnbled
20 21 1 rschlWaiting
21 22 1 iStkOverflow
22 23 1 eStkOverFlow
23 24 1 pushPending
24 31 1 popPending
---
BitTotal: 26
BitFormat: IFUPLA.MainControlOut
Index First Size Name
0 0 1 microFixedJump
1 1 1 exception
2 2 8 exceptionCode
3 10 1 pipeCycle0
4 11 1 pipeCycle123
5 12 1 pipeKill1
6 13 1 pipeKill2
7 14 1 pipeCCTrap3
8 15 1 pipeFault3
9 16 2 aluLt
10 18 2 aluRt
11 20 2 st2A
12 22 1 st3AIsCbus
13 23 1 res3AIsCbus
14 31 1 res3BIsRdData
---
BitTotal: 25
Consolidated DEF Terms: 67 3:16:48
Consolidated SUM Terms: 67 3:16:49
Consolidated MIN Terms: 67 3:16:50
Consolidated RES Def: 67 Sum: 67 Ess: 67 Del: 0 Cov: 67 3:16:51
Summary:
Inputs Bits: 26
Total Outputs Bits: 25
Definition Terms: 67
Complete Sum Terms: 67
Essential Terms: 67
Init Deletes Terms: 0
Cover Terms: 67
File: []<>Dragon>MainControl.com.pla
Date: January 26, 1985 3:16:46 pm PST
InType: IFUPLA.MainControlIn
OutType: IFUPLA.MainControlOut
Terms: 67
BitFormat: IFUPLA.MainControlIn
Index First Size Name
0 0 1 reseting
1 1 1 wereReseting
2 2 1 epFaulted
3 3 1 fpFaulted
4 4 1 epRejected
5 5 1 euCondition
6 6 2 euCondEffect2
7 8 1 epCmndRd1Rd
8 9 1 epCmndRd2Rd
9 10 1 kIsRtOp
10 11 1 passingRt
11 12 1 fieldInterlock
12 13 1 aRegIsC2
13 14 1 aRegIsC3
14 15 1 bRegIsC2
15 16 1 bRegIsC3
16 17 1 getNextInst
17 18 1 macroJump
18 19 1 ipFaulted
19 20 1 trapsEnbled
20 21 1 rschlWaiting
21 22 1 iStkOverflow
22 23 1 eStkOverFlow
23 24 1 pushPending
24 31 1 popPending
---
BitTotal: 26
BitFormat: IFUPLA.MainControlOut
Index First Size Name
0 0 1 microFixedJump
1 1 1 exception
2 2 8 exceptionCode
3 10 1 pipeCycle0
4 11 1 pipeCycle123
5 12 1 pipeKill1
6 13 1 pipeKill2
7 14 1 pipeCCTrap3
8 15 1 pipeFault3
9 16 2 aluLt
10 18 2 aluRt
11 20 2 st2A
12 22 1 st3AIsCbus
13 23 1 res3AIsCbus
14 31 1 res3BIsRdData
---
BitTotal: 25
[]<>Dragon>MainControl.fld.pla ← []<>Dragon>MainControl.pla - January 26, 1985 3:16:56 pm PST
Date: January 26, 1985 1:50:10 pm PST
InType: IFUPLA.MainControlIn
OutType: IFUPLA.MainControlOut
Terms: 73
BitFormat: IFUPLA.MainControlIn
Index First Size Name
0 0 1 reseting
1 1 1 wereReseting
2 2 1 epFaulted
3 3 1 fpFaulted
4 4 1 epRejected
5 5 1 euCondition
6 6 2 euCondEffect2
7 8 1 epCmndRd1Rd
8 9 1 epCmndRd2Rd
9 10 1 kIsRtOp
10 11 1 passingRt
11 12 1 fieldInterlock
12 13 1 aRegIsC2
13 14 1 aRegIsC3
14 15 1 bRegIsC2
15 16 1 bRegIsC3
16 17 1 getNextInst
17 18 1 macroJump
18 19 1 ipFaulted
19 20 1 trapsEnbled
20 21 1 rschlWaiting
21 22 1 iStkOverflow
22 23 1 eStkOverFlow
23 24 1 pushPending
24 31 1 popPending
---
BitTotal: 26
BitFormat: IFUPLA.MainControlOut
Index First Size Name
0 0 1 microFixedJump
1 1 1 exception
2 2 8 exceptionCode
3 10 1 pipeCycle0
4 11 1 pipeCycle123
5 12 1 pipeKill1
6 13 1 pipeKill2
7 14 1 pipeCCTrap3
8 15 1 pipeFault3
9 16 2 aluLt
10 18 2 aluRt
11 20 2 st2A
12 22 1 st3AIsCbus
13 23 1 res3AIsCbus
14 31 1 res3BIsRdData
---
BitTotal: 25
Field: 0 microFixedJump [ 1] Def: 1 Sum: 1 Ess: 1 Del: 0 Cov: 1 3:17:06
Field: 1 exception [ 1] Def: 50 Sum: 49 Ess: 49 Del: 0 Cov: 49 3:17:22
Field: 2 exceptionCode [ 8] Def: 50 Sum: 50 Ess: 50 Del: 0 Cov: 50 3:17:24
Field: 3 pipeCycle0 [ 1] Def: 4 Sum: 4 Ess: 4 Del: 0 Cov: 4 3:17:24
Field: 4 pipeCycle123 [ 1] Def: 1 Sum: 1 Ess: 1 Del: 0 Cov: 1 3:17:25
Field: 5 pipeKill1 [ 1] Def: 10 Sum: 9 Ess: 9 Del: 0 Cov: 9 3:17:26
Field: 6 pipeKill2 [ 1] Def: 7 Sum: 6 Ess: 6 Del: 0 Cov: 6 3:17:26
Field: 7 pipeCCTrap3 [ 1] Def: 1 Sum: 1 Ess: 1 Del: 0 Cov: 1 3:17:27
Field: 8 pipeFault3 [ 1] Def: 2 Sum: 2 Ess: 2 Del: 0 Cov: 2 3:17:27
Field: 9 aluLt [ 2] Def: 2 Sum: 2 Ess: 2 Del: 0 Cov: 2 3:17:28
Field: 10 aluRt [ 2] Def: 4 Sum: 4 Ess: 4 Del: 0 Cov: 4 3:17:28
Field: 11 st2A [ 2] Def: 3 Sum: 3 Ess: 3 Del: 0 Cov: 3 3:17:29
Field: 12 st3AIsCbus [ 1] Def: 1 Sum: 1 Ess: 1 Del: 0 Cov: 1 3:17:29
Field: 13 res3AIsCbus [ 1] Def: 1 Sum: 1 Ess: 1 Del: 0 Cov: 1 3:17:30
Field: 14 res3BIsRdData [ 1] Def: 1 Sum: 1 Ess: 1 Del: 0 Cov: 1 3:17:30
Summary:
Inputs Bits: 26
Total Outputs Bits: 25
SourcePLA Terms: 73
Definition Terms: 138
Complete Sum Terms: 135
Essential Terms: 135
Init Deletes Terms: 0
Cover Terms: 135
Consolidation Terms: 120
CS Unfinished Srchs: 0
Min Unfinished Srchs: 0
File: []<>Dragon>MainControl.fld.pla
Date: January 26, 1985 3:17:04 pm PST
InType: IFUPLA.MainControlIn
OutType: IFUPLA.MainControlOut
Terms: 120
BitFormat: IFUPLA.MainControlIn
Index First Size Name
0 0 1 reseting
1 1 1 wereReseting
2 2 1 epFaulted
3 3 1 fpFaulted
4 4 1 epRejected
5 5 1 euCondition
6 6 2 euCondEffect2
7 8 1 epCmndRd1Rd
8 9 1 epCmndRd2Rd
9 10 1 kIsRtOp
10 11 1 passingRt
11 12 1 fieldInterlock
12 13 1 aRegIsC2
13 14 1 aRegIsC3
14 15 1 bRegIsC2
15 16 1 bRegIsC3
16 17 1 getNextInst
17 18 1 macroJump
18 19 1 ipFaulted
19 20 1 trapsEnbled
20 21 1 rschlWaiting
21 22 1 iStkOverflow
22 23 1 eStkOverFlow
23 24 1 pushPending
24 31 1 popPending
---
BitTotal: 26
BitFormat: IFUPLA.MainControlOut
Index First Size Name
0 0 1 microFixedJump
1 1 1 exception
2 2 8 exceptionCode
3 10 1 pipeCycle0
4 11 1 pipeCycle123
5 12 1 pipeKill1
6 13 1 pipeKill2
7 14 1 pipeCCTrap3
8 15 1 pipeFault3
9 16 2 aluLt
10 18 2 aluRt
11 20 2 st2A
12 22 1 st3AIsCbus
13 23 1 res3AIsCbus
14 31 1 res3BIsRdData
---
BitTotal: 25
[]<>Dragon>MainControl.com.pla ← []<>Dragon>MainControl.pla - March 21, 1985 12:50:45 pm PST
Date: March 21, 1985 12:46:04 pm PST
InType: IFUPLA.MainControlIn
OutType: IFUPLA.MainControlOut
Terms: 73
Consolidated DEF Terms: 67 12:50:48
Consolidated SUM Terms: 67 12:50:49
Consolidated MIN Terms: 67 12:50:51
Consolidated RES Def: 67 Sum: 67 Ess: 67 Del: 0 Cov: 67 12:50:51
Summary:
Inputs Bits: 26
Total Outputs Bits: 25
Definition Terms: 67
Complete Sum Terms: 67
Essential Terms: 67
Init Deletes Terms: 0
Cover Terms: 67
File: []<>Dragon>MainControl.com.pla
Date: March 21, 1985 12:50:47 pm PST
InType: IFUPLA.MainControlIn
OutType: IFUPLA.MainControlOut
Terms: 67
[]<>Dragon>MainControl.com.pla ← []<>Dragon>MainControl.pla - March 21, 1985 12:52:59 pm PST
Date: March 21, 1985 12:46:04 pm PST
InType: IFUPLA.MainControlIn
OutType: IFUPLA.MainControlOut
Terms: 73
Consolidated DEF Terms: 67 12:53:01
Consolidated SUM Terms: 354 12:55:08 ~finished
Consolidated MIN Terms: 354 1:05:27 ~finished
Consolidated RES Def: 67 CS:354 Ess:337 Del: 0 Cov:354 1:05:27 CS Min ~finished