control.rpt

1、 南北和东西方向各有一组绿、黄、红灯

LC115-> * * * * * * * * * * * * * * - - | - - - - * - * * | <-- counter4
LC123-> * * * * * * * * * * * * * * - - | - - - - - - * * | <-- counter3
LC128-> * * * * * * * * * * * * * * - - | - - - - - - * * | <-- counter2
LC127-> * * * * * * * * * * * * * * - - | - - - - - - * * | <-- counter1
LC126-> * * * * * * * * * * * * * * * - | - - - - - - * * | <-- counter0
LC125-> - * * - - - - * - - - * - - - * | - - - - - - - * | <-- ~850~1

Pin
83   -> - - - - - - - - - - - - - - - - | - - - - - - - - | <-- clk
11   -> * * * * * * * * * * * * * * - * | - - - - - - - * | <-- clr
12   -> * * * * * * * * * * * * * * - * | - - - - - - - * | <-- kin
LC101-> - - - - - - - - - - - * - - - - | - - - - - - - * | <-- |LPM_ADD_SUB:249|addcore:adder|addcore:adder0|result_node2
LC107-> - - - - - - - - - - * - - - - - | - - - - - - - * | <-- |LPM_ADD_SUB:249|addcore:adder|addcore:adder0|result_node3
LC103-> - - - - - - - - - * - - - - - - | - - - - - - - * | <-- |LPM_ADD_SUB:249|addcore:adder|addcore:adder0|result_node4
LC102-> - - - - - - - - * - - - - - - - | - - - - - - - * | <-- |LPM_ADD_SUB:249|addcore:adder|addcore:adder0|result_node5


* = The logic cell or pin is an input to the logic cell (or LAB) through the PIA.
- = The logic cell or pin is not an input to the logic cell (or LAB).


Device-Specific Information:                     g:\traffic lights\control.rpt
control

** EQUATIONS **

clk      : INPUT;
clr      : INPUT;
kin      : INPUT;

-- Node name is 'catch_o1' = ':4' 
-- Equation name is 'catch_o1', type is output 
 catch_o1 = DFFE( catch1 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);

-- Node name is 'catch_o2' = ':6' 
-- Equation name is 'catch_o2', type is output 
 catch_o2 = DFFE( catch2 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);

-- Node name is 'catch_o3' = ':8' 
-- Equation name is 'catch_o3', type is output 
 catch_o3 = DFFE( catch3 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);

-- Node name is 'catch_o4' = ':10' 
-- Equation name is 'catch_o4', type is output 
 catch_o4 = DFFE( catch4 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);

-- Node name is 'catch_o5' = ':12' 
-- Equation name is 'catch_o5', type is output 
 catch_o5 = DFFE( catch5 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);

-- Node name is 'catch_o6' = ':14' 
-- Equation name is 'catch_o6', type is output 
 catch_o6 = DFFE( catch6 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);

