traffic.rpt

交通灯控制器的VHDL设计,能控制十字路口的红绿灯转换,通过目标芯片EPF10KLC84-4验证

_LC4_C5  = LCELL( _EQ020);
  _EQ020 =  _LC1_C7 & !_LC2_C10 & !_LC3_C10 & !_LC8_C5;

-- Node name is '|LEDCONTROL:1|~228~2' 
-- Equation name is '_LC4_C10', type is buried 
-- synthesized logic cell 
_LC4_C10 = LCELL( _EQ021);
  _EQ021 = !_LC1_C3 & !_LC3_C7 & !_LC3_C10;

-- Node name is '|LEDCONTROL:1|:228' 
-- Equation name is '_LC5_C11', type is buried 
_LC5_C11 = LCELL( _EQ022);
  _EQ022 =  _LC4_C5 & !_LC4_C7 & !_LC5_C7;

-- Node name is '|LEDCONTROL:1|:243' 
-- Equation name is '_LC3_C11', type is buried 
_LC3_C11 = LCELL( _EQ023);
  _EQ023 =  _LC4_C5 &  _LC4_C7 &  _LC5_C7;

-- Node name is '|LEDCONTROL:1|~258~1' 
-- Equation name is '_LC1_C7', type is buried 
-- synthesized logic cell 
_LC1_C7  = LCELL( _EQ024);
  _EQ024 = !_LC2_C8 & !_LC8_C7;

-- Node name is '|LEDCONTROL:1|:258' 
-- Equation name is '_LC3_C7', type is buried 
_LC3_C7  = LCELL( _EQ025);
  _EQ025 =  _LC1_C7 &  _LC4_C7 &  _LC5_C7 &  _LC6_C5;

-- Node name is '|LEDCONTROL:1|~273~1' 
-- Equation name is '_LC6_C5', type is buried 
-- synthesized logic cell 
_LC6_C5  = LCELL( _EQ026);
  _EQ026 = !_LC2_C10 &  _LC3_C10 &  _LC8_C5;

-- Node name is '|LEDCONTROL:1|~273~2' 
-- Equation name is '_LC2_C7', type is buried 
-- synthesized logic cell 
_LC2_C7  = LCELL( _EQ027);
  _EQ027 =  _LC2_C8 & !_LC5_C7 &  _LC8_C7;

-- Node name is '|LEDCONTROL:1|~288~1' 
-- Equation name is '_LC1_C5', type is buried 
-- synthesized logic cell 
_LC1_C5  = LCELL( _EQ028);
  _EQ028 = !_LC3_C10 & !_LC8_C5;

-- Node name is '|LEDCONTROL:1|:288' 
-- Equation name is '_LC3_C5', type is buried 
_LC3_C5  = LCELL( _EQ029);
  _EQ029 =  _LC1_C5 &  _LC2_C7 &  _LC2_C10 &  _LC4_C7;

-- Node name is '|LEDCONTROL:1|~357~1' 
-- Equation name is '_LC3_C3', type is buried 
-- synthesized logic cell 
_LC3_C3  = LCELL( _EQ030);
  _EQ030 =  _LC2_C7 & !_LC4_C7 &  _LC6_C5
         # !_LC3_C5;

-- Node name is '|LEDCONTROL:1|~377~1' 
-- Equation name is '_LC1_C10', type is buried 
-- synthesized logic cell 
_LC1_C10 = LCELL( _EQ031);
  _EQ031 = !_LC1_C11 & !_LC3_C7;

-- Node name is '|LEDCONTROL:1|~431~1' 
-- Equation name is '_LC2_C11', type is buried 
-- synthesized logic cell 
_LC2_C11 = LCELL( _EQ032);
  _EQ032 = !_LC1_C3 & !_LC5_C11
         #  _LC3_C7 & !_LC5_C11
         #  _LC3_C11 & !_LC5_C11;

-- Node name is '|LEDCONTROL:1|~449~1' 
-- Equation name is '_LC5_C5', type is buried 
-- synthesized logic cell 
_LC5_C5  = LCELL( _EQ033);
  _EQ033 =  _LC8_C5 &  urgen
         # !_LC2_C10 &  _LC8_C5
         # !_LC3_C10 &  _LC8_C5
         #  _LC2_C10 &  _LC3_C10 & !_LC8_C5 & !urgen;

-- Node name is '|LEDCONTROL:1|~467~1' 
-- Equation name is '_LC6_C10', type is buried 
-- synthesized logic cell 
_LC6_C10 = LCELL( _EQ034);
  _EQ034 = !_LC1_C3 & !_LC2_C10 &  _LC3_C10
         #  _LC2_C3;

-- Node name is '|LEDCONTROL:1|~467~2' 
-- Equation name is '_LC7_C10', type is buried 
-- synthesized logic cell 
_LC7_C10 = LCELL( _EQ035);
  _EQ035 = !_LC1_C3 & !_LC3_C7;

-- Node name is '|LEDCONTROL:1|~467~3' 
-- Equation name is '_LC8_C10', type is buried 
-- synthesized logic cell 
_LC8_C10 = LCELL( _EQ036);
  _EQ036 =  _LC2_C10 &  _LC7_C10 &  urgen
         #  _LC2_C10 & !_LC3_C10 &  _LC7_C10;

