counter.rpt

含有七人表决器

-- Equation name is 'mm0', type is output 
mm0      =  change0;

-- Node name is 'mm1' 
-- Equation name is 'mm1', type is output 
mm1      =  change1;

-- Node name is 'mm2' 
-- Equation name is 'mm2', type is output 
mm2      =  change2;

-- Node name is 'mm3' 
-- Equation name is 'mm3', type is output 
mm3      =  change3;

-- Node name is 'mm4' 
-- Equation name is 'mm4', type is output 
mm4      =  change4;

-- Node name is 'mm5' 
-- Equation name is 'mm5', type is output 
mm5      =  change5;

-- Node name is 'mm6' 
-- Equation name is 'mm6', type is output 
mm6      =  change6;

-- Node name is 'mm7' 
-- Equation name is 'mm7', type is output 
mm7      =  change7;

-- Node name is '|LPM_ADD_SUB:125|addcore:adder|pcarry1' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC2_D8', type is buried 
_LC2_D8  = LCELL( _EQ009);
  _EQ009 =  change1 &  data1
         #  change0 &  change1 &  data0
         #  change0 &  data0 &  data1;

-- Node name is '|LPM_ADD_SUB:125|addcore:adder|pcarry2' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC2_D7', type is buried 
_LC2_D7  = LCELL( _EQ010);
  _EQ010 =  change2 &  _LC2_D8
         #  data2 &  _LC2_D8
         #  change2 &  data2;

-- Node name is '|LPM_ADD_SUB:125|addcore:adder|:133' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC3_D14', type is buried 
_LC3_D14 = LCELL( _EQ011);
  _EQ011 =  change3 &  change4 &  _LC2_D7
         #  change4 &  data3 &  _LC2_D7
         #  change3 &  change4 &  data3;

-- Node name is '|LPM_ADD_SUB:125|addcore:adder|:152' from file "addcore.tdf" line 316, column 45
-- Equation name is '_LC8_D7', type is buried 
_LC8_D7  = LCELL( _EQ012);
  _EQ012 = !change3 &  change4 & !data3
         # !change3 &  change4 & !_LC2_D7
         #  change4 & !data3 & !_LC2_D7
         #  change3 & !change4 &  _LC2_D7
         # !change4 &  data3 &  _LC2_D7
         #  change3 & !change4 &  data3;

-- Node name is '|LPM_ADD_SUB:125|addcore:adder|:153' from file "addcore.tdf" line 316, column 45
-- Equation name is '_LC3_D11', type is buried 
_LC3_D11 = LCELL( _EQ013);
  _EQ013 =  change5 & !_LC3_D14
         # !change5 &  _LC3_D14;

-- Node name is '|LPM_ADD_SUB:125|addcore:adder|:154' from file "addcore.tdf" line 316, column 45
-- Equation name is '_LC2_D14', type is buried 
_LC2_D14 = LCELL( _EQ014);
  _EQ014 = !change5 &  change6
         #  change6 & !_LC3_D14
         #  change5 & !change6 &  _LC3_D14;

-- Node name is '|LPM_ADD_SUB:125|addcore:adder|:155' from file "addcore.tdf" line 316, column 45
-- Equation name is '_LC7_D5', type is buried 
_LC7_D5  = LCELL( _EQ015);
  _EQ015 = !change6 &  change7
         # !change5 &  change7
         #  change7 & !_LC3_D14
         #  change5 &  change6 & !change7 &  _LC3_D14;

-- Node name is '|LPM_ADD_SUB:125|addcore:adder|:156' from file "addcore.tdf" line 316, column 67
-- Equation name is '_LC6_D8', type is buried 
_LC6_D8  = LCELL( _EQ016);
  _EQ016 = !change0 &  change1 & !data1
         #  change1 & !data0 & !data1
         #  change0 & !change1 &  data0 & !data1
         #  change0 &  change1 &  data0 &  data1
         # !change0 & !change1 &  data1
         # !change1 & !data0 &  data1;

-- Node name is '|LPM_ADD_SUB:125|addcore:adder|:157' from file "addcore.tdf" line 316, column 67
-- Equation name is '_LC6_D7', type is buried 
_LC6_D7  = LCELL( _EQ017);
  _EQ017 =  change2 & !data2 & !_LC2_D8
         # !change2 & !data2 &  _LC2_D8
         #  change2 &  data2 &  _LC2_D8
         # !change2 &  data2 & !_LC2_D8;

