weizhi.rpt

交通灯控制程序.实现十字路口的交通灯控制.使用vhdl编写,使用方便.

g_ewsn1  = DFFE( state~2, GLOBAL( clk1),  VCC,  VCC, !_LC2_A10);

-- Node name is ':39' = 'g_ewsn2' 
-- Equation name is 'g_ewsn2', location is LC6_A7, type is buried.
g_ewsn2  = DFFE( _EQ004, GLOBAL( clk1),  VCC,  VCC, !_LC2_A10);
  _EQ004 =  state~4 &  state~5;

-- Node name is ':38' = 'g_ewsn3' 
-- Equation name is 'g_ewsn3', location is LC8_A7, type is buried.
g_ewsn3  = DFFE( _EQ005, GLOBAL( clk1),  VCC,  VCC, !_LC2_A10);
  _EQ005 =  state~4 &  state~5;

-- Node name is 'led0' 
-- Equation name is 'led0', type is output 
led0     =  _LC4_A20;

-- Node name is 'led1' 
-- Equation name is 'led1', type is output 
led1     =  _LC8_A20;

-- Node name is 'led2' 
-- Equation name is 'led2', type is output 
led2     =  _LC3_A20;

-- Node name is 'led3' 
-- Equation name is 'led3', type is output 
led3     =  _LC5_A20;

-- Node name is 'led4' 
-- Equation name is 'led4', type is output 
led4     =  _LC7_A20;

-- Node name is 'led5' 
-- Equation name is 'led5', type is output 
led5     =  _LC1_A20;

-- Node name is 'led6' 
-- Equation name is 'led6', type is output 
led6     =  _LC6_A20;

-- Node name is 'q0' 
-- Equation name is 'q0', type is output 
q0       =  r_ewsn3;

-- Node name is 'q1' 
-- Equation name is 'q1', type is output 
q1       =  g_ewsn3;

-- Node name is 'q2' 
-- Equation name is 'q2', type is output 
q2       =  y_ewsn3;

-- Node name is 'q3' 
-- Equation name is 'q3', type is output 
q3       =  r_ewsn1;

-- Node name is 'q4' 
-- Equation name is 'q4', type is output 
q4       =  g_ewsn1;

-- Node name is 'q5' 
-- Equation name is 'q5', type is output 
q5       =  y_ewsn1;

-- Node name is 'q6' 
-- Equation name is 'q6', type is output 
q6       =  r_ewsn2;

-- Node name is 'q7' 
-- Equation name is 'q7', type is output 
q7       =  g_ewsn2;

-- Node name is 'q8' 
-- Equation name is 'q8', type is output 
q8       =  y_ewsn2;

-- Node name is 'q9' 
-- Equation name is 'q9', type is output 
q9       =  r_ewsn0;

-- Node name is 'q10' 
-- Equation name is 'q10', type is output 
q10      =  g_ewsn0;

-- Node name is 'q11' 
-- Equation name is 'q11', type is output 
q11      =  y_ewsn0;

-- Node name is ':45' = 'r_ewsn0' 
-- Equation name is 'r_ewsn0', location is LC2_A7, type is buried.
r_ewsn0  = DFFE( _EQ006, GLOBAL( clk1),  VCC,  VCC, !_LC2_A10);
  _EQ006 =  _LC1_A7 &  state~5;

-- Node name is ':44' = 'r_ewsn1' 
-- Equation name is 'r_ewsn1', location is LC7_A7, type is buried.
r_ewsn1  = DFFE( _EQ007, GLOBAL( clk1),  VCC,  VCC, !_LC2_A10);
  _EQ007 =  state~4 &  state~5
         #  state~3 &  state~5;

-- Node name is ':43' = 'r_ewsn2' 
-- Equation name is 'r_ewsn2', location is LC4_A7, type is buried.
r_ewsn2  = DFFE( _EQ008, GLOBAL( clk1),  VCC,  VCC, !_LC2_A10);
  _EQ008 = !_LC1_A7 &  state~5;

