counter.rpt

1．初始状态为4个方向的红灯全亮

_LC6_C16 = LCELL( _EQ104);
  _EQ104 =  count1
         #  _LC4_C3;

-- Node name is ':3883' 
-- Equation name is '_LC1_C16', type is buried 
_LC1_C16 = LCELL( _EQ105);
  _EQ105 =  _LC5_C16 &  _LC6_C16 & !_LC7_C3;

-- Node name is ':3896' 
-- Equation name is '_LC1_C15', type is buried 
_LC1_C15 = LCELL( _EQ106);
  _EQ106 =  _LC1_C23
         # !_LC4_C15 &  _LC8_C15
         #  _LC1_C16 & !_LC4_C15;

-- Node name is ':3925' 
-- Equation name is '_LC8_C16', type is buried 
_LC8_C16 = LCELL( _EQ107);
  _EQ107 =  _LC6_C23 & !_LC7_C19
         #  _LC1_C15 &  _LC5_C23 & !_LC7_C19;

-- Node name is ':3947' 
-- Equation name is '_LC1_C5', type is buried 
_LC1_C5  = LCELL( _EQ108);
  _EQ108 = !count0 & !count1 & !_LC1_C2
         #  count1 &  Loutput0
         # !count0 &  Loutput0
         #  _LC1_C2 &  Loutput0;

-- Node name is ':3962' 
-- Equation name is '_LC5_C6', type is buried 
_LC5_C6  = LCELL( _EQ109);
  _EQ109 = !count4 &  count5 &  _LC1_C3
         #  _LC2_C5;

-- Node name is ':3964' 
-- Equation name is '_LC2_C5', type is buried 
_LC2_C5  = LCELL( _EQ110);
  _EQ110 =  count0 & !count1 & !_LC4_C6
         #  _LC1_C5 &  _LC4_C6
         #  count0 & !count1 &  _LC1_C5;

-- Node name is ':3976' 
-- Equation name is '_LC1_C6', type is buried 
_LC1_C6  = LCELL( _EQ111);
  _EQ111 =  count0 & !count1 & !_LC3_C6
         #  _LC3_C6 &  _LC5_C6
         #  count0 &  _LC5_C6;

-- Node name is ':3986' 
-- Equation name is '_LC3_C12', type is buried 
_LC3_C12 = LCELL( _EQ112);
  _EQ112 =  count5 & !_LC3_C3
         #  _LC2_C12;

-- Node name is ':3988' 
-- Equation name is '_LC2_C12', type is buried 
_LC2_C12 = LCELL( _EQ113);
  _EQ113 =  count0 & !_LC4_C9
         #  count0 &  _LC1_C6
         #  _LC1_C6 &  _LC4_C9;

-- Node name is ':4000' 
-- Equation name is '_LC4_C12', type is buried 
_LC4_C12 = LCELL( _EQ114);
  _EQ114 =  count0 & !count1 & !_LC4_C20
         #  _LC3_C12 &  _LC4_C20
         #  count0 &  _LC3_C12;

-- Node name is ':4004' 
-- Equation name is '_LC5_C12', type is buried 
_LC5_C12 = LCELL( _EQ115);
  _EQ115 =  count0 & !_LC4_C21
         # !count1 &  _LC4_C12
         #  count0 &  _LC4_C12
         #  _LC4_C12 &  _LC4_C21;

-- Node name is ':4015' 
-- Equation name is '_LC6_C12', type is buried 
_LC6_C12 = LCELL( _EQ116);
  _EQ116 =  _LC5_C12 &  _LC6_C10;

-- Node name is ':4019' 
-- Equation name is '_LC7_C12', type is buried 
_LC7_C12 = LCELL( _EQ117);
  _EQ117 = !count0 & !_LC3_C21
         #  count1 &  _LC6_C12
         # !count0 &  _LC6_C12
         #  _LC3_C21 &  _LC6_C12;

-- Node name is ':4031' 
-- Equation name is '_LC8_C12', type is buried 
_LC8_C12 = LCELL( _EQ118);
  _EQ118 = !count0 & !_LC5_C20
         #  _LC5_C20 &  _LC7_C12
         # !count0 &  _LC7_C12;

-- Node name is ':4039' 
-- Equation name is '_LC1_C12', type is buried 
_LC1_C12 = LCELL( _EQ119);
  _EQ119 = !_LC6_C3 &  _LC8_C12;

