cnt45s.rpt

课程设计《交通灯控制的设计》

-- synthesized logic cell 
_LC3_A19 = LCELL( _EQ097);
  _EQ097 = !_LC2_A5 & !_LC4_C22
         # !_LC2_A20 & !_LC4_A20 & !_LC4_C22;

-- Node name is ':4222' 
-- Equation name is '_LC4_A19', type is buried 
_LC4_A19 = LCELL( _EQ098);
  _EQ098 =  _LC3_A19 &  _LC7_A19
         #  _LC2_A8
         #  _LC3_A5;

-- Node name is ':4233' 
-- Equation name is '_LC5_A3', type is buried 
_LC5_A3  = LCELL( _EQ099);
  _EQ099 = !_LC2_A12 &  _LC4_A19 & !_LC8_A10
         # !_LC2_A12 & !_LC3_A12 &  _LC4_A19;

-- Node name is ':4234' 
-- Equation name is '_LC6_A3', type is buried 
_LC6_A3  = LCELL( _EQ100);
  _EQ100 =  _LC5_A3
         #  _LC8_A5
         #  _LC1_A5;

-- Node name is ':4251' 
-- Equation name is '_LC7_A3', type is buried 
_LC7_A3  = LCELL( _EQ101);
  _EQ101 = !_LC2_A3 & !_LC2_A13 &  _LC6_A3 & !_LC8_A4;

-- Node name is ':4252' 
-- Equation name is '_LC8_A3', type is buried 
_LC8_A3  = LCELL( _EQ102);
  _EQ102 =  _LC7_A3
         #  _LC2_A10 &  _LC2_A20
         #  _LC2_A19;

-- Node name is ':4264' 
-- Equation name is '_LC4_A3', type is buried 
_LC4_A3  = LCELL( _EQ103);
  _EQ103 = !CNT6B1 &  _LC8_A3
         # !_LC1_A10 &  _LC8_A3
         # !CNT6B1 &  _LC1_A10;

-- Node name is '~4281~1' 
-- Equation name is '~4281~1', location is LC2_A7, type is buried.
-- synthesized logic cell 
_LC2_A7  = LCELL( _EQ104);
  _EQ104 = !_LC4_A12 & !_LC8_A21;

-- Node name is ':4281' 
-- Equation name is '_LC5_A6', type is buried 
_LC5_A6  = LCELL( _EQ105);
  _EQ105 =  _LC4_A3 & !_LC5_A7 & !_LC5_A21;

-- Node name is ':4290' 
-- Equation name is '_LC1_A6', type is buried 
_LC1_A6  = LCELL( _EQ106);
  _EQ106 =  _LC4_A6 &  _LC5_A6
         #  _LC3_A6 &  _LC4_A6
         #  _LC4_A6 &  _LC6_A7;

-- Node name is ':4306' 
-- Equation name is '_LC5_A13', type is buried 
_LC5_A13 = LCELL( _EQ107);
  _EQ107 = !CNT6B0 &  _LC5_A10
         # !CNT6B0 &  _LC8_A19
         #  CNT6B1 &  _LC8_A19
         # !_LC5_A10 &  _LC8_A19;

-- Node name is ':4320' 
-- Equation name is '_LC7_A13', type is buried 
_LC7_A13 = LCELL( _EQ108);
  _EQ108 = !_LC5_A12 &  _LC5_A13 & !_LC7_A21
         #  _LC2_A21 & !_LC5_A12;

-- Node name is ':4326' 
-- Equation name is '_LC6_A13', type is buried 
_LC6_A13 = LCELL( _EQ109);
  _EQ109 = !_LC3_A10 &  _LC7_A13
         # !_LC1_A20 &  _LC7_A13
         #  _LC1_A21 & !_LC3_A10
         # !_LC1_A20 &  _LC1_A21;

-- Node name is ':4332' 
-- Equation name is '_LC2_A24', type is buried 
_LC2_A24 = LCELL( _EQ110);
  _EQ110 = !_LC1_A24 &  _LC3_A10 &  _LC3_A20
         # !_LC1_A24 &  _LC6_A13;

-- Node name is ':4336' 
-- Equation name is '_LC1_A14', type is buried 
_LC1_A14 = LCELL( _EQ111);
  _EQ111 =  _LC2_A24 & !_LC3_A13
         #  _LC1_B23 & !_LC3_A13
         #  _LC5_A14;

-- Node name is ':4342' 
-- Equation name is '_LC2_A14', type is buried 
_LC2_A14 = LCELL( _EQ112);
  _EQ112 =  _LC1_A14 & !_LC5_A5
         #  _LC1_A14 & !_LC2_A20
         #  _LC5_A19;