-- Node name is '|LEDCONTROL:1|~483~1' 
-- Equation name is '_LC5_C10', type is buried 
-- synthesized logic cell 
_LC5_C10 = LCELL( _EQ037);
  _EQ037 = !_LC1_C3 &  _LC3_C10
         #  _LC2_C3;

-- Node name is '|LEDCONTROL:1|:510' 
-- Equation name is '_LC7_C3', type is buried 
_LC7_C3  = LCELL( _EQ038);
  _EQ038 =  _LC6_C3
         #  _LC2_C7 & !_LC4_C7 &  _LC6_C5;

-- Node name is '|LEDCONTROL:1|~537~1' 
-- Equation name is '_LC1_C3', type is buried 
-- synthesized logic cell 
!_LC1_C3 = _LC1_C3~NOT;
_LC1_C3~NOT = LCELL( _EQ039);
  _EQ039 = !_LC3_C5 &  _LC4_C7
         # !_LC3_C5 & !_LC6_C5
         # !_LC2_C7 & !_LC3_C5;

-- Node name is '|LEDCONTROL:1|~537~2' 
-- Equation name is '_LC1_C11', type is buried 
-- synthesized logic cell 
!_LC1_C11 = _LC1_C11~NOT;
_LC1_C11~NOT = LCELL( _EQ040);
  _EQ040 = !_LC3_C11 & !_LC5_C11;

-- Node name is '|LEDCONTROL:1|~549~1' 
-- Equation name is '_LC2_C3', type is buried 
-- synthesized logic cell 
_LC2_C3  = LCELL( _EQ041);
  _EQ041 =  _LC3_C7
         #  _LC2_C7 & !_LC4_C7 &  _LC6_C5;

-- Node name is '|LEDCONTROL:1|~555~1' 
-- Equation name is '_LC5_C3', type is buried 
-- synthesized logic cell 
_LC5_C3  = LCELL( _EQ042);
  _EQ042 =  _LC5_C11
         #  _LC3_C11 &  _LC8_C3
         #  _LC3_C5 &  _LC8_C3;

-- Node name is '|LEDCONTROL:1|:608' 
-- Equation name is '_LC1_C2', type is buried 
_LC1_C2  = LCELL( _EQ043);
  _EQ043 = !_LC1_C8 &  _LC3_C2;