-- Node name is ':4043' 
-- Equation name is '_LC1_C17', type is buried 
_LC1_C17 = LCELL( _EQ120);
  _EQ120 = !count0 & !_LC4_C3
         #  count1 &  _LC1_C12
         # !count0 &  _LC1_C12
         #  _LC1_C12 &  _LC4_C3;

-- Node name is ':4055' 
-- Equation name is '_LC2_C17', type is buried 
_LC2_C17 = LCELL( _EQ121);
  _EQ121 = !count0 & !_LC5_C2
         #  _LC1_C17 &  _LC5_C2
         # !count0 &  _LC1_C17;

-- Node name is ':4063' 
-- Equation name is '_LC3_C17', type is buried 
_LC3_C17 = LCELL( _EQ122);
  _EQ122 =  count4 &  _LC2_C17
         # !_LC1_C3 &  _LC2_C17
         #  count5 &  _LC2_C17;

-- Node name is ':4067' 
-- Equation name is '_LC4_C17', type is buried 
_LC4_C17 = LCELL( _EQ123);
  _EQ123 = !count0 & !_LC8_C23
         #  count1 &  _LC3_C17
         # !count0 &  _LC3_C17
         #  _LC3_C17 &  _LC8_C23;

-- Node name is ':4079' 
-- Equation name is '_LC5_C17', type is buried 
_LC5_C17 = LCELL( _EQ124);
  _EQ124 = !count0 & !_LC4_C23
         #  _LC4_C17 &  _LC4_C23
         # !count0 &  _LC4_C17;

-- Node name is ':4087' 
-- Equation name is '_LC6_C17', type is buried 
_LC6_C17 = LCELL( _EQ125);
  _EQ125 =  _LC3_C3 &  _LC5_C17
         #  count5 &  _LC5_C17;

-- Node name is ':4091' 
-- Equation name is '_LC8_C17', type is buried 
_LC8_C17 = LCELL( _EQ126);
  _EQ126 = !count0 & !_LC2_C20
         #  count1 &  _LC6_C17
         # !count0 &  _LC6_C17
         #  _LC2_C20 &  _LC6_C17;

-- Node name is ':4121' 
-- Equation name is '_LC1_C14', type is buried 
!_LC1_C14 = _LC1_C14~NOT;
_LC1_C14~NOT = LCELL( _EQ127);
  _EQ127 =  emergency
         # !_LC1_C20;

-- Node name is ':4137' 
-- Equation name is '_LC6_C24', type is buried 
!_LC6_C24 = _LC6_C24~NOT;
_LC6_C24~NOT = LCELL( _EQ128);
  _EQ128 =  emergency
         # !_LC6_C20;

-- Node name is '~4144~1' 
-- Equation name is '~4144~1', location is LC4_C1, type is buried.
-- synthesized logic cell 
!_LC4_C1 = _LC4_C1~NOT;
_LC4_C1~NOT = LCELL( _EQ129);
  _EQ129 =  count1
         #  count0;

-- Node name is ':4144' 
-- Equation name is '_LC1_C8', type is buried 
!_LC1_C8 = _LC1_C8~NOT;
_LC1_C8~NOT = LCELL( _EQ130);
  _EQ130 =  _LC4_C21
         # !_LC4_C1;

-- Node name is ':4166' 
-- Equation name is '_LC1_C11', type is buried 
!_LC1_C11 = _LC1_C11~NOT;
_LC1_C11~NOT = LCELL( _EQ131);
  _EQ131 =  emergency
         #  _LC4_C21
         # !_LC2_C4;

-- Node name is ':4182' 
-- Equation name is '_LC7_C11', type is buried 
!_LC7_C11 = _LC7_C11~NOT;
_LC7_C11~NOT = LCELL( _EQ132);
  _EQ132 =  emergency
         #  _LC4_C6
         # !_LC2_C4;

-- Node name is ':4198' 
-- Equation name is '_LC8_C5', type is buried 
!_LC8_C5 = _LC8_C5~NOT;
_LC8_C5~NOT = LCELL( _EQ133);
  _EQ133 =  _LC1_C2
         #  emergency
         # !count1
         #  count0;

-- Node name is '~4332~1' 
-- Equation name is '~4332~1', location is LC2_C10, type is buried.
-- synthesized logic cell 
_LC2_C10 = LCELL( _EQ134);
  _EQ134 =  count5 &  emergency
         # !count4 &  count5
         #  count5 & !_LC1_C3
         #  count4 & !count5 & !emergency &  _LC1_C3;