-- Node name is '|LPM_ADD_SUB:125|addcore:adder|~158~1' from file "addcore.tdf" line 316, column 67
-- Equation name is '_LC8_D14', type is buried 
-- synthesized logic cell 
_LC8_D14 = LCELL( _EQ018);
  _EQ018 =  change3 & !_LC2_D7
         # !change3 &  _LC2_D7;

-- Node name is '|LPM_ADD_SUB:162|addcore:adder|pcarry2' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC3_D9', type is buried 
_LC3_D9  = LCELL( _EQ019);
  _EQ019 =  _LC6_D8
         #  _LC6_D7;

-- Node name is '|LPM_ADD_SUB:162|addcore:adder|:129' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC4_D14', type is buried 
_LC4_D14 = LCELL( _EQ020);
  _EQ020 =  change3 & !data3 & !_LC2_D7 &  _LC3_D9
         # !change3 & !data3 &  _LC2_D7 &  _LC3_D9
         #  change3 &  data3 &  _LC2_D7 &  _LC3_D9
         # !change3 &  data3 & !_LC2_D7 &  _LC3_D9;

-- Node name is '|LPM_ADD_SUB:162|addcore:adder|:137' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC4_D11', type is buried 
_LC4_D11 = LCELL( _EQ021);
  _EQ021 =  change5 & !_LC3_D14 &  _LC4_D14 &  _LC8_D7
         # !change5 &  _LC3_D14 &  _LC4_D14 &  _LC8_D7;

-- Node name is '|LPM_ADD_SUB:343|addcore:adder|pcarry1' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC4_D8', type is buried 
_LC4_D8  = LCELL( _EQ022);
  _EQ022 =  change1 & !data1
         #  change0 &  change1
         #  change1 & !data0
         #  change0 & !data1
         # !data0 & !data1;

-- Node name is '|LPM_ADD_SUB:343|addcore:adder|pcarry2' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC7_D7', type is buried 
_LC7_D7  = LCELL( _EQ023);
  _EQ023 =  change2 &  _LC4_D8
         # !data2 &  _LC4_D8
         #  change2 & !data2;

-- Node name is '|LPM_ADD_SUB:343|addcore:adder|pcarry4' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC5_D7', type is buried 
_LC5_D7  = LCELL( _EQ024);
  _EQ024 =  change4
         #  change3 &  _LC7_D7
         # !data3 &  _LC7_D7
         #  change3 & !data3;

-- Node name is '|LPM_ADD_SUB:343|addcore:adder|:152' from file "addcore.tdf" line 316, column 45
-- Equation name is '_LC4_D7', type is buried 
_LC4_D7  = LCELL( _EQ025);
  _EQ025 = !change3 &  change4 &  data3
         # !change3 &  change4 & !_LC7_D7
         #  change4 &  data3 & !_LC7_D7
         #  change3 & !change4 &  _LC7_D7
         # !change4 & !data3 &  _LC7_D7
         #  change3 & !change4 & !data3;

-- Node name is '|LPM_ADD_SUB:343|addcore:adder|:154' from file "addcore.tdf" line 316, column 45
-- Equation name is '_LC6_D5', type is buried 
_LC6_D5  = LCELL( _EQ026);
  _EQ026 = !change5 &  change6 & !_LC5_D7
         #  change5 & !change6
         # !change6 &  _LC5_D7;

-- Node name is '|LPM_ADD_SUB:343|addcore:adder|:155' from file "addcore.tdf" line 316, column 45
-- Equation name is '_LC5_D5', type is buried 
_LC5_D5  = LCELL( _EQ027);
  _EQ027 = !change5 & !change6 &  change7 & !_LC5_D7
         #  change6 & !change7
         #  change5 & !change7
         # !change7 &  _LC5_D7;

-- Node name is '|LPM_ADD_SUB:343|addcore:adder|:156' from file "addcore.tdf" line 316, column 67
-- Equation name is '_LC8_D8', type is buried 
_LC8_D8  = LCELL( _EQ028);
  _EQ028 = !change0 &  change1 &  data0 &  data1
         #  change0 & !change1 &  data1
         # !change1 & !data0 &  data1
         #  change0 &  change1 & !data1
         #  change1 & !data0 & !data1
         # !change0 & !change1 &  data0 & !data1;