-- Node name is ':4354' 
-- Equation name is '_LC6_A14', type is buried 
_LC6_A14 = LCELL( _EQ113);
  _EQ113 = !CNT6B0 &  _LC2_A5
         # !CNT6B0 &  _LC2_A14
         # !_LC2_A5 &  _LC2_A14;

-- Node name is ':4368' 
-- Equation name is '_LC8_A14', type is buried 
_LC8_A14 = LCELL( _EQ114);
  _EQ114 = !_LC2_A12 & !_LC3_A5 &  _LC6_A14
         #  _LC2_A8 & !_LC2_A12;

-- Node name is ':4372' 
-- Equation name is '_LC3_A2', type is buried 
_LC3_A2  = LCELL( _EQ115);
  _EQ115 = !_LC1_A5 &  _LC8_A14
         #  _LC1_A3 & !_LC1_A5
         #  _LC8_A5;

-- Node name is ':4386' 
-- Equation name is '_LC4_A2', type is buried 
_LC4_A2  = LCELL( _EQ116);
  _EQ116 = !_LC2_A13 &  _LC3_A2 & !_LC6_A5
         #  _LC1_A12 & !_LC2_A13;

-- Node name is ':4390' 
-- Equation name is '_LC5_A2', type is buried 
_LC5_A2  = LCELL( _EQ117);
  _EQ117 = !_LC3_A3 &  _LC4_A2
         #  _LC2_A3 & !_LC3_A3
         #  _LC2_A19;

-- Node name is ':4402' 
-- Equation name is '_LC6_A2', type is buried 
_LC6_A2  = LCELL( _EQ118);
  _EQ118 = !CNT6B0 &  _LC1_A10
         # !CNT6B0 &  _LC5_A2
         # !_LC1_A10 &  _LC5_A2;

-- Node name is ':4414' 
-- Equation name is '_LC8_A2', type is buried 
_LC8_A2  = LCELL( _EQ119);
  _EQ119 = !CNT6B4 & !CNT6B5 &  _LC3_A12
         #  _LC7_A2;

-- Node name is ':4416' 
-- Equation name is '_LC7_A2', type is buried 
_LC7_A2  = LCELL( _EQ120);
  _EQ120 = !_LC4_A12 & !_LC5_A21 &  _LC6_A2
         # !_LC4_A12 &  _LC8_A21;

-- Node name is ':4426' 
-- Equation name is '_LC1_A2', type is buried 
_LC1_A2  = LCELL( _EQ121);
  _EQ121 = !CNT6B0 &  _LC7_A10
         # !CNT6B0 &  _LC8_A2
         # !_LC7_A10 &  _LC8_A2;

-- Node name is ':4702' 
-- Equation name is '_LC3_A1', type is buried 
_LC3_A1  = LCELL( _EQ122);
  _EQ122 =  _LC4_A7
         # !_LC5_A1
         #  _LC6_A1
         #  _LC8_A21;

-- Node name is '~4807~1' 
-- Equation name is '~4807~1', location is LC4_C22, type is buried.
-- synthesized logic cell 
!_LC4_C22 = _LC4_C22~NOT;
_LC4_C22~NOT = LCELL( _EQ123);
  _EQ123 = !_LC2_A5
         # !_LC1_A20 & !_LC3_A20;

-- Node name is '~4807~2' 
-- Equation name is '~4807~2', location is LC2_A15, type is buried.
-- synthesized logic cell 
!_LC2_A15 = _LC2_A15~NOT;
_LC2_A15~NOT = LCELL( _EQ124);
  _EQ124 =  _LC3_A14 &  _LC4_A14 & !_LC4_C22;

-- Node name is '~4807~3' 
-- Equation name is '~4807~3', location is LC6_A9, type is buried.
-- synthesized logic cell 
_LC6_A9  = LCELL( _EQ125);
  _EQ125 =  _LC1_A10 &  _LC1_A20
         #  _LC2_A19
         #  _LC4_A15;

-- Node name is '~4807~4' 
-- Equation name is '~4807~4', location is LC7_A9, type is buried.
-- synthesized logic cell 
!_LC7_A9 = _LC7_A9~NOT;
_LC7_A9~NOT = LCELL( _EQ126);
  _EQ126 = !_LC1_A8 & !_LC2_A15;

-- Node name is ':4842' 
-- Equation name is '_LC2_A9', type is buried 
_LC2_A9  = LCELL( _EQ127);
  _EQ127 =  _LC2_A15 & !_LC3_A1
         #  _LC1_A8 & !_LC3_A1
         # !_LC3_A1 &  _LC6_A9;

-- Node name is '~4920~1' 
-- Equation name is '~4920~1', location is LC4_A14, type is buried.
-- synthesized logic cell 
_LC4_A14 = LCELL( _EQ128);
  _EQ128 = !_LC5_A5 & !_LC5_A14 & !_LC5_A19
         # !_LC2_A20 & !_LC5_A14 & !_LC5_A19;

