traffic_con.rpt

一个用VHDL编写的在CPLD上实现模拟交通灯的程序源代码

-- Equation name is '_LC7_A4', type is buried 
_LC7_A4  = LCELL( _EQ084);
  _EQ084 =  _LC6_A4 & !_LC8_A18 & !tempa
         #  counta2 &  _LC8_A18 & !tempa;

-- Node name is '~1338~1' 
-- Equation name is '~1338~1', location is LC4_A22, type is buried.
-- synthesized logic cell 
_LC4_A22 = LCELL( _EQ085);
  _EQ085 = !_LC8_A12 &  tempa;

-- Node name is ':1343' 
-- Equation name is '_LC8_A2', type is buried 
_LC8_A2  = LCELL( _EQ086);
  _EQ086 =  _LC7_A2 & !_LC8_A18 & !tempa
         #  counta1 &  _LC8_A18 & !tempa;

-- Node name is '~1348~1' 
-- Equation name is '~1348~1', location is LC4_A11, type is buried.
-- synthesized logic cell 
_LC4_A11 = LCELL( _EQ087);
  _EQ087 =  _LC1_A11 &  _LC4_A18
         #  _LC2_A11 &  _LC3_A18 & !_LC4_A18;

-- Node name is '~1348~2' 
-- Equation name is '~1348~2', location is LC5_A11, type is buried.
-- synthesized logic cell 
_LC5_A11 = LCELL( _EQ088);
  _EQ088 =  _LC3_A11 &  _LC5_A18
         #  _LC4_A11 & !_LC5_A18 & !_LC6_A18;

-- Node name is '~1348~3' 
-- Equation name is '~1348~3', location is LC6_A11, type is buried.
-- synthesized logic cell 
_LC6_A11 = LCELL( _EQ089);
  _EQ089 = !_LC3_A18 & !_LC4_A18 & !_LC5_A18
         # !_LC5_A18 &  _LC6_A18;

-- Node name is '~1348~4' 
-- Equation name is '~1348~4', location is LC8_A11, type is buried.
-- synthesized logic cell 
_LC8_A11 = LCELL( _EQ090);
  _EQ090 =  _LC5_A11 & !_LC8_A18
         #  counta0 &  _LC6_A11
         #  counta0 &  _LC8_A18;

-- Node name is '~1361~1' 
-- Equation name is '~1361~1', location is LC6_A14, type is buried.
-- synthesized logic cell 
_LC6_A14 = LCELL( _EQ091);
  _EQ091 = !_LC4_A18 &  _LC8_A14
         #  _LC3_A18 & !_LC4_A18;

-- Node name is ':1436' 
-- Equation name is '_LC3_A20', type is buried 
_LC3_A20 = LCELL( _EQ092);
  _EQ092 =  _LC3_A20 &  reset;

-- Node name is ':1445' 
-- Equation name is '_LC4_A15', type is buried 
_LC4_A15 = LCELL( _EQ093);
  _EQ093 = !reset
         #  _LC4_A15;

-- Node name is ':1454' 
-- Equation name is '_LC1_A24', type is buried 
_LC1_A24 = LCELL( _EQ094);
  _EQ094 =  _LC1_A24 &  reset;

-- Node name is ':1463' 
-- Equation name is '_LC3_A16', type is buried 
_LC3_A16 = LCELL( _EQ095);
  _EQ095 = !reset
         #  _LC3_A16;

-- Node name is ':1472' 
-- Equation name is '_LC1_A1', type is buried 
_LC1_A1  = LCELL( _EQ096);
  _EQ096 =  _LC1_A1 &  reset;

-- Node name is ':1481' 
-- Equation name is '_LC2_A4', type is buried 
_LC2_A4  = LCELL( _EQ097);
  _EQ097 = !reset
         #  _LC2_A4;

-- Node name is ':1490' 
-- Equation name is '_LC3_A2', type is buried 
_LC3_A2  = LCELL( _EQ098);
  _EQ098 =  _LC3_A2 &  reset;

-- Node name is ':1499' 
-- Equation name is '_LC3_A11', type is buried 
_LC3_A11 = LCELL( _EQ099);
  _EQ099 = !reset
         #  _LC3_A11;

-- Node name is ':1508' 
-- Equation name is '_LC2_A20', type is buried 
_LC2_A20 = LCELL( _EQ100);
  _EQ100 =  _LC2_A20 &  reset;

