counter.rpt

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

-- synthesized logic cell 
_LC6_C23 = LCELL( _EQ058);
  _EQ058 = !count1 & !_LC4_C23;

-- Node name is '~3275~3' 
-- Equation name is '~3275~3', location is LC4_C19, type is buried.
-- synthesized logic cell 
_LC4_C19 = LCELL( _EQ059);
  _EQ059 = !count1 & !_LC2_C20
         #  _LC7_C19;

-- Node name is '~3275~4' 
-- Equation name is '~3275~4', location is LC8_C19, type is buried.
-- synthesized logic cell 
!_LC8_C19 = _LC8_C19~NOT;
_LC8_C19~NOT = LCELL( _EQ060);
  _EQ060 = !_LC4_C19 &  _LC4_C23;

-- Node name is '~3275~5' 
-- Equation name is '~3275~5', location is LC6_C19, type is buried.
-- synthesized logic cell 
!_LC6_C19 = _LC6_C19~NOT;
_LC6_C19~NOT = LCELL( _EQ061);
  _EQ061 = !count1 & !_LC8_C19
         #  _LC7_C20 & !_LC8_C19;

-- Node name is ':3275' 
-- Equation name is '_LC7_C14', type is buried 
_LC7_C14 = LCELL( _EQ062);
  _EQ062 =  Houtput1 &  _LC2_C18
         #  _LC6_C19
         #  _LC6_C20;

-- Node name is '~3325~1' 
-- Equation name is '~3325~1', location is LC8_C9, type is buried.
-- synthesized logic cell 
_LC8_C9  = LCELL( _EQ063);
  _EQ063 = !_LC6_C6 & !_LC7_C6;

-- Node name is '~3325~2' 
-- Equation name is '~3325~2', location is LC3_C9, type is buried.
-- synthesized logic cell 
_LC3_C9  = LCELL( _EQ064);
  _EQ064 = !_LC2_C9 &  _LC4_C5 & !_LC6_C6 & !_LC7_C6;

-- Node name is '~3338~1' 
-- Equation name is '~3338~1', location is LC6_C8, type is buried.
-- synthesized logic cell 
_LC6_C8  = LCELL( _EQ065);
  _EQ065 =  count0 & !count1 & !_LC4_C20
         # !count0 &  count1 & !_LC4_C20;

-- Node name is '~3338~2' 
-- Equation name is '~3338~2', location is LC5_C8, type is buried.
-- synthesized logic cell 
!_LC5_C8 = _LC5_C8~NOT;
_LC5_C8~NOT = LCELL( _EQ066);
  _EQ066 =  _LC3_C8 &  _LC5_C9 & !_LC6_C8;

-- Node name is ':3338' 
-- Equation name is '_LC5_C18', type is buried 
_LC5_C18 = LCELL( _EQ067);
  _EQ067 =  Houtput0 &  _LC3_C9
         #  _LC5_C8;

-- Node name is '~3382~1' 
-- Equation name is '~3382~1', location is LC3_C16, type is buried.
-- synthesized logic cell 
!_LC3_C16 = _LC3_C16~NOT;
_LC3_C16~NOT = LCELL( _EQ068);
  _EQ068 = !count1 & !_LC3_C21;

-- Node name is '~3382~2' 
-- Equation name is '~3382~2', location is LC8_C20, type is buried.
-- synthesized logic cell 
!_LC8_C20 = _LC8_C20~NOT;
_LC8_C20~NOT = LCELL(!_LC5_C20);

-- Node name is '~3382~3' 
-- Equation name is '~3382~3', location is LC1_C21, type is buried.
-- synthesized logic cell 
_LC1_C21 = LCELL( _EQ069);
  _EQ069 = !_LC1_C8 &  _LC6_C21 &  _LC7_C21;

-- Node name is '~3382~4' 
-- Equation name is '~3382~4', location is LC4_C18, type is buried.
-- synthesized logic cell 
_LC4_C18 = LCELL( _EQ070);
  _EQ070 = !_LC1_C8 &  _LC6_C21 &  _LC7_C21 &  _LC8_C20;

-- Node name is '~3407~1' 
-- Equation name is '~3407~1', location is LC8_C15, type is buried.
-- synthesized logic cell 
_LC8_C15 = LCELL( _EQ071);
  _EQ071 =  count1 & !_LC5_C2;

-- Node name is '~3407~2' 
-- Equation name is '~3407~2', location is LC2_C15, type is buried.
-- synthesized logic cell 
_LC2_C15 = LCELL( _EQ072);
  _EQ072 =  _LC1_C23
         #  _LC4_C15;

-- Node name is '~3407~3' 
-- Equation name is '~3407~3', location is LC6_C15, type is buried.
-- synthesized logic cell 
_LC6_C15 = LCELL( _EQ073);
  _EQ073 =  count1 & !_LC8_C15
         #  _LC4_C3 & !_LC8_C15;