-- Node name is '~4945~1' 
-- Equation name is '~4945~1', location is LC2_A2, type is buried.
-- synthesized logic cell 
!_LC2_A2 = _LC2_A2~NOT;
_LC2_A2~NOT = LCELL( _EQ129);
  _EQ129 = !_LC1_A3 & !_LC1_A5 & !_LC8_A5;

-- Node name is '~4945~2' 
-- Equation name is '~4945~2', location is LC8_A4, type is buried.
-- synthesized logic cell 
!_LC8_A4 = _LC8_A4~NOT;
_LC8_A4~NOT = LCELL( _EQ130);
  _EQ130 = !_LC1_A12 & !_LC6_A5;

-- Node name is '~4945~3' 
-- Equation name is '~4945~3', location is LC4_A15, type is buried.
-- synthesized logic cell 
!_LC4_A15 = _LC4_A15~NOT;
_LC4_A15~NOT = LCELL( _EQ131);
  _EQ131 = !_LC2_A2 &  _LC2_A11 & !_LC8_A4;

-- Node name is ':4945' 
-- Equation name is '_LC8_A9', type is buried 
_LC8_A9  = LCELL( _EQ132);
  _EQ132 =  _LC6_A9
         # !_LC1_A18 & !_LC7_A9
         # !_LC4_B17 & !_LC7_A9;

-- Node name is ':4978' 
-- Equation name is '_LC5_A9', type is buried 
_LC5_A9  = LCELL( _EQ133);
  _EQ133 = !_LC6_C10 &  _LC7_A1 &  _LC8_A9
         #  _LC3_A7;

-- Node name is '~4980~1' 
-- Equation name is '~4980~1', location is LC8_A7, type is buried.
-- synthesized logic cell 
_LC8_A7  = LCELL( _EQ134);
  _EQ134 = !_LC1_A7 & !_LC4_A12;

-- Node name is '~4980~2' 
-- Equation name is '~4980~2', location is LC7_A1, type is buried.
-- synthesized logic cell 
_LC7_A1  = LCELL( _EQ135);
  _EQ135 =  _LC5_A1 & !_LC6_A1 &  _LC8_A7 & !_LC8_A21;

-- Node name is ':4993' 
-- Equation name is '_LC6_A17', type is buried 
!_LC6_A17 = _LC6_A17~NOT;
_LC6_A17~NOT = LCELL( _EQ136);
  _EQ136 = !_LC5_A10
         # !_LC2_A20 & !_LC3_A20;

-- Node name is '~5022~1' 
-- Equation name is '~5022~1', location is LC1_A18, type is buried.
-- synthesized logic cell 
_LC1_A18 = LCELL( _EQ137);
  _EQ137 = !_LC2_A21 & !_LC4_A18 & !_LC5_A18 & !_LC6_A21;

-- Node name is ':5052' 
-- Equation name is '_LC1_A9', type is buried 
_LC1_A9  = LCELL( _EQ138);
  _EQ138 =  _LC1_A18 & !_LC2_A15 &  _LC6_A17
         # !_LC2_A15 & !_LC4_B17;

-- Node name is ':5083' 
-- Equation name is '_LC4_A9', type is buried 
_LC4_A9  = LCELL( _EQ139);
  _EQ139 =  _LC1_A9 & !_LC4_A15
         #  _LC1_A8 & !_LC4_A15
         #  _LC1_A1;

-- Node name is '~5112~1' 
-- Equation name is '~5112~1', location is LC5_A1, type is buried.
-- synthesized logic cell 
!_LC5_A1 = _LC5_A1~NOT;
_LC5_A1~NOT = LCELL( _EQ140);
  _EQ140 =  _LC1_A10 &  _LC4_A20
         #  _LC5_A21;

-- Node name is ':5118' 
-- Equation name is '_LC3_A9', type is buried 
_LC3_A9  = LCELL( _EQ141);
  _EQ141 = !_LC3_A7 &  _LC6_C10
         # !_LC3_A7 &  _LC4_A9 &  _LC7_A1;

-- Node name is ':5125' 
-- Equation name is '_LC1_A17', type is buried 
_LC1_A17 = LCELL( _EQ142);
  _EQ142 =  _LC1_A20 &  _LC5_A10
         #  _LC8_A19;

-- Node name is ':5148' 
-- Equation name is '_LC3_A16', type is buried 
_LC3_A16 = LCELL( _EQ143);
  _EQ143 = !_LC1_A16 &  _LC1_A17 & !_LC3_A18 & !_LC5_A12;

-- Node name is '~5178~1' 
-- Equation name is '~5178~1', location is LC4_A16, type is buried.
-- synthesized logic cell 
_LC4_A16 = LCELL( _EQ144);
  _EQ144 = !_LC2_A5 &  _LC4_A14 &  _LC4_B17