-- Node name is ':1517' 
-- Equation name is '_LC1_A15', type is buried 
_LC1_A15 = LCELL( _EQ101);
  _EQ101 =  _LC1_A15 &  reset;

-- Node name is ':1526' 
-- Equation name is '_LC1_A23', type is buried 
_LC1_A23 = LCELL( _EQ102);
  _EQ102 =  _LC1_A23 &  reset;

-- Node name is ':1535' 
-- Equation name is '_LC1_A16', type is buried 
_LC1_A16 = LCELL( _EQ103);
  _EQ103 = !reset
         #  _LC1_A16;

-- Node name is ':1544' 
-- Equation name is '_LC1_A8', type is buried 
_LC1_A8  = LCELL( _EQ104);
  _EQ104 =  _LC1_A8 &  reset;

-- Node name is ':1553' 
-- Equation name is '_LC1_A4', type is buried 
_LC1_A4  = LCELL( _EQ105);
  _EQ105 =  _LC1_A4 &  reset;

-- Node name is ':1562' 
-- Equation name is '_LC1_A2', type is buried 
_LC1_A2  = LCELL( _EQ106);
  _EQ106 =  _LC1_A2 &  reset;

-- Node name is ':1571' 
-- Equation name is '_LC2_A11', type is buried 
_LC2_A11 = LCELL( _EQ107);
  _EQ107 =  _LC2_A11 &  reset;

-- Node name is ':1580' 
-- Equation name is '_LC1_A17', type is buried 
_LC1_A17 = LCELL( _EQ108);
  _EQ108 =  _LC1_A17 &  reset;

-- Node name is ':1589' 
-- Equation name is '_LC3_A15', type is buried 
_LC3_A15 = LCELL( _EQ109);
  _EQ109 =  _LC3_A15 &  reset;

-- Node name is ':1598' 
-- Equation name is '_LC4_A13', type is buried 
_LC4_A13 = LCELL( _EQ110);
  _EQ110 = !reset
         #  _LC4_A13;

-- Node name is ':1607' 
-- Equation name is '_LC1_A21', type is buried 
_LC1_A21 = LCELL( _EQ111);
  _EQ111 = !reset
         #  _LC1_A21;

-- Node name is ':1616' 
-- Equation name is '_LC1_A10', type is buried 
_LC1_A10 = LCELL( _EQ112);
  _EQ112 =  _LC1_A10 &  reset;

-- Node name is ':1625' 
-- Equation name is '_LC1_A3', type is buried 
_LC1_A3  = LCELL( _EQ113);
  _EQ113 =  _LC1_A3 &  reset;

-- Node name is ':1634' 
-- Equation name is '_LC1_A6', type is buried 
_LC1_A6  = LCELL( _EQ114);
  _EQ114 =  _LC1_A6 &  reset;

-- Node name is ':1643' 
-- Equation name is '_LC1_A11', type is buried 
_LC1_A11 = LCELL( _EQ115);
  _EQ115 =  _LC1_A11 &  reset;

-- Node name is ':2062' 
-- Equation name is '_LC1_B5', type is buried 
_LC1_B5  = LCELL( _EQ116);
  _EQ116 =  stateb0 &  stateb1 & !stateb2;

-- Node name is ':2065' 
-- Equation name is '_LC4_B10', type is buried 
_LC4_B10 = LCELL( _EQ117);
  _EQ117 =  countb7 & !_LC1_B5
         #  _LC1_B5 &  _LC2_B1;

-- Node name is ':2072' 
-- Equation name is '_LC8_B5', type is buried 
!_LC8_B5 = _LC8_B5~NOT;
_LC8_B5~NOT = LCELL( _EQ118);
  _EQ118 =  stateb2
         #  stateb0
         # !stateb1;

-- Node name is ':2075' 
-- Equation name is '_LC5_B10', type is buried 
_LC5_B10 = LCELL( _EQ119);
  _EQ119 =  _LC1_B7 &  _LC8_B5
         #  _LC4_B10 & !_LC8_B5;

-- Node name is ':2082' 
-- Equation name is '_LC6_B5', type is buried 
_LC6_B5  = LCELL( _EQ120);
  _EQ120 =  stateb0 & !stateb1 & !stateb2;

