[]<>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