[]<>Dragon>IFUPLAPhA.com.pla _ []<>Dragon>IFUPLAPhA.pla - October 27, 1984 2:36:01 pm PDT

Date:     October 24, 1984 10:59:54 am PDT
InType:   IFUPLA.PhAArgs
OutType:  IFUPLA.MicroState
Terms:    98



Consolidated DEF  Terms:  98   2:36:06
Consolidated SUM  Terms:  94   2:36:10
Consolidated MIN  Terms:  94   2:36:19

Consolidated RES Def: 98  Sum: 94  Ess: 94  Del:  0  Cov: 94   2:36:19

Summary:
  Inputs          Bits:  40
  Total Outputs   Bits:  12
  Definition     Terms:  98
  Complete Sum   Terms:  94
  Essential      Terms:  94
  Init Deletes   Terms:   0
  Cover          Terms:  94


File:     []<>Dragon>IFUPLAPhA.com.pla
Date:     October 27, 1984 2:36:04 pm PDT
InType:   IFUPLA.PhAArgs
OutType:  IFUPLA.MicroState
Terms:    94


[]<>Dragon>IFUPLAPhA.fld.pla _ []<>Dragon>IFUPLAPhA.pla - October 27, 1984 2:36:21 pm PDT

Date:     October 24, 1984 10:59:54 am PDT
InType:   IFUPLA.PhAArgs
OutType:  IFUPLA.MicroState
Terms:    98


Field:  0         state [ 8]  Def: 98  Sum: 94  Ess: 94  Del:  0  Cov: 94   2:36:39
Field:  1  cyclePipeTop [ 1]  Def:  1  Sum:  1  Ess:  1  Del:  0  Cov:  1   2:36:39
Field:  3   killPipeTop [ 1]  Def: 12  Sum:  7  Ess:  7  Del:  0  Cov:  7   2:36:40
Field:  4   killPipeBot [ 1]  Def: 13  Sum:  8  Ess:  8  Del:  0  Cov:  8   2:36:40

Summary:
  Inputs          Bits:  40
  Total Outputs   Bits:  11
  SourcePLA      Terms:  98
  Definition     Terms: 124
  Complete Sum   Terms: 110
  Essential      Terms: 110
  Init Deletes   Terms:   0
  Cover          Terms: 110
  Consolidation  Terms: 103
  CS  Unfinished Srchs:   0
  Min Unfinished Srchs:   0


File:     []<>Dragon>IFUPLAPhA.fld.pla
Date:     October 27, 1984 2:36:24 pm PDT
InType:   IFUPLA.PhAArgs
OutType:  IFUPLA.MicroState
Terms:    103


[]<>Dragon>IFUPLAPhA.fld.pla _ []<>Dragon>IFUPLAPhA.pla - October 29, 1984 5:35:23 pm PST

Date:     October 29, 1984 5:34:01 pm PST
InType:   IFUPLA.PhAArgs
OutType:  IFUPLA.MicroState
Terms:    106


Field:  0         stateZero [ 1]  Def: 24  Sum: 24  Ess: 24  Del:  0  Cov: 24   5:35:27
Field:  1         stateLast [ 1]  Def: 14  Sum: 14  Ess: 14  Del:  0  Cov: 14   5:35:28
Field:  2  stateLastPlusOne [ 1]  Def:  8  Sum:  8  Ess:  8  Del:  0  Cov:  8   5:35:29
Field:  3  stateMicroBranch [ 1]  Def:  1  Sum:  1  Ess:  1  Del:  0  Cov:  1   5:35:29
Field:  4    stateException [ 1]  Def: 59  Sum: 54  Ess: 54  Del:  0  Cov: 54   5:35:55
Field:  5   stateExceptCode [ 4]  Def: 43  Sum: 39  Ess: 39  Del:  0  Cov: 39   5:35:59
Field:  6         stateHold [ 1]  Def:  6  Sum:  6  Ess:  6  Del:  0  Cov:  6   5:36:00
Field:  7            trapPC [ 8]  Def: 96  Sum: 92  Ess: 92  Del:  0  Cov: 92   5:36:10
Field:  8        trapOrCond [ 1]  Def:  1  Sum:  1  Ess:  1  Del:  0  Cov:  1   5:36:11
Field:  9      trapOrPFault [ 1]  Def:  7  Sum:  3  Ess:  3  Del:  0  Cov:  3   5:36:11
Field: 10      pipeCycleTop [ 1]  Def:  1  Sum:  1  Ess:  1  Del:  0  Cov:  1   5:36:12
Field: 11      pipeCycleBot [ 1]  Def:  1  Sum:  1  Ess:  1  Del:  0  Cov:  1   5:36:12
Field: 12       pipeKillTop [ 1]  Def: 12  Sum:  7  Ess:  7  Del:  0  Cov:  7   5:36:13
Field: 13       pipeKillBot [ 1]  Def: 12  Sum:  7  Ess:  7  Del:  0  Cov:  7   5:36:13

Summary:
  Inputs          Bits:  35
  Total Outputs   Bits:  24
  SourcePLA      Terms: 106
  Definition     Terms: 285
  Complete Sum   Terms: 258
  Essential      Terms: 258
  Init Deletes   Terms:   0
  Cover          Terms: 258
  Consolidation  Terms: 220
  CS  Unfinished Srchs:   0
  Min Unfinished Srchs:   0