-- Node name is ':42' = 'r_ewsn3' 
-- Equation name is 'r_ewsn3', location is LC3_A5, type is buried.
r_ewsn3  = DFFE( _EQ009, GLOBAL( clk1),  VCC,  VCC, !_LC2_A10);
  _EQ009 = !state~3 & !state~4 &  state~5;

-- Node name is 'rst~1' 
-- Equation name is 'rst~1', location is LC2_A10, type is buried.
-- synthesized logic cell 
!_LC2_A10 = _LC2_A10~NOT;
_LC2_A10~NOT = LCELL(!rst);

-- Node name is 'sel0' 
-- Equation name is 'sel0', type is output 
sel0     =  cnt0;

-- Node name is 'sel1' 
-- Equation name is 'sel1', type is output 
sel1     =  cnt1;

-- Node name is 'sel2' 
-- Equation name is 'sel2', type is output 
sel2     =  cnt2;

-- Node name is ':29' = 'sh0' 
-- Equation name is 'sh0', location is LC1_A8, type is buried.
sh0      = DFFE( _EQ010, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ010 =  _LC7_A8 & !sh0
         # !_LC1_A4 &  sh0;

-- Node name is ':28' = 'sh1' 
-- Equation name is 'sh1', location is LC8_A6, type is buried.
sh1      = DFFE( _EQ011, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ011 =  _LC3_A6 &  _LC4_A6
         #  _LC7_A6
         #  _LC2_A5;

-- Node name is ':27' = 'sh2' 
-- Equation name is 'sh2', location is LC3_A8, type is buried.
sh2      = DFFE( _EQ012, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ012 = !_LC2_A6 &  _LC7_A8 & !sh2
         #  _LC2_A6 &  _LC7_A8 &  sh2
         # !_LC1_A4 &  sh2;

-- Node name is ':26' = 'sh3' 
-- Equation name is 'sh3', location is LC8_A8, type is buried.
sh3      = DFFE( _EQ013, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ013 = !_LC5_A8 &  _LC7_A8 & !sh3
         #  _LC5_A8 &  _LC7_A8 &  sh3
         # !_LC1_A4 &  sh3;

-- Node name is ':33' = 'sl0' 
-- Equation name is 'sl0', location is LC3_A4, type is buried.
sl0      = DFFE( _EQ014, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ014 =  _LC7_A8
         # !_LC1_A5 & !sl0
         # !_LC1_A4 & !sl0;

-- Node name is ':32' = 'sl1' 
-- Equation name is 'sl1', location is LC5_A4, type is buried.
!sl1     = sl1~NOT;
sl1~NOT  = DFFE( _EQ015, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ015 = !_LC1_A5 & !_LC6_A4
         # !_LC1_A4 & !_LC6_A4
         # !_LC6_A4 & !_LC6_A8
         #  _LC1_A4 & !_LC1_A5
         #  _LC1_A4 & !_LC6_A8;

-- Node name is ':31' = 'sl2' 
-- Equation name is 'sl2', location is LC2_A4, type is buried.
sl2      = DFFE( _EQ016, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ016 = !_LC1_A4 & !sl0 & !sl1 & !sl2
         # !_LC1_A4 &  sl0 &  sl2
         # !_LC1_A4 &  sl1 &  sl2;

-- Node name is ':30' = 'sl3' 
-- Equation name is 'sl3', location is LC4_A4, type is buried.
sl3      = DFFE( _EQ017, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ017 =  _LC7_A4
         # !_LC1_A4 &  _LC8_A4
         #  _LC2_A5;

-- Node name is 'state~1' 
-- Equation name is 'state~1', location is LC7_A2, type is buried.
state~1  = DFFE( _EQ018, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ018 = !_LC1_A4 &  state~1
         #  _LC1_A4 &  _LC6_A8 &  state~2;

-- Node name is 'state~2' 
-- Equation name is 'state~2', location is LC4_A5, type is buried.
state~2  = DFFE( _EQ019, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ019 = !_LC1_A4 &  state~2
         # !_LC6_A8 &  state~2
         #  _LC1_A4 &  state~3;

-- Node name is 'state~3' 
-- Equation name is 'state~3', location is LC5_A5, type is buried.
state~3  = DFFE( _EQ020, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ020 = !_LC1_A4 &  state~3
         #  _LC1_A4 &  _LC6_A8 &  state~4;

-- Node name is 'state~4' 
-- Equation name is 'state~4', location is LC6_A5, type is buried.
state~4  = DFFE( _EQ021, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ021 =  _LC1_A4 &  _LC4_A2
         # !_LC1_A4 &  state~4
         # !_LC6_A8 &  state~4;

-- Node name is 'state~5' 
-- Equation name is 'state~5', location is LC1_A1, type is buried.
state~5  = DFFE( _EQ022, GLOBAL( clk1), GLOBAL(!rst),  VCC,  VCC);
  _EQ022 =  state~5
         #  _LC1_A4;

-- Node name is ':37' = 'y_ewsn0' 
-- Equation name is 'y_ewsn0', location is LC3_A7, type is buried.
y_ewsn0  = DFFE( _EQ023, GLOBAL( clk1),  VCC,  VCC, !_LC2_A10);
  _EQ023 = !_LC1_A7 & !state~2
         # !state~5;

-- Node name is ':36' = 'y_ewsn1' 
-- Equation name is 'y_ewsn1', location is LC5_A7, type is buried.
y_ewsn1  = DFFE( _EQ024, GLOBAL( clk1),  VCC,  VCC, !_LC2_A10);
  _EQ024 = !_LC1_A7 & !state~2
         # !state~5;

-- Node name is ':35' = 'y_ewsn2' 
-- Equation name is 'y_ewsn2', location is LC8_A5, type is buried.
y_ewsn2  = DFFE( _EQ025, GLOBAL( clk1),  VCC,  VCC, !_LC2_A10);
  _EQ025 =  state~3 & !state~4
         # !state~5;

-- Node name is ':34' = 'y_ewsn3' 
-- Equation name is 'y_ewsn3', location is LC7_A5, type is buried.
y_ewsn3  = DFFE( _EQ026, GLOBAL( clk1),  VCC,  VCC, !_LC2_A10);
  _EQ026 =  state~3 & !state~4
         # !state~5;

-- Node name is '|LPM_ADD_SUB:582|addcore:adder|pcarry1' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC2_A6', type is buried 
!_LC2_A6 = _LC2_A6~NOT;
_LC2_A6~NOT = LCELL( _EQ027);
  _EQ027 = !sh0 & !sh1;

-- Node name is '|LPM_ADD_SUB:582|addcore:adder|pcarry2' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC5_A8', type is buried 
_LC5_A8  = LCELL( _EQ028);
  _EQ028 =  sh2
         #  _LC2_A6;

-- Node name is ':733' 
-- Equation name is '_LC2_A2', type is buried 
_LC2_A2  = LCELL( _EQ029);
  _EQ029 =  _LC1_A4 & !_LC6_A8;

-- Node name is ':1240' 
-- Equation name is '_LC1_A4', type is buried 
_LC1_A4  = LCELL( _EQ030);
  _EQ030 = !sl0 & !sl1 & !sl2 & !sl3;

-- Node name is ':1424' 
-- Equation name is '_LC1_A6', type is buried 
_LC1_A6  = LCELL( _EQ031);
  _EQ031 =  state~4 &  state~5;

-- Node name is ':1509' 
-- Equation name is '_LC1_A7', type is buried 
!_LC1_A7 = _LC1_A7~NOT;
_LC1_A7~NOT = LCELL( _EQ032);
  _EQ032 = !state~3 & !state~4;

-- Node name is '~1542~1'