cnt45s.rpt

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

-- Node name is ':3361' 
-- Equation name is '_LC8_A21', type is buried 
!_LC8_A21 = _LC8_A21~NOT;
_LC8_A21~NOT = LCELL( _EQ051);
  _EQ051 =  CNT6B5
         #  CNT6B4
         # !_LC4_A5;

-- Node name is '~3377~1' 
-- Equation name is '~3377~1', location is LC6_A12, type is buried.
-- synthesized logic cell 
_LC6_A12 = LCELL( _EQ052);
  _EQ052 =  CNT6B2 & !CNT6B3 &  _LC2_A20;

-- Node name is ':3377' 
-- Equation name is '_LC4_A12', type is buried 
_LC4_A12 = LCELL( _EQ053);
  _EQ053 = !CNT6B4 & !CNT6B5 &  _LC6_A12;

-- Node name is ':3409' 
-- Equation name is '_LC6_A7', type is buried 
_LC6_A7  = LCELL( _EQ054);
  _EQ054 =  _LC1_A20 &  _LC7_A10;

-- Node name is ':3425' 
-- Equation name is '_LC3_A6', type is buried 
!_LC3_A6 = _LC3_A6~NOT;
_LC3_A6~NOT = LCELL( _EQ055);
  _EQ055 = !_LC7_A10
         # !_LC3_A20;

-- Node name is '~3441~1' 
-- Equation name is '~3441~1', location is LC7_A10, type is buried.
-- synthesized logic cell 
_LC7_A10 = LCELL( _EQ056);
  _EQ056 = !CNT6B2 & !CNT6B3 & !CNT6B4 & !CNT6B5;

-- Node name is ':3457' 
-- Equation name is '_LC3_A7', type is buried 
!_LC3_A7 = _LC3_A7~NOT;
_LC3_A7~NOT = LCELL( _EQ057);
  _EQ057 = !_LC7_A10
         # !_LC4_A20;

-- Node name is '~3598~1' 
-- Equation name is '~3598~1', location is LC1_A7, type is buried.
-- synthesized logic cell 
_LC1_A7  = LCELL( _EQ058);
  _EQ058 =  _LC6_A7
         # !CNT6B4 & !CNT6B5 &  _LC3_A12;

-- Node name is '~3598~2' 
-- Equation name is '~3598~2', location is LC6_C10, type is buried.
-- synthesized logic cell 
_LC6_C10 = LCELL( _EQ059);
  _EQ059 =  _LC2_A20 &  _LC7_A10
         #  _LC3_A20 &  _LC7_A10;

-- Node name is ':3598' 
-- Equation name is '_LC4_A7', type is buried 
_LC4_A7  = LCELL( _EQ060);
  _EQ060 =  _LC6_C10
         #  _LC3_A7
         #  _LC1_A7
         #  _LC4_A12;

-- Node name is '~3718~1' 
-- Equation name is '~3718~1', location is LC1_A8, type is buried.
-- synthesized logic cell 
!_LC1_A8 = _LC1_A8~NOT;
_LC1_A8~NOT = LCELL( _EQ061);
  _EQ061 = !_LC2_A8 & !_LC2_A12;

-- Node name is '~3718~2' 
-- Equation name is '~3718~2', location is LC3_A23, type is buried.
-- synthesized logic cell 
_LC3_A23 = LCELL( _EQ062);
  _EQ062 = !CNT6B4 & !CNT6B5 &  _LC7_A5
         #  _LC8_A21;

-- Node name is '~3718~3' 
-- Equation name is '~3718~3', location is LC6_A23, type is buried.
-- synthesized logic cell 
!_LC6_A23 = _LC6_A23~NOT;
_LC6_A23~NOT = LCELL( _EQ063);
  _EQ063 =  _LC2_A11 & !_LC8_A1;

-- Node name is '~3718~4' 
-- Equation name is '~3718~4', location is LC2_A16, type is buried.
-- synthesized logic cell 
!_LC2_A16 = _LC2_A16~NOT;
_LC2_A16~NOT = LCELL( _EQ064);
  _EQ064 = !_LC1_A12 &  _LC3_A14 & !_LC6_A5 &  _LC7_A8;

-- Node name is ':3738' 
-- Equation name is '_LC1_A23', type is buried 
_LC1_A23 = LCELL( _EQ065);
  _EQ065 =  _LC3_A23 & !_LC4_A7
         # !_LC4_A7 &  _LC6_A23
         #  _LC2_A16 & !_LC4_A7;

-- Node name is '~3796~1' 
-- Equation name is '~3796~1', location is LC4_A18, type is buried.
-- synthesized logic cell 
_LC4_A18 = LCELL( _EQ066);
  _EQ066 =  _LC3_A10 &  _LC3_A20
         #  _LC1_A20 &  _LC3_A10
         #  _LC1_A24;