File:     []<>Dragon>IFUPLAPhA.fld.pla
Date:     October 29, 1984 5:35:25 pm PST
InType:   IFUPLA.PhAArgs
OutType:  IFUPLA.MicroState
Terms:    220


[]<>Users>Curry.pa>IFUPLAPhA.fld.pla _ []<>Users>Curry.pa>IFUPLAPhA.pla - November 5, 1984 11:20:29 am PST

Date:     November 5, 1984 10:34:33 am PST
InType:   IFUPLA.PhAArgs
OutType:  IFUPLA.MicroState
Terms:    188


Field:  0         stateZero [ 1]  Def: 48  Sum: 48  Ess: 48  Del:  0  Cov: 48  11:20:39
Field:  1         stateLast [ 1]  Def: 13  Sum: 13  Ess: 13  Del:  0  Cov: 13  11:20:40
Field:  2  stateLastPlusOne [ 1]  Def:  8  Sum:  8  Ess:  8  Del:  0  Cov:  8  11:20:41
Field:  3  stateMicroBranch [ 1]  Def:  1  Sum:  1  Ess:  1  Del:  0  Cov:  1  11:20:41
Field:  4    stateException [ 1]  Def: 99  Sum: 94  Ess: 94  Del:  0  Cov: 94  11:22:07
Field:  5   stateExceptCode [ 8]  Def: 67  Sum: 63  Ess: 63  Del:  0  Cov: 63  11:22:16
Field:  6        stateDelay [ 1]  Def:  5  Sum:  5  Ess:  5  Del:  0  Cov:  5  11:22:16
Field:  7            trapPC [ 8]  Def:160  Sum:156  Ess:156  Del:  0  Cov:156  11:22:43
Field:  8        trapOrCond [ 1]  Def:  1  Sum:  1  Ess:  1  Del:  0  Cov:  1  11:22:44
Field:  9      trapOrPFault [ 1]  Def:  7  Sum:  3  Ess:  3  Del:  0  Cov:  3  11:22:44
Field: 10        pipeCycle0 [ 1]  Def:  5  Sum:  5  Ess:  5  Del:  0  Cov:  5  11:22:45
Field: 11      pipeCycle123 [ 1]  Def:  1  Sum:  1  Ess:  1  Del:  0  Cov:  1  11:22:45
Field: 12         pipeKill1 [ 1]  Def: 16  Sum: 11  Ess: 11  Del:  0  Cov: 11  11:22:47
Field: 13        pipeKill23 [ 1]  Def: 12  Sum:  7  Ess:  7  Del:  0  Cov:  7  11:22:47
Field: 14      pipeNotStep1 [ 1]  Def: 17  Sum: 12  Ess: 12  Del:  0  Cov: 12  11:22:49
Field: 15     pipeNotStep23 [ 1]  Def: 13  Sum:  8  Ess:  8  Del:  0  Cov:  8  11:22:49
Field: 16             aluLt [ 2]  Def:  2  Sum:  2  Ess:  2  Del:  0  Cov:  2  11:22:50
Field: 17             aluRt [ 2]  Def:  4  Sum:  4  Ess:  4  Del:  0  Cov:  4  11:22:50
Field: 18              st2A [ 2]  Def:  3  Sum:  3  Ess:  3  Del:  0  Cov:  3  11:22:51
Field: 19        st3AIsCbus [ 1]  Def:  1  Sum:  1  Ess:  1  Del:  0  Cov:  1  11:22:51
Field: 20       res3AIsCbus [ 1]  Def:  1  Sum:  1  Ess:  1  Del:  0  Cov:  1  11:22:52
Field: 21     res3BIsRdData [ 1]  Def:  1  Sum:  1  Ess:  1  Del:  0  Cov:  1  11:22:52

Summary:
  Inputs          Bits:  31
  Total Outputs   Bits:  39
  SourcePLA      Terms: 188
  Definition     Terms: 485
  Complete Sum   Terms: 448
  Essential      Terms: 448
  Init Deletes   Terms:   0
  Cover          Terms: 448
  Consolidation  Terms: 394
  CS  Unfinished Srchs:   0
  Min Unfinished Srchs:   0


File:     []<>Users>Curry.pa>IFUPLAPhA.fld.pla
Date:     November 5, 1984 11:20:33 am PST
InType:   IFUPLA.PhAArgs
OutType:  IFUPLA.MicroState
Terms:    394


[]<>Users>Curry.pa>IFUPLAPhA.com.pla _ []<>Users>Curry.pa>IFUPLAPhA.pla - November 5, 1984 11:24:01 am PST

Date:     November 5, 1984 10:34:33 am PST
InType:   IFUPLA.PhAArgs
OutType:  IFUPLA.MicroState
Terms:    188



Consolidated DEF  Terms: 181  11:24:06
Consolidated SUM  Terms: 177  11:24:15
Consolidated MIN  Terms: 177  11:24:26

Consolidated RES Def:181  Sum:177  Ess:177  Del:  0  Cov:177  11:24:26

Summary:
  Inputs          Bits:  31
  Total Outputs   Bits:  39
  Definition     Terms: 181
  Complete Sum   Terms: 177
  Essential      Terms: 177
  Init Deletes   Terms:   0
  Cover          Terms: 177


File:     []<>Users>Curry.pa>IFUPLAPhA.com.pla
Date:     November 5, 1984 11:24:05 am PST
InType:   IFUPLA.PhAArgs
OutType:  IFUPLA.MicroState
Terms:    177