-- Node name is '~4332~2' 
-- Equation name is '~4332~2', location is LC3_C10, type is buried.
-- synthesized logic cell 
_LC3_C10 = LCELL( _EQ135);
  _EQ135 = !_LC1_C8 & !_LC4_C11
         #  _LC2_C10 & !_LC8_C5
         #  _LC1_C8 &  _LC2_C10;

-- Node name is '~4374~1' 
-- Equation name is '~4374~1', location is LC4_C11, type is buried.
-- synthesized logic cell 
_LC4_C11 = LCELL( _EQ136);
  _EQ136 = !_LC1_C11 & !_LC7_C11;

-- Node name is '~4374~2' 
-- Equation name is '~4374~2', location is LC3_C13, type is buried.
-- synthesized logic cell 
_LC3_C13 = LCELL( _EQ137);
  _EQ137 = !_LC8_C5 &  _LC8_C11;

-- Node name is '~4395~1' 
-- Equation name is '~4395~1', location is LC2_C24, type is buried.
-- synthesized logic cell 
_LC2_C24 = LCELL( _EQ138);
  _EQ138 = !_LC1_C14 & !_LC6_C24;

-- Node name is ':4399' 
-- Equation name is '_LC2_C13', type is buried 
_LC2_C13 = LCELL( _EQ139);
  _EQ139 = !count0 &  count1
         #  count0 & !count1 & !emergency
         #  count1 &  emergency
         #  _LC8_C5;

-- Node name is ':4429' 
-- Equation name is '_LC5_C13', type is buried 
_LC5_C13 = LCELL( _EQ140);
  _EQ140 =  count0 &  emergency &  _LC3_C13
         # !count0 & !emergency &  _LC3_C13
         # !emergency &  _LC1_C8;

-- Node name is '~4458~1' 
-- Equation name is '~4458~1', location is LC2_C6, type is buried.
-- synthesized logic cell 
!_LC2_C6 = _LC2_C6~NOT;
_LC2_C6~NOT = LCELL( _EQ141);
  _EQ141 =  _LC8_C6
         #  _LC4_C1 & !_LC4_C6;

-- Node name is '~4458~2' 
-- Equation name is '~4458~2', location is LC7_C5, type is buried.
-- synthesized logic cell 
_LC7_C5  = LCELL( _EQ142);
  _EQ142 =  _LC4_C6
         # !count0 & !count1;

-- Node name is '~4458~3' 
-- Equation name is '~4458~3', location is LC4_C5, type is buried.
-- synthesized logic cell 
_LC4_C5  = LCELL( _EQ143);
  _EQ143 =  _LC2_C6 &  _LC6_C5 &  _LC7_C5;

-- Node name is '~4479~1' 
-- Equation name is '~4479~1', location is LC3_C14, type is buried.
-- synthesized logic cell 
_LC3_C14 = LCELL( _EQ144);
  _EQ144 = !_LC1_C20 & !_LC6_C20;

-- Node name is '~4479~2' 
-- Equation name is '~4479~2', location is LC3_C8, type is buried.
-- synthesized logic cell 
_LC3_C8  = LCELL( _EQ145);
  _EQ145 =  _LC4_C20 &  _LC4_C21
         # !_LC2_C4 &  _LC4_C20
         # !_LC4_C1 &  _LC4_C21
         # !_LC2_C4 & !_LC4_C1;

-- Node name is '~4479~3' 
-- Equation name is '~4479~3', location is LC2_C22, type is buried.
-- synthesized logic cell 
_LC2_C22 = LCELL( _EQ146);
  _EQ146 = !_LC1_C11 & !_LC1_C14 &  _LC3_C14 & !_LC8_C5;

-- Node name is ':4483' 
-- Equation name is '_LC8_C14', type is buried 
_LC8_C14 = LCELL( _EQ147);
  _EQ147 = !_LC4_C1 &  _LC7_C14
         #  _LC7_C14 &  _LC7_C20
         #  _LC8_C5;

-- Node name is '~4494~1' 
-- Equation name is '~4494~1', location is LC8_C11, type is buried.
-- synthesized logic cell 
_LC8_C11 = LCELL( _EQ148);
  _EQ148 = !_LC1_C8 &  _LC4_C11;

-- Node name is ':4510' 
-- Equation name is '_LC6_C14', type is buried 
_LC6_C14 = LCELL( _EQ149);
  _EQ149 =  _LC4_C14 & !_LC7_C11
         # !_LC7_C11 &  _LC8_C5
         #  _LC1_C11;

-- Node name is ':4531' 
-- Equation name is '_LC1_C24', type is buried 
_LC1_C24 = LCELL( _EQ150);
  _E