-- Node name is '|LEDSHOW:2|:70' = '|LEDSHOW:2|count10' 
-- Equation name is '_LC5_B5', type is buried 
_LC5_B5  = DFFE( _EQ044,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ044 = !_LC1_B17 &  _LC2_C2
         # !_LC2_C2 & !_LC5_B5
         # !_LC2_C2 & !_LC3_B5;

-- Node name is '|LEDSHOW:2|:69' = '|LEDSHOW:2|count11' 
-- Equation name is '_LC7_B5', type is buried 
_LC7_B5  = DFFE( _EQ045,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ045 = !_LC2_C2 &  _LC3_B5 &  _LC5_B5 &  _LC7_B5
         # !_LC2_C2 &  _LC3_B5 & !_LC5_B5 & !_LC7_B5;

-- Node name is '|LEDSHOW:2|:68' = '|LEDSHOW:2|count12' 
-- Equation name is '_LC8_B5', type is buried 
_LC8_B5  = DFFE( _EQ046,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ046 = !_LC2_C2 &  _LC3_B5 & !_LC4_B5
         # !_LC1_B17 &  _LC2_C2;

-- Node name is '|LEDSHOW:2|:67' = '|LEDSHOW:2|count13' 
-- Equation name is '_LC1_B5', type is buried 
_LC1_B5  = DFFE( _EQ047,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ047 =  _LC1_B5 &  _LC2_B5 & !_LC2_C2
         # !_LC1_B5 & !_LC2_B5 & !_LC2_C2
         # !_LC2_C2 & !_LC3_B5;

-- Node name is '|LEDSHOW:2|:66' = '|LEDSHOW:2|count14' 
-- Equation name is '_LC2_B10', type is buried 
_LC2_B10 = DFFE( _EQ048,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ048 = !_LC2_B10 & !_LC2_C2 & !_LC3_B5
         #  _LC2_B10 & !_LC2_C2 &  _LC3_B5;

-- Node name is '|LEDSHOW:2|:65' = '|LEDSHOW:2|count15' 
-- Equation name is '_LC1_B10', type is buried 
_LC1_B10 = DFFE( _EQ049,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ049 =  _LC1_B10 &  _LC2_B10 & !_LC2_C2
         # !_LC1_B10 & !_LC2_B10 & !_LC2_C2 & !_LC3_B5
         #  _LC1_B10 & !_LC2_C2 &  _LC3_B5;

-- Node name is '|LEDSHOW:2|:64' = '|LEDSHOW:2|count16' 
-- Equation name is '_LC4_B10', type is buried 
_LC4_B10 = DFFE( _EQ050,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ050 = !_LC2_C2 &  _LC6_B10
         #  _LC2_C2 &  _LC4_C3
         #  _LC2_C2 & !_LC6_C3;

-- Node name is '|LEDSHOW:2|:63' = '|LEDSHOW:2|count17' 
-- Equation name is '_LC3_B10', type is buried 
_LC3_B10 = DFFE( _EQ051,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ051 = !_LC2_C2 & !_LC3_B5 & !_LC7_B10
         # !_LC2_C2 &  _LC3_B5 & !_LC8_B10;

-- Node name is '|LEDSHOW:2|:51' = '|LEDSHOW:2|count20' 
-- Equation name is '_LC8_B9', type is buried 
_LC8_B9  = DFFE( _EQ052,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ052 = !_LC3_B17 &  _LC8_C3
         # !_LC8_B9 & !_LC8_C3
         # !_LC7_B7 & !_LC8_C3;

-- Node name is '|LEDSHOW:2|:50' = '|LEDSHOW:2|count21' 
-- Equation name is '_LC4_B9', type is buried 
_LC4_B9  = DFFE( _EQ053,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ053 =  _LC4_B9 &  _LC7_B7 &  _LC8_B9 & !_LC8_C3
         # !_LC4_B9 &  _LC7_B7 & !_LC8_B9 & !_LC8_C3;

-- Node name is '|LEDSHOW:2|:49' = '|LEDSHOW:2|count22' 
-- Equation name is '_LC7_B9', type is buried 
_LC7_B9  = DFFE( _EQ054,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ054 = !_LC5_B9 &  _LC7_B7 & !_LC8_C3
         # !_LC3_B17 &  _LC8_C3;

-- Node name is '|LEDSHOW:2|:48' = '|LEDSHOW:2|count23' 
-- Equation name is '_LC1_B7', type is buried 
_LC1_B7  = DFFE( _EQ055,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ055 =  _LC1_B7 &  _LC2_B9 & !_LC8_C3
         # !_LC1_B7 & !_LC2_B9 & !_LC8_C3
         # !_LC7_B7 & !_LC8_C3;

-- Node name is '|LEDSHOW:2|:47' = '|LEDSHOW:2|count24' 
-- Equation name is '_LC8_B7', type is buried 
_LC8_B7  = DFFE( _EQ056,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ056 = !_LC1_B7 & !_LC2_B9 & !_LC8_B7 & !_LC8_C3
         #  _LC1_B7 &  _LC8_B7 & !_LC8_C3
         #  _LC2_B9 &  _LC8_B7 & !_LC8_C3;

-- Node name is '|LEDSHOW:2|:46' = '|LEDSHOW:2|count25' 
-- Equation name is '_LC4_B11', type is buried 
_LC4_B11 = DFFE( _EQ057,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ057 =  _LC4_B11 &  _LC8_B7 & !_LC8_C3
         # !_LC4_B11 & !_LC7_B7 & !_LC8_B7 & !_LC8_C3
         #  _LC4_B11 &  _LC7_B7 & !_LC8_C3;

-- Node name is '|LEDSHOW:2|:45' = '|LEDSHOW:2|count26' 
-- Equation name is '_LC5_B11', type is buried 
_LC5_B11 = DFFE( _EQ058,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ058 =  _LC2_B11 & !_LC8_C3
         # !_LC4_C3 &  _LC8_C3
         # !_LC6_C3 &  _LC8_C3;

-- Node name is '|LEDSHOW:2|:44' = '|LEDSHOW:2|count27' 
-- Equation name is '_LC8_B11', type is buried 
_LC8_B11 = DFFE( _EQ059,  _LC1_C2,  VCC,  VCC,  VCC);
  _EQ059 = !_LC6_B11 & !_LC7_B7 & !_LC8_C3
         #  _LC7_B7 & !_LC7_B11 & !_LC8_C3;

-- Node name is '|LEDSHOW:2|LPM_ADD_SUB:190|addcore:adder|pcarry5~1' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC6_B7', type is buried 
-- synthesized logic cell 
_LC6_B7  = LCELL( _EQ060);
  _EQ060 =  _LC4_B11
         #  _LC8_B7
         #  _LC1_B7;

-- Node name is '|LEDSHOW:2|LPM_ADD_SUB:190|addcore:adder|pcarry5' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC3_B9', type is buried 
_LC3_B9  = LCELL( _EQ061);
  _EQ061 =  _LC4_B9 &  _LC7_B9 &  _LC8_B9
         #  _LC6_B7;

-- Node name is '|LEDSHOW:2|LPM_ADD_SUB:190|addcore:adder|:155' from file "addcore.tdf" line 316, column 45
-- Equation name is '_LC6_B11', type is buried 
_LC6_B11 = LCELL( _EQ062);
  _EQ062 = !_LC3_B9 & !_LC5_B11 &  _LC8_B11
         #  _LC5_B11 & !_LC8_B11
         #  _LC3_B9 & !_LC8_B11;

-- Node name is '|LEDSHOW:2|LPM_ADD_SUB:231|addcore:adder|pcarry2' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC2_B9', type is buried 
_LC2_B9  = LCELL( _EQ063);