lessondesign.rpt

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

  _EQ036 = !_LC5_D23
         #  _LC2_F13
         #  _LC8_F13
         # !_LC8_D19;

-- Node name is '|COUNTER:29|:1360' 
-- Equation name is '_LC7_F13', type is buried 
!_LC7_F13 = _LC7_F13~NOT;
_LC7_F13~NOT = LCELL( _EQ037);
  _EQ037 =  _LC2_F13
         # !_LC2_F23
         #  _LC8_F13
         # !_LC8_D19;

-- Node name is '|COUNTER:29|~1373~1' 
-- Equation name is '_LC5_F18', type is buried 
-- synthesized logic cell 
!_LC5_F18 = _LC5_F18~NOT;
_LC5_F18~NOT = LCELL( _EQ038);
  _EQ038 =  _LC2_F13 & !_LC5_D23 &  _LC8_D19 & !_LC8_F13;

-- Node name is '|COUNTER:29|~1425~1' 
-- Equation name is '_LC2_F18', type is buried 
-- synthesized logic cell 
!_LC2_F18 = _LC2_F18~NOT;
_LC2_F18~NOT = LCELL( _EQ039);
  _EQ039 =  _LC2_F13 &  _LC5_D23 &  _LC8_D19 & !_LC8_F13;

-- Node name is '|COUNTER:29|:1464' 
-- Equation name is '_LC4_F4', type is buried 
!_LC4_F4 = _LC4_F4~NOT;
_LC4_F4~NOT = LCELL( _EQ040);
  _EQ040 = !_LC8_D19
         # !_LC4_F13
         #  _LC8_F13;

-- Node name is '|COUNTER:29|:1477' 
-- Equation name is '_LC3_F5', type is buried 
!_LC3_F5 = _LC3_F5~NOT;
_LC3_F5~NOT = LCELL( _EQ041);
  _EQ041 =  _LC3_D24
         #  _LC7_D24
         #  _LC8_F7;

-- Node name is '|COUNTER:29|~1503~1' 
-- Equation name is '_LC8_F7', type is buried 
-- synthesized logic cell 
_LC8_F7  = LCELL( _EQ042);
  _EQ042 = !_LC8_F13
         #  _LC8_D19
         #  _LC5_D23
         #  _LC2_F13;

-- Node name is '|COUNTER:29|~1529~1' 
-- Equation name is '_LC6_F18', type is buried 
-- synthesized logic cell 
_LC6_F18 = LCELL( _EQ043);
  _EQ043 = !_LC5_D23
         #  _LC2_F13
         #  _LC8_D19
         # !_LC8_F13;

-- Node name is '|COUNTER:29|:1568' 
-- Equation name is '_LC7_F7', type is buried 
!_LC7_F7 = _LC7_F7~NOT;
_LC7_F7~NOT = LCELL( _EQ044);
  _EQ044 =  _LC5_F13
         # !_LC8_F13;

-- Node name is '|COUNTER:29|~1620~1' 
-- Equation name is '_LC3_F7', type is buried 
-- synthesized logic cell 
_LC3_F7  = LCELL( _EQ045);
  _EQ045 =  _LC8_D19
         # !_LC2_F13
         #  _LC5_D23
         # !_LC8_F13;

-- Node name is '|COUNTER:29|~1659~1' 
-- Equation name is '_LC5_F7', type is buried 
-- synthesized logic cell 
!_LC5_F7 = _LC5_F7~NOT;
_LC5_F7~NOT = LCELL( _EQ046);
  _EQ046 =  _LC2_F13 &  _LC5_D23 & !_LC8_D19 &  _LC8_F13;

-- Node name is '|COUNTER:29|:1672' 
-- Equation name is '_LC1_F7', type is buried 
_LC1_F7  = LCELL( _EQ047);
  _EQ047 =  _LC4_F13 & !_LC8_D19 &  _LC8_F13;

-- Node name is '|COUNTER:29|:1685' 
-- Equation name is '_LC5_F10', type is buried 
_LC5_F10 = LCELL( _EQ048);
  _EQ048 = !_LC3_D24 & !_LC7_D24 & !_LC8_F18;

-- Node name is '|COUNTER:29|~1711~1' 
-- Equation name is '_LC8_F22', type is buried 
-- synthesized logic cell 
_LC8_F22 = LCELL( _EQ049);
  _EQ049 = !_LC3_D24
         #  _LC7_D24;

-- Node name is '|COUNTER:29|~1724~1' 
-- Equation name is '_LC8_F18', type is buried 
-- synthesized logic cell 
_LC8_F18 = LCELL( _EQ050);
  _EQ050 = !_LC8_F13
         # !_LC8_D19
         #  _LC5_D23
         #  _LC2_F13;

-- Node name is '|COUNTER:29|~1737~1' 
-- Equation name is '_LC1_F18', type is buried 
-- synthesized logic cell 
_LC1_F18 = LCELL( _EQ051);
  _EQ051 = !_LC5_D23
         #  _LC2_F13
         # !_LC8_F13
         # !_LC8_D19;

-- Node name is '|COUNTER:29|~3275~1' 
-- Equation name is '_LC7_F14', type is buried 
-- synthesized logic cell 
_LC7_F14 = LCELL( _EQ052);
  _EQ052 = !_LC3_D24 & !_LC3_F18;