-- Node name is '|LPM_ADD_SUB:343|addcore:adder|:157' from file "addcore.tdf" line 316, column 67
-- Equation name is '_LC3_D7', type is buried 
_LC3_D7  = LCELL( _EQ029);
  _EQ029 =  change2 &  data2 & !_LC4_D8
         # !change2 &  data2 &  _LC4_D8
         #  change2 & !data2 &  _LC4_D8
         # !change2 & !data2 & !_LC4_D8;

-- Node name is '|LPM_ADD_SUB:343|addcore:adder|:158' from file "addcore.tdf" line 316, column 67
-- Equation name is '_LC1_D7', type is buried 
_LC1_D7  = LCELL( _EQ030);
  _EQ030 =  change3 &  data3 & !_LC7_D7
         # !change3 &  data3 &  _LC7_D7
         #  change3 & !data3 &  _LC7_D7
         # !change3 & !data3 & !_LC7_D7;

-- Node name is '|LPM_ADD_SUB:380|addcore:adder|pcarry4' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC5_D3', type is buried 
_LC5_D3  = LCELL( _EQ031);
  _EQ031 =  _LC6_D3
         #  _LC1_D7
         # !_LC4_D7;

-- Node name is '|LPM_ADD_SUB:380|addcore:adder|pcarry5' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC1_D5', type is buried 
_LC1_D5  = LCELL( _EQ032);
  _EQ032 =  change5 &  _LC5_D7
         # !change5 & !_LC5_D7
         #  _LC5_D3;

-- Node name is '|LPM_ADD_SUB:380|addcore:adder|:125' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC6_D3', type is buried 
_LC6_D3  = LCELL( _EQ033);
  _EQ033 =  _LC3_D7 &  _LC8_D8;

-- Node name is '~153~1' 
-- Equation name is '~153~1', location is LC1_D11, type is buried.
-- synthesized logic cell 
_LC1_D11 = LCELL( _LC3_D14);

-- Node name is '~153~2' 
-- Equation name is '~153~2', location is LC2_D11, type is buried.
-- synthesized logic cell 
_LC2_D11 = LCELL( _EQ034);
  _EQ034 =  _LC1_D11
         #  change5 &  _LC3_D14;

-- Node name is ':153' 
-- Equation name is '_LC6_D11', type is buried 
_LC6_D11 = LCELL( _EQ035);
  _EQ035 =  _LC2_D11
         #  change4 & !_LC8_D7
         # !change4 &  _LC8_D7
         #  _LC4_D14;

-- Node name is ':172' 
-- Equation name is '_LC4_D5', type is buried 
!_LC4_D5 = _LC4_D5~NOT;
_LC4_D5~NOT = LCELL( _EQ036);
  _EQ036 = !_LC4_D11 & !_LC7_D5
         # !_LC2_D14 & !_LC7_D5
         #  _LC2_D14 &  _LC4_D11 &  _LC6_D11 &  _LC7_D5
         # !_LC6_D11 & !_LC7_D5;

-- Node name is ':178' 
-- Equation name is '_LC6_D14', type is buried 
!_LC6_D14 = _LC6_D14~NOT;
_LC6_D14~NOT = LCELL( _EQ037);
  _EQ037 = !_LC2_D14 & !_LC4_D11
         #  _LC2_D14 &  _LC4_D11 &  _LC6_D11
         # !_LC2_D14 & !_LC6_D11;

-- Node name is ':184' 
-- Equation name is '_LC5_D11', type is buried 
!_LC5_D11 = _LC5_D11~NOT;
_LC5_D11~NOT = LCELL( _EQ038);
  _EQ038 = !_LC3_D11 & !_LC8_D7
         # !_LC3_D11 & !_LC4_D14
         # !_LC3_D11 & !_LC6_D11
         #  _LC3_D11 &  _LC4_D14 &  _LC6_D11 &  _LC8_D7;

-- Node name is ':190' 
-- Equation name is '_LC8_D11', type is buried 
_LC8_D11 = LCELL( _EQ039);
  _EQ039 =  _LC4_D14 & !_LC8_D7
         # !_LC4_D14 &  _LC8_D7;

-- Node name is ':196' 
-- Equation name is '_LC8_D9', type is buried 
_LC8_D9  = LCELL( _EQ040);