-- Node name is ':3407' 
-- Equation name is '_LC1_C18', type is buried 
_LC1_C18 = LCELL( _EQ074);
  _EQ074 = !_LC3_C15
         #  _LC4_C18 &  _LC5_C18 & !_LC7_C3;

-- Node name is ':3445' 
-- Equation name is '_LC4_C14', type is buried 
_LC4_C14 = LCELL( _EQ075);
  _EQ075 =  _LC1_C18 & !_LC1_C20 & !_LC6_C19
         # !_LC1_C20 &  _LC6_C20;

-- Node name is '~3485~1' 
-- Equation name is '~3485~1', location is LC2_C9, type is buried.
-- synthesized logic cell 
!_LC2_C9 = _LC2_C9~NOT;
_LC2_C9~NOT = LCELL( _EQ076);
  _EQ076 =  _LC4_C9
         # !count0 & !count1
         #  count0 &  count1;

-- Node name is ':3485' 
-- Equation name is '_LC1_C9', type is buried 
_LC1_C9  = LCELL( _EQ077);
  _EQ077 =  _LC4_C5 &  _LC8_C9 &  Loutput3
         #  _LC2_C9;

-- Node name is '~3541~1' 
-- Equation name is '~3541~1', location is LC6_C21, type is buried.
-- synthesized logic cell 
_LC6_C21 = LCELL( _EQ078);
  _EQ078 = !count4 & !_LC8_C21
         # !_LC1_C3 & !_LC8_C21
         #  count5 & !_LC8_C21;

-- Node name is '~3542~1' 
-- Equation name is '~3542~1', location is LC7_C3, type is buried.
-- synthesized logic cell 
!_LC7_C3 = _LC7_C3~NOT;
_LC7_C3~NOT = LCELL( _EQ079);
  _EQ079 = !count1 & !_LC6_C3
         #  count0 & !_LC6_C3
         #  _LC4_C3 & !_LC6_C3;

-- Node name is ':3542' 
-- Equation name is '_LC3_C18', type is buried 
_LC3_C18 = LCELL( _EQ080);
  _EQ080 =  _LC1_C9 &  _LC4_C18 & !_LC5_C8
         #  _LC7_C3;

-- Node name is '~3572~1' 
-- Equation name is '~3572~1', location is LC2_C23, type is buried.
-- synthesized logic cell 
!_LC2_C23 = _LC2_C23~NOT;
_LC2_C23~NOT = LCELL( _EQ081);
  _EQ081 =  count1
         #  _LC8_C23;

-- Node name is ':3572' 
-- Equation name is '_LC5_C15', type is buried 
_LC5_C15 = LCELL( _EQ082);
  _EQ082 = !_LC2_C15 &  _LC3_C18 &  _LC6_C15
         #  _LC2_C23;

-- Node name is '~3644~1' 
-- Equation name is '~3644~1', location is LC7_C6, type is buried.
-- synthesized logic cell 
_LC7_C6  = LCELL( _EQ083);
  _EQ083 =  _LC2_C4 & !_LC4_C9
         # !_LC3_C6 &  _LC4_C1;

-- Node name is '~3644~2' 
-- Equation name is '~3644~2', location is LC6_C6, type is buried.
-- synthesized logic cell 
!_LC6_C6 = _LC6_C6~NOT;
_LC6_C6~NOT = LCELL( _EQ084);
  _EQ084 =  _LC3_C6
         # !count0 & !count1
         #  count0 &  count1;

-- Node name is ':3644' 
-- Equation name is '_LC6_C9', type is buried 
_LC6_C9  = LCELL( _EQ085);
  _EQ085 =  _LC7_C6
         #  _LC6_C6
         #  _LC4_C5 &  Loutput2;

-- Node name is '~3667~1' 
-- Equation name is '~3667~1', location is LC5_C9, type is buried.
-- synthesized logic cell 
_LC5_C9  = LCELL( _EQ086);
  _EQ086 =  _LC3_C3 &  _LC4_C9
         # !count5 &  _LC4_C9
         #  _LC3_C3 & !_LC4_C1
         # !count5 & !_LC4_C1;

-- Node name is '~3667~2' 
-- Equation name is '~3667~2', location is LC7_C8, type is buried.
-- synthesized logic cell 
_LC7_C8  = LCELL( _EQ087);
  _EQ087 = !_LC2_C9 &  _LC5_C9;

-- Node name is ':3668' 
-- Equation name is '_LC2_C8', type is buried 
_LC2_C8  = LCELL( _EQ088);
  _EQ088 = !_LC6_C8 &  _LC6_C9 &  _LC7_C8
         # !_LC3_C8;

-- Node name is '~3724~1' 
-- Equation name is '~3724~1', location is LC7_C18, type is buried.
-- synthesized logic cell 
_LC7_C18 = LCELL( _EQ089);
  _EQ089 =  _LC6_C16 & !_LC7_C3 & !_LC8_C15;

-- Node name is ':3724' 
-- Equation name is '_LC5_C21', type is buried 
_LC5_C21 = LCELL( _EQ090);
  _EQ090 =  _LC7_C18 & !_LC8_C20
         #  _LC1_C21 &  _LC2_C8 &  _LC7_C18;

-- Node name is '~3731~1' 
-- Equation name is '~3731~1', location is LC1_C23, type is buried.
-- synthesized logic cell 
_LC1_C23 = LCELL( _EQ091);
  _EQ091 =  _LC3_C23
         # !count4 & !count5 &  _LC1_C3;

-- Node name is '~3731~2' 
-- Equation name is '~3731~2', location is LC4_C15, type is buried.
-- synthesized logic cell 
!_LC4_C15 = _LC4_C15~NOT;
_LC4_C15~NOT = LCELL( _EQ092);
  _EQ092 =  count1
         #  _LC5_C2;

-- Node name is '~3754~1' 
-- Equation name is '~3754~1', location is LC5_C23, type is buried.
-- synthesized logic cell 
_LC5_C23 = LCELL( _EQ093);
  _EQ093 = !_LC2_C23 &  _LC4_C23
         # !_LC2_C4 & !_LC2_C23 &  _LC7_C23;

-- Node name is ':3754' 
-- Equation name is '_LC2_C21', type is buried 
_LC2_C21 = LCELL( _EQ094);
  _EQ094 =  _LC2_C15 &  _LC5_C23 & !_LC6_C23
         #  _LC5_C21 &  _LC5_C23 & !_LC6_C23;

-- Node name is '~3761~1' 
-- Equation name is '~3761~1', location is LC2_C16, type is buried.
-- synthesized logic cell 
_LC2_C16 = LCELL( _EQ095);
  _EQ095 = !count1 & !_LC2_C20;

-- Node name is '~3761~2' 
-- Equation name is '~3761~2', location is LC7_C19, type is buried.
-- synthesized logic cell 
!_LC7_C19 = _LC7_C19~NOT;
_LC7_C19~NOT = LCELL( _EQ096);
  _EQ096 = !count1 & !_LC2_C19
         #  count0 & !_LC2_C19
         # !_LC2_C19 &  _LC2_C20;

-- Node name is ':3787' 
-- Equation name is '_LC3_C5', type is buried 
_LC3_C5  = LCELL( _EQ097);
  _EQ097 =  count1 &  Loutput1
         #  _LC1_C2 &  Loutput1;

-- Node name is ':3796' 
-- Equation name is '_LC5_C5', type is buried 
_LC5_C5  = LCELL( _EQ098);
  _EQ098 =  count0 &  count1 & !_LC4_C6
         #  _LC3_C5 &  _LC4_C6
         #  count0 &  count1 &  _LC3_C5
         # !count0 & !count1 &  _LC3_C5;

-- Node name is ':3809' 
-- Equation name is '_LC7_C9', type is buried 
_LC7_C9  = LCELL( _EQ099);
  _EQ099 =  _LC7_C6
         # !_LC2_C6 & !_LC6_C6
         #  _LC5_C5 & !_LC6_C6;

-- Node name is '~3844~1' 
-- Equation name is '~3844~1', location is LC4_C8, type is buried.
-- synthesized logic cell 
_LC4_C8  = LCELL( _EQ100);
  _EQ100 =  _LC3_C8 &  _LC4_C21
         # !count0 & !count1 &  _LC3_C8
         #  count0 &  count1 &  _LC3_C8;

-- Node name is ':3844' 
-- Equation name is '_LC8_C8', type is buried 
_LC8_C8  = LCELL( _EQ101);
  _EQ101 =  _LC4_C8 &  _LC6_C8
         #  _LC4_C8 &  _LC7_C8 &  _LC7_C9;

-- Node name is ':3854' 
-- Equation name is '_LC4_C16', type is buried 
_LC4_C16 = LCELL( _EQ102);
  _EQ102 = !_LC3_C16
         #  _LC6_C21 &  _LC8_C8
         #  _LC1_C8 &  _LC6_C21;

-- Node name is ':3866' 
-- Equation name is '_LC5_C16', type is buried 
_LC5_C16 = LCELL( _EQ103);
  _EQ103 = !count1 & !_LC5_C20
         # !count1 &  _LC4_C16
         #  _LC4_C16 &  _LC5_C20;

-- Node name is '~3883~1' 
-- Equation name is '~3883~1', location is LC6_C16, type is buried.
-- synthesized logic cell