-- Node name is '~3796~2' 
-- Equation name is '~3796~2', location is LC1_A15, type is buried.
-- synthesized logic cell 
!_LC1_A15 = _LC1_A15~NOT;
_LC1_A15~NOT = LCELL( _EQ067);
  _EQ067 = !_LC1_B23 & !_LC3_A13 &  _LC4_A14 & !_LC4_A18;

-- Node name is '~3831~1' 
-- Equation name is '~3831~1', location is LC3_A14, type is buried.
-- synthesized logic cell 
!_LC3_A14 = _LC3_A14~NOT;
_LC3_A14~NOT = LCELL( _EQ068);
  _EQ068 =  _LC2_A5 &  _LC4_A20
         #  _LC2_A5 &  _LC2_A20
         #  _LC3_A5;

-- Node name is '~3856~1' 
-- Equation name is '~3856~1', location is LC1_A1, type is buried.
-- synthesized logic cell 
!_LC1_A1 = _LC1_A1~NOT;
_LC1_A1~NOT = LCELL( _EQ069);
  _EQ069 = !_LC1_A10 & !_LC2_A19
         # !_LC1_A20 & !_LC2_A19;

-- Node name is '~3856~2' 
-- Equation name is '~3856~2', location is LC8_A1, type is buried.
-- synthesized logic cell 
!_LC8_A1 = _LC8_A1~NOT;
_LC8_A1~NOT = LCELL( _EQ070);
  _EQ070 = !_LC1_A1 & !_LC1_A10 & !_LC6_A1
         # !_LC1_A1 & !_LC4_A20 & !_LC6_A1;

-- Node name is '~3856~3' 
-- Equation name is '~3856~3', location is LC7_A23, type is buried.
-- synthesized logic cell 
_LC7_A23 = LCELL( _EQ071);
  _EQ071 =  _LC1_A15 & !_LC2_A16
         # !_LC2_A16 &  _LC4_C22
         #  _LC8_A21;

-- Node name is ':3876' 
-- Equation name is '_LC2_A23', type is buried 
_LC2_A23 = LCELL( _EQ072);
  _EQ072 = !_LC4_A7 &  _LC7_A23
         # !_LC1_C15 & !_LC4_A7
         # !_LC2_A11 & !_LC4_A7;

-- Node name is ':3904' 
-- Equation name is '_LC6_A21', type is buried 
!_LC6_A21 = _LC6_A21~NOT;
_LC6_A21~NOT = LCELL( _EQ073);
  _EQ073 = !_LC1_A21 & !_LC5_A12;

-- Node name is ':3934' 
-- Equation name is '_LC4_A23', type is buried 
_LC4_A23 = LCELL( _EQ074);
  _EQ074 = !_LC1_A15 &  _LC1_A21
         # !_LC1_A15 &  _LC5_A12
         #  _LC4_C22;

-- Node name is ':3964' 
-- Equation name is '_LC5_A23', type is buried 
_LC5_A23 = LCELL( _EQ075);
  _EQ075 =  _LC3_A14 &  _LC4_A23 &  _LC7_A8
         #  _LC8_A4;

-- Node name is ':4014' 
-- Equation name is '_LC8_A23', type is buried 
_LC8_A23 = LCELL( _EQ076);
  _EQ076 =  _LC3_A23 & !_LC4_A7
         # !_LC4_A7 &  _LC5_A23 & !_LC6_A23;

-- Node name is '~4036~1' 
-- Equation name is '~4036~1', location is LC5_A18, type is buried.
-- synthesized logic cell 
!_LC5_A18 = _LC5_A18~NOT;
_LC5_A18~NOT = LCELL( _EQ077);
  _EQ077 = !_LC5_A10 & !_LC7_A21
         # !_LC4_A20 & !_LC7_A21;

-- Node name is ':4036' 
-- Equation name is '_LC3_A18', type is buried 
!_LC3_A18 = _LC3_A18~NOT;
_LC3_A18~NOT = LCELL( _EQ078);
  _EQ078 = !_LC2_A21 & !_LC5_A10 & !_LC5_A18
         # !_LC2_A20 & !_LC2_A21 & !_LC5_A18;

-- Node name is ':4059' 
-- Equation name is '_LC5_A15', type is buried 
_LC5_A15 = LCELL( _EQ079);
  _EQ079 = !_LC1_B23 &  _LC3_A18 & !_LC4_A18 & !_LC6_A21;

-- Node name is '~4066~1' 
-- Equation name is '~4066~1', location is LC3_A24, type is buried.
-- synthesized logic cell 
!_LC3_A24 = _LC3_A24~NOT;
_LC3_A24~NOT = LCELL( _EQ080);
  _EQ080 = !_LC5_A5 & !_LC5_A14
         # !_LC2_A20 & !_LC5_A14;