-- Node name is ':40' = 'catch1' 
-- Equation name is 'catch1', location is LC120, type is buried.
catch1   = DFFE( _EQ001 $  GND, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ001 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 &  i0 &  i1
         #  catch1 &  _X001;
  _X001  = EXP(!counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5);

-- Node name is ':41' = 'catch2' 
-- Equation name is 'catch2', location is LC119, type is buried.
catch2   = DFFE( _EQ002 $  GND, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ002 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 & !i0 & !i1 & !_LC125
         #  catch2 &  _X001;
  _X001  = EXP(!counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5);

-- Node name is ':42' = 'catch3' 
-- Equation name is 'catch3', location is LC118, type is buried.
catch3   = DFFE( _EQ003 $  VCC, GLOBAL( clk),  VCC, !clr, !kin);
  _EQ003 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 & !i0 & !i1 & !_LC125
         # !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 &  i0 &  i1
         # !catch3 &  _X001;
  _X001  = EXP(!counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5);

-- Node name is ':43' = 'catch4' 
-- Equation name is 'catch4', location is LC117, type is buried.
catch4   = DFFE( _EQ004 $  GND, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ004 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 &  i0 & !i1
         #  catch4 &  _X001;
  _X001  = EXP(!counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5);

-- Node name is ':44' = 'catch5' 
-- Equation name is 'catch5', location is LC122, type is buried.
catch5   = DFFE( _EQ005 $  GND, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ005 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 & !i0 &  i1
         #  catch5 &  _X001;
  _X001  = EXP(!counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5);

-- Node name is ':45' = 'catch6' 
-- Equation name is 'catch6', location is LC116, type is buried.
catch6   = DFFE( _EQ006 $  GND, GLOBAL( clk),  VCC, !clr, !kin);
  _EQ006 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 &  i0 &  i1
         # !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 & !i0 & !i1
         #  catch6 &  _X001;
  _X001  = EXP(!counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5);

-- Node name is ':53' = 'counter0' 
-- Equation name is 'counter0', location is LC126, type is buried.
counter0 = TFFE(!_EQ007, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ007 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 & !i0;

-- Node name is ':52' = 'counter1' 
-- Equation name is 'counter1', location is LC127, type is buried.
counter1 = TFFE(!_EQ008, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ008 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 & !i0
         #  counter0;

-- Node name is ':51' = 'counter2' 
-- Equation name is 'counter2', location is LC128, type is buried.
counter2 = DFFE( _EQ009 $  VCC, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ009 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 & !i1 &  _LC125
         # !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 &  i0
         # !_LC101 &  _X001;
  _X001  = EXP(!counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5);

-- Node name is ':50' = 'counter3' 
-- Equation name is 'counter3', location is LC123, type is buried.
counter3 = DFFE( _EQ010 $  _LC107, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ010 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 &  _LC107;

-- Node name is ':49' = 'counter4' 
-- Equation name is 'counter4', location is LC115, type is buried.
counter4 = DFFE( _EQ011 $  _LC103, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ011 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 &  i0 & !_LC103
         # !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 & !i0 &  _LC103;

-- Node name is ':48' = 'counter5' 
-- Equation name is 'counter5', location is LC121, type is buried.
counter5 = DFFE( _EQ012 $  _LC102, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ012 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 &  _LC102;

-- Node name is ':47' = 'i0' 
-- Equation name is 'i0', location is LC113, type is buried.
i0       = TFFE( _EQ013, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ013 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 & !i0 &  i1
         # !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 & !i0 & !_LC125
         # !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 &  i0;

-- Node name is ':46' = 'i1' 
-- Equation name is 'i1', location is LC114, type is buried.
i1       = TFFE( _EQ014, GLOBAL( clk), !clr,  VCC, !kin);
  _EQ014 = !counter0 & !counter1 & !counter2 & !counter3 & !counter4 & 
             !counter5 &  i0;

-- Node name is 'time10' = ':26' 
-- Equation name is 'time10', type is output 
 time10  = DFFE( _EQ015 $  t10, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ015 = !i0 &  i1;

-- Node name is 'time11' = ':24' 
-- Equation name is 'time11', type is output 
 time11  = DFFE( _EQ016 $  t11, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ016 = !i0 &  i1 & !t10 &  t11 &  t12
         # !i0 &  i1 &  t10 & !t12 & !t13
         # !i0 &  i1 & !t10 &  t13;

-- Node name is 'time12' = ':22' 
-- Equation name is 'time12', type is output 
 time12  = DFFE( _EQ017 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ017 = !i0 &  i1 &  t10 & !t12 &  t13
         # !i0 &  i1 & !t10 &  t11 & !t12
         # !i0 &  i1 & !t11 & !t12 & !t13
         # !t10 & !t11 &  t12 &  t13
         #  t12 &  _X002;
  _X002  = EXP(!i0 &  i1);

-- Node name is 'time13' = ':20' 
-- Equation name is 'time13', type is output 
 time13  = DFFE( _EQ018 $  VCC, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ018 = !i0 &  i1 & !_LC079 &  t12 &  _X003
         # !i0 &  i1 & !_LC079 &  _X004
         # !_LC078 & !t10 & !t11 & !t13
         # !_LC078 & !t12 & !t13
         # !t13 &  _X002;
  _X003  = EXP(!t10 & !t11);
  _X004  = EXP( _LC078 & !t13);
  _X002  = EXP(!i0 &  i1);

-- Node name is 'time14' = ':18' 
-- Equation name is 'time14', type is output 
 time14  = DFFE( _EQ019 $  t14, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ019 = !i0 &  i1 &  _LC089 & !t10 & !t11 & !t13
         # !i0 &  i1 &  _LC082 &  t12 &  _X003
         # !i0 &  i1 &  _LC089 & !t12 & !t13
         # !i0 &  i1 &  _LC082 &  _X005;
  _X003  = EXP(!t10 & !t11);
  _X005  = EXP(!_LC089 & !t13);

-- Node name is 'time15' = ':16' 
-- Equation name is 'time15', type is output 
 time15  = DFFE( _EQ020 $  VCC, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ020 = !i0 &  i1 & !_LC087 & !t10 & !t11 & !t13
         # !i0 &  i1 & !_LC090 &  t12 &  _X003
         # !i0 &  i1 & !_LC087 & !t12 & !t13
         # !i0 &  i1 & !_LC090 &  _X006
         # !t15 &  _X002;
  _X003  = EXP(!t10 & !t11);
  _X006  = EXP( _LC087 & !t13);
  _X002  = EXP(!i0 &  i1);

-- Node name is 'time20' = ':38' 
-- Equation name is 'time20', type is output 
 time20  = DFFE( _EQ021 $  t10, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ021 = !i0 & !i1;

-- Node name is 'time21' = ':36' 
-- Equation name is 'time21', type is output 
 time21  = DFFE( _EQ022 $  t11, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ022 = !i0 & !i1 & !t10 &  t11 &  t12
         # !i0 & !i1 &  t10 & !t12 & !t13
         # !i0 & !i1 & !t10 &  t13;

-- Node name is 'time22' = ':34' 
-- Equation name is 'time22', type is output 
 time22  = DFFE( _EQ023 $  GND, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ023 = !i0 & !i1 &  t10 & !t12 &  t13
         # !i0 & !i1 & !t10 &  t11 & !t12
         # !i0 & !i1 & !t11 & !t12 & !t13
         # !t10 & !t11 &  t12 &  t13
         #  t12 &  _X007;
  _X007  = EXP(!i0 & !i1);

-- Node name is 'time23' = ':32' 
-- Equation name is 'time23', type is output 
 time23  = DFFE( _EQ024 $  VCC, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ024 = !i0 & !i1 & !_LC070 &  t12 &  _X003
         # !i0 & !i1 & !_LC070 &  _X008
         # !_LC068 & !t10 & !t11 & !t13
         # !_LC068 & !t12 & !t13
         # !t13 &  _X007;
  _X003  = EXP(!t10 & !t11);
  _X008  = EXP( _LC068 & !t13);
  _X007  = EXP(!i0 & !i1);

-- Node name is 'time24' = ':30' 
-- Equation name is 'time24', type is output 
 time24  = DFFE( _EQ025 $  t14, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ025 = !i0 & !i1 &  _LC095 & !t10 & !t11 & !t13
         # !i0 & !i1 &  _LC096 &  t12 &  _X003
         # !i0 & !i1 &  _LC095 & !t12 & !t13
         # !i0 & !i1 &  _LC096 &  _X009;
  _X003  = EXP(!t10 & !t11);
  _X009  = EXP(!_LC095 & !t13);

-- Node name is 'time25' = ':28' 
-- Equation name is 'time25', type is output 
 time25  = DFFE( _EQ026 $  VCC, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ026 = !i0 & !i1 & !_LC081 & !t10 & !t11 & !t13
         # !i0 & !i1 & !_LC092 &  t12 &  _X003
         # !i0 & !i1 & !_LC081 & !t12 & !t13
         # !i0 & !i1 & !_LC092 &  _X010
         # !t15 &  _X007;
  _X003  = EXP(!t10 & !t11);
  _X010  = EXP( _LC081 & !t13);
  _X007  = EXP(!i0 & !i1);

-- Node name is ':60' = 't10' 
-- Equation name is 't10', location is LC124, type is buried.
t10      = DFFE( counter0 $  GND, GLOBAL(!clk),  VCC,  VCC,  VCC);

-- Node name is ':59' = 't11' 
-- Equation name is 't11', location is LC104, type is buried.