-- Node name is ':2085' 
-- Equation name is '_LC6_B10', type is buried 
_LC6_B10 = LCELL( _EQ121);
  _EQ121 =  _LC5_B10 & !_LC6_B5
         #  _LC3_B10 &  _LC6_B5;

-- Node name is ':2092' 
-- Equation name is '_LC5_B5', type is buried 
_LC5_B5  = LCELL( _EQ122);
  _EQ122 = !stateb0 & !stateb1 & !stateb2;

-- Node name is ':2095' 
-- Equation name is '_LC7_B10', type is buried 
_LC7_B10 = LCELL( _EQ123);
  _EQ123 = !_LC5_B5 &  _LC6_B10
         #  countb7 &  _LC5_B5;

-- Node name is ':2104' 
-- Equation name is '_LC4_B2', type is buried 
_LC4_B2  = LCELL( _EQ124);
  _EQ124 =  countb6 & !_LC1_B5
         #  _LC1_B5 &  _LC1_B12;

-- Node name is ':2107' 
-- Equation name is '_LC5_B2', type is buried 
_LC5_B2  = LCELL( _EQ125);
  _EQ125 =  _LC2_B2 &  _LC8_B5
         #  _LC4_B2 & !_LC8_B5;

-- Node name is ':2110' 
-- Equation name is '_LC6_B2', type is buried 
_LC6_B2  = LCELL( _EQ126);
  _EQ126 =  _LC5_B2 & !_LC6_B5
         #  _LC3_B2 &  _LC6_B5;

-- Node name is ':2113' 
-- Equation name is '_LC7_B2', type is buried 
_LC7_B2  = LCELL( _EQ127);
  _EQ127 = !_LC5_B5 &  _LC6_B2
         #  countb6 &  _LC5_B5;

-- Node name is ':2122' 
-- Equation name is '_LC4_B9', type is buried 
_LC4_B9  = LCELL( _EQ128);
  _EQ128 =  countb5 & !_LC1_B5
         #  _LC1_B5 &  _LC1_B9;

-- Node name is ':2125' 
-- Equation name is '_LC5_B9', type is buried 
_LC5_B9  = LCELL( _EQ129);
  _EQ129 =  _LC3_B9 &  _LC8_B5
         #  _LC4_B9 & !_LC8_B5;

-- Node name is ':2128' 
-- Equation name is '_LC6_B9', type is buried 
_LC6_B9  = LCELL( _EQ130);
  _EQ130 =  _LC5_B9 & !_LC6_B5
         #  _LC1_B4 &  _LC6_B5;

-- Node name is ':2131' 
-- Equation name is '_LC7_B9', type is buried 
_LC7_B9  = LCELL( _EQ131);
  _EQ131 = !_LC5_B5 &  _LC6_B9
         #  countb5 &  _LC5_B5;

-- Node name is ':2140' 
-- Equation name is '_LC4_B8', type is buried 
_LC4_B8  = LCELL( _EQ132);
  _EQ132 =  countb4 & !_LC1_B5
         #  _LC1_B5 &  _LC1_B8;

-- Node name is ':2143' 
-- Equation name is '_LC6_B8', type is buried 
_LC6_B8  = LCELL( _EQ133);
  _EQ133 =  _LC2_B8 &  _LC8_B5
         #  _LC4_B8 & !_LC8_B5;

-- Node name is ':2146' 
-- Equation name is '_LC7_B8', type is buried 
_LC7_B8  = LCELL( _EQ134);
  _EQ134 = !_LC6_B5 &  _LC6_B8
         #  _LC3_B8 &  _LC6_B5;

-- Node name is ':2158' 
-- Equation name is '_LC3_B23', type is buried 
_LC3_B23 = LCELL( _EQ135);
  _EQ135 =  countb3 & !_LC1_B5
         #  _LC1_B5 &  _LC1_B13;

-- Node name is ':2161' 
-- Equation name is '_LC4_B23', type is buried 
_LC4_B23 = LCELL( _EQ136);
  _EQ136 =  _LC1_B23 &  _LC8_B5
         #  _LC3_B23 & !_LC8_B5;

-- Node name is ':2164' 
-- Equation name is '_LC6_B23', type is buried 
_LC6_B23 = LCELL( _EQ137);
  _EQ137 =  _LC4_B23 & !_LC6_B5
         #  _LC1_B22 &  _LC6_B5;

-- Node name is ':2167' 
-- Eq