-- Node name is '~4089~1' 
-- Equation name is '~4089~1', location is LC6_A15, type is buried.
-- synthesized logic cell 
_LC6_A15 = LCELL( _EQ081);
  _EQ081 =  _LC3_A14 & !_LC4_C22 & !_LC8_A10
         #  _LC3_A14 & !_LC4_A5 & !_LC4_C22;

-- Node name is ':4089' 
-- Equation name is '_LC7_A15', type is buried 
_LC7_A15 = LCELL( _EQ082);
  _EQ082 =  _LC5_A15 &  _LC6_A15
         # !_LC4_A14 &  _LC6_A15
         #  _LC3_A13 &  _LC6_A15;

-- Node name is '~4096~1' 
-- Equation name is '~4096~1', location is LC3_A4, type is buried.
-- synthesized logic cell 
!_LC3_A4 = _LC3_A4~NOT;
_LC3_A4~NOT = LCELL( _EQ083);
  _EQ083 = !_LC1_A3 & !_LC1_A5;

-- Node name is '~4119~1' 
-- Equation name is '~4119~1', location is LC2_A11, type is buried.
-- synthesized logic cell 
!_LC2_A11 = _LC2_A11~NOT;
_LC2_A11~NOT = LCELL( _EQ084);
  _EQ084 =  _LC2_A3
         #  _LC2_A13
         #  _LC3_A3;

-- Node name is '~4119~2' 
-- Equation name is '~4119~2', location is LC8_A15, type is buried.
-- synthesized logic cell 
_LC8_A15 = LCELL( _EQ085);
  _EQ085 =  _LC2_A11 & !_LC2_A19 & !_LC8_A4;

-- Node name is ':4119' 
-- Equation name is '_LC3_A15', type is buried 
_LC3_A15 = LCELL( _EQ086);
  _EQ086 =  _LC7_A15 &  _LC8_A15
         #  _LC2_A2 &  _LC8_A15
         #  _LC2_A12 &  _LC8_A15;

-- Node name is '~4126~1' 
-- Equation name is '~4126~1', location is LC6_A1, type is buried.
-- synthesized logic cell 
!_LC6_A1 = _LC6_A1~NOT;
_LC6_A1~NOT = LCELL( _EQ087);
  _EQ087 = !_LC1_A10
         # !_LC2_A20 & !_LC3_A20;

-- Node name is '~4126~2' 
-- Equation name is '~4126~2', location is LC4_A1, type is buried.
-- synthesized logic cell 
_LC4_A1  = LCELL( _EQ088);
  _EQ088 =  _LC1_A10 &  _LC4_A20
         #  _LC6_A1
         #  _LC1_A10 &  _LC1_A20;

-- Node name is '~4149~1' 
-- Equation name is '~4149~1', location is LC6_A6, type is buried.
-- synthesized logic cell 
_LC6_A6  = LCELL( _EQ089);
  _EQ089 = !_LC3_A6 & !_LC5_A7 & !_LC5_A21 & !_LC6_A7;

-- Node name is ':4150' 
-- Equation name is '_LC8_A6', type is buried 
_LC8_A6  = LCELL( _EQ090);
  _EQ090 =  _LC3_A15 &  _LC6_A6
         #  _LC4_A1 &  _LC6_A6
         # !_LC4_A6;

-- Node name is ':4173' 
-- Equation name is '_LC6_A18', type is buried 
_LC6_A18 = LCELL( _EQ091);
  _EQ091 =  CNT6B1 & !_LC2_A20 &  _LC5_A10;

-- Node name is ':4174' 
-- Equation name is '_LC7_A18', type is buried 
_LC7_A18 = LCELL( _EQ092);
  _EQ092 =  _LC2_A21
         #  _LC7_A21
         #  _LC6_A18;

-- Node name is '~4191~1' 
-- Equation name is '~4191~1', location is LC2_A18, type is buried.
-- synthesized logic cell 
_LC2_A18 = LCELL( _EQ093);
  _EQ093 = !_LC3_A10 & !_LC6_A21
         # !_LC1_A20 & !_LC3_A20 & !_LC6_A21;

-- Node name is ':4192' 
-- Equation name is '_LC8_A18', type is buried 
_LC8_A18 = LCELL( _EQ094);
  _EQ094 =  _LC1_A24
         #  _LC1_B23
         #  _LC2_A18 &  _LC7_A18;

-- Node name is '~4204~1' 
-- Equation name is '~4204~1', location is LC6_A19, type is buried.
-- synthesized logic cell 
_LC6_A19 = LCELL( _EQ095);
  _EQ095 =  _LC2_A20 &  _LC5_A5
         #  _LC1_A19 &  _LC8_A10;

-- Node name is ':4204' 
-- Equation name is '_LC7_A19', type is buried 
_LC7_A19 = LCELL( _EQ096);
  _EQ096 = !_LC3_A13 & !_LC5_A14 &  _LC8_A18
         #  _LC6_A19;

-- Node name is '~4221~1' 
-- Equation name is '~4221~1', location is LC3_A19, type is buried.