-- Node name is '|COUNTER:29|~3275~2' 
-- Equation name is '_LC4_F19', type is buried 
-- synthesized logic cell 
_LC4_F19 = LCELL( _EQ053);
  _EQ053 =  _LC4_F23
         #  _LC5_F23
         # !_LC6_F14
         #  _LC7_F14;

-- Node name is '|COUNTER:29|~3275~3' 
-- Equation name is '_LC3_D18', type is buried 
-- synthesized logic cell 
_LC3_D18 = LCELL( _EQ054);
  _EQ054 =  _LC4_F19
         # !_LC4_F18 & !_LC8_F22
         #  _LC1_F5 & !_LC4_F18;

-- Node name is '|COUNTER:29|:3275' 
-- Equation name is '_LC5_D18', type is buried 
_LC5_D18 = LCELL( _EQ055);
  _EQ055 =  _LC2_D18 &  _LC4_F21
         #  _LC3_D18
         #  _LC3_D22;

-- Node name is '|COUNTER:29|~3325~1' 
-- Equation name is '_LC6_F8', type is buried 
-- synthesized logic cell 
_LC6_F8  = LCELL( _EQ056);
  _EQ056 =  _LC2_F8 & !_LC4_F7 & !_LC6_F7;

-- Node name is '|COUNTER:29|~3338~1' 
-- Equation name is '_LC4_F5', type is buried 
-- synthesized logic cell 
_LC4_F5  = LCELL( _EQ057);
  _EQ057 = !_LC3_D24 & !_LC6_F18 &  _LC7_D24
         #  _LC3_D24 & !_LC6_F18 & !_LC7_D24;

-- Node name is '|COUNTER:29|~3338~2' 
-- Equation name is '_LC5_F8', type is buried 
-- synthesized logic cell 
!_LC5_F8 = _LC5_F8~NOT;
_LC5_F8~NOT = LCELL( _EQ058);
  _EQ058 =  _LC2_F7 & !_LC4_F5 & !_LC6_F5;

-- Node name is '|COUNTER:29|:3338' 
-- Equation name is '_LC8_F21', type is buried 
_LC8_F21 = LCELL( _EQ059);
  _EQ059 =  _LC4_D18 & !_LC5_F5 &  _LC6_F8
         #  _LC5_F8;

-- Node name is '|COUNTER:29|~3382~1' 
-- Equation name is '_LC8_F4', type is buried 
-- synthesized logic cell 
_LC8_F4  = LCELL( _EQ060);
  _EQ060 =  _LC2_F18
         #  _LC3_D24 &  _LC8_F22;

-- Node name is '|COUNTER:29|~3382~2' 
-- Equation name is '_LC6_F4', type is buried 
-- synthesized logic cell 
_LC6_F4  = LCELL( _EQ061);
  _EQ061 =  _LC2_F4 & !_LC3_F5 & !_LC4_F4 &  _LC8_F4;

-- Node name is '|COUNTER:29|~3382~3' 
-- Equation name is '_LC2_F11', type is buried 
-- synthesized logic cell 
!_LC2_F11 = _LC2_F11~NOT;
_LC2_F11~NOT = LCELL(!_LC5_F18);

-- Node name is '|COUNTER:29|~3382~4' 
-- Equation name is '_LC7_F21', type is buried 
-- synthesized logic cell 
_LC7_F21 = LCELL( _EQ062);
  _EQ062 =  _LC2_F11 & !_LC2_F22 &  _LC6_F4;

-- Node name is '|COUNTER:29|~3407~1' 
-- Equation name is '_LC5_F22', type is buried 
-- synthesized logic cell 
_LC5_F22 = LCELL( _EQ063);
  _EQ063 = !_LC7_F18 & !_LC8_F22
         #  _LC1_F5 & !_LC7_F18;

-- Node name is '|COUNTER:29|~3407~2' 
-- Equation name is '_LC7_F19', type is buried 
-- synthesized logic cell 
_LC7_F19 = LCELL( _EQ064);
  _EQ064 =  _LC6_F22
         #  _LC1_F14;

-- Node name is '|COUNTER:29|~3407~3' 
-- Equation name is '_LC1_F22', type is buried 
-- synthesized logic cell 
!_LC1_F22 = _LC1_F22~NOT;
_LC1_F22~NOT = LCELL( _EQ065);
  _EQ065 = !_LC1_F14 &  _LC4_F22 & !_LC5_F22 & !_LC6_F22;

-- Node name is '|COUNTER:29|:3407' 
-- Equation name is '_LC1_F21', type is buried 
_LC1_F21 = LCELL( _EQ066);
  _EQ066 =  _LC1_F22
         #  _LC8_F14
         #  _LC7_F21 &  _LC8_F21;

-- Node name is '|COUNTER:29|:3445' 
-- Equation name is '_LC7_D18', type is buried 
_LC7_D18 = LCELL( _EQ067);
  _EQ067 =  _LC1_F21 & !_LC2_D22 & !_LC3_D18
         # !_LC2_D22 &  _LC3_D22;

-- Node name is '|COUNTER:29|~3485~1' 
-- Equation name is '_LC5_F5', type is buried 
-- synthesized logic cell 
!_LC5_F5 = _LC5_F5~NOT;
_LC5_F5~NOT = LCELL( _EQ068);
  _EQ068 =  _LC3_F7
         # !_LC3_D24 & !_LC7_D24
         #  _LC3_D24 &  _LC7_D24;

-- Nod