traffic.rpt

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

_LC073   = DFFE( _EQ016 $  GND,  _LC113, !_LC061,  VCC,  VCC);
  _EQ016 =  _LC053 & !_LC055 & !_LC056 & !_LC057 & !_LC070 & !_LC074 & 
             !_LC075 & !_LC076 & !_LC121
         #  _LC073 & !_LC121 &  _X001
         #  _LC073 &  _LC121;
  _X001  = EXP(!_LC055 & !_LC056 & !_LC057 & !_LC074 & !_LC075 & !_LC076);

-- Node name is '|control:u5|:45' = '|control:u5|catch6' 
-- Equation name is '_LC078', type is buried 
_LC078   = DFFE( _EQ017 $  VCC,  _LC113,  VCC, !_LC061,  VCC);
  _EQ017 =  _LC053 & !_LC055 & !_LC056 & !_LC057 & !_LC070 & !_LC074 & 
             !_LC075 & !_LC076 & !_LC121
         # !_LC053 & !_LC055 & !_LC056 & !_LC057 &  _LC070 & !_LC074 & 
             !_LC075 & !_LC076 & !_LC121
         # !_LC078 &  _X002;
  _X002  = EXP(!_LC055 & !_LC056 & !_LC057 & !_LC074 & !_LC075 & !_LC076 & 
             !_LC121);

-- Node name is '|control:u5|:53' = '|control:u5|counter0' 
-- Equation name is '_LC076', type is buried 
_LC076   = DFFE( _EQ018 $ !_LC121,  _LC113, !_LC061,  VCC,  VCC);
  _EQ018 = !_LC055 & !_LC056 & !_LC057 & !_LC070 & !_LC074 & !_LC075 & 
             !_LC076 & !_LC121
         #  _LC076;

-- Node name is '|control:u5|:52' = '|control:u5|counter1' 
-- Equation name is '_LC075', type is buried 
_LC075   = DFFE( _EQ019 $  VCC,  _LC113, !_LC061,  VCC,  VCC);
  _EQ019 = !_LC055 & !_LC056 & !_LC057 & !_LC070 & !_LC074 & !_LC075 & 
             !_LC076
         #  _LC075 & !_LC076 & !_LC121
         # !_LC075 &  _X003;
  _X003  = EXP(!_LC076 & !_LC121);

-- Node name is '|control:u5|:51' = '|control:u5|counter2' 
-- Equation name is '_LC074', type is buried 
_LC074   = TFFE( _EQ020,  _LC113, !_LC061,  VCC,  VCC);
  _EQ020 = !_LC070 & !_LC074 & !_LC075 & !_LC076 & !_LC121 &  _X004
         # !_LC074 & !_LC075 & !_LC076 & !_LC121 &  _X005
         #  _LC074 & !_LC075 & !_LC076 & !_LC121;
  _X004  = EXP(!_LC053 &  _LC079);
  _X005  = EXP(!_LC055 & !_LC056 & !_LC057);

-- Node name is '|control:u5|:50' = '|control:u5|counter3' 
-- Equation name is '_LC057', type is buried 
_LC057   = DFFE( _EQ021 $  VCC,  _LC113, !_LC061,  VCC,  VCC);
  _EQ021 = !_LC055 & !_LC056 & !_LC057 & !_LC074 & !_LC075 & !_LC076
         # !_LC057 &  _LC121
         # !_LC111 & !_LC121;

-- Node name is '|control:u5|:49' = '|control:u5|counter4' 
-- Equation name is '_LC056', type is buried 
_LC056   = TFFE( _EQ022,  _LC113, !_LC061,  VCC,  VCC);
  _EQ022 = !_LC055 & !_LC056 & !_LC057 &  _LC070 & !_LC074 & !_LC075 & 
             !_LC076 & !_LC121
         # !_LC056 & !_LC057 & !_LC074 & !_LC075 & !_LC076 & !_LC121 &  _X006
         #  _LC056 & !_LC057 & !_LC074 & !_LC075 & !_LC076 & !_LC121;
  _X006  = EXP(!_LC055 & !_LC057 & !_LC074 & !_LC075);

-- Node name is '|control:u5|:48' = '|control:u5|counter5' 
-- Equation name is '_LC055', type is buried 
_LC055   = DFFE( _EQ023 $  VCC,  _LC113, !_LC061,  VCC,  VCC);
  _EQ023 = !_LC055 & !_LC056 & !_LC057 & !_LC074 & !_LC075 & !_LC076
         # !_LC055 &  _LC121
         # !_LC106 & !_LC121;

-- Node name is '|control:u5|:47' = '|control:u5|i0' 
-- Equation name is '_LC070', type is buried 
_LC070   = TFFE( _EQ024,  _LC113, !_LC061,  VCC,  VCC);
  _EQ024 =  _LC053 & !_LC055 & !_LC056 & !_LC057 & !_LC070 & !_LC074 & 
             !_LC075 & !_LC076 & !_LC121
         # !_LC055 & !_LC056 & !_LC057 & !_LC070 & !_LC074 & !_LC075 & 
             !_LC076 & !_LC079 & !_LC121
         # !_LC055 & !_LC056 & !_LC057 &  _LC070 & !_LC074 & !_LC075 & 
             !_LC076 & !_LC121;

-- Node name is '|control:u5|:46' = '|control:u5|i1' 
-- Equation name is '_LC053', type is buried 
_LC053   = TFFE( _EQ025,  _LC113, !_LC061,  VCC,  VCC);
  _EQ025 = !_LC055 & !_LC056 & !_LC057 &  _LC070 & !_LC074 & !_LC075 & 
             !_LC076 & !_LC121;

-- Node name is '|control:u5|LPM_ADD_SUB:249|addcore:adder|addcore:adder0|result_node3' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC111', type is buried 
_LC111   = LCELL( _LC057 $  _EQ026);
  _EQ026 = !_LC074 & !_LC075 & !_LC076;

-- Node name is '|control:u5|LPM_ADD_SUB:249|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC106', type is buried 
_LC106   = LCELL( _LC055 $  _EQ027);
  _EQ027 = !_LC056 & !_LC057 & !_LC074 & !_LC075 & !_LC076;

-- Node name is '|control:u5|LPM_ADD_SUB:1071|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC112', type is buried 
_LC112   = LCELL( _LC057 $  _EQ028);
  _EQ028 = !_LC057 &  _LC074;

-- Node name is '|control:u5|LPM_ADD_SUB:1071|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC064', type is buried 
_LC064   = LCELL( _LC055 $  _EQ029);
  _EQ029 =  _LC056 &  _LC112;

-- Node name is '|control:u5|LPM_ADD_SUB:1102|addcore:adder|addcore:adder0|gcp2' from file "addcore.tdf" line 160, column 8
-- Equation name is '_LC108', type is buried 
_LC108   = LCELL( _EQ030 $  _LC074);
  _EQ030 = !_LC074 &  _LC075;

-- Node name is '|control:u5|LPM_ADD_SUB:1102|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC110', type is buried 
_LC110   = LCELL( _EQ031 $  _LC057);
  _EQ031 =  _LC057 & !_LC074 & !_LC075;

-- Node name is '|control:u5|LPM_ADD_SUB:1102|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC054', type is buried 
_LC054   = LCELL( _LC055 $  _EQ032);
  _EQ032 =  _LC056 &  _LC110;

-- Node name is '|control:u5|LPM_ADD_SUB:1372|addcore:adder|addcore:adder0|gcp2' from file "addcore.tdf" line 160, column 8
-- Equation name is '_LC050', type is buried 
_LC050   = LCELL( _EQ033 $  _LC100);
  _EQ033 = !_LC052 &  _LC100 & !_LC102;

-- Node name is '|control:u5|LPM_ADD_SUB:1372|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC095', type is buried 
_LC095   = LCELL( _EQ034 $  _LC060);
  _EQ034 =  _LC052 & !_LC060 &  _LC100
         # !_LC060 &  _LC100 &  _LC102;

-- Node name is '|control:u5|LPM_ADD_SUB:1372|addcore:adder|addcore:adder0|result_node4' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC042', type is buried 
_LC042   = LCELL( _LC062 $  _LC095);

-- Node name is '|control:u5|LPM_ADD_SUB:1372|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC043', type is buried 
_LC043   = LCELL( _LC063 $  _EQ035);
  _EQ035 =  _LC062 &  _LC095;

-- Node name is '|control:u5|LPM_ADD_SUB:1403|addcore:adder|addcore:adder0|gcp2' from file "addcore.tdf" line 160, column 8
-- Equation name is '_LC051', type is buried 
_LC051   = LCELL( _EQ036 $  _LC100);
  _EQ036 =  _LC052 & !_LC100 &  _LC102;

-- Node name is '|control:u5|LPM_ADD_SUB:1403|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC096', type is buried 
_LC096   = LCELL( _EQ037 $  GND);
  _EQ037 =  _LC052 &  _LC060 &  _LC102
         #  _LC060 &  _LC100;

-- Node name is '|control:u5|LPM_ADD_SUB:1403|addcore:adder|addcore:adder0|result_node4' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC041', type is buried 
_LC041   = LCELL( _LC062 $  _LC096);

-- Node name is '|control:u5|LPM_ADD_SUB:1403|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC045', type is buried 
_LC045   = LCELL( _LC063 $  _EQ038);
  _EQ038 =  _LC062 &  _LC096;

-- Node name is '|control:u5|LPM_ADD_SUB:1625|addcore:adder|addcore:adder0|gcp2' from file "addcore.tdf" line 160, column 8
-- Equation name is '_LC059', type is buried 
_LC059   = LCELL( _EQ039 $  _LC100);
  _EQ039 = !_LC052 &  _LC100 & !_LC102;

-- Node name is '|control:u5|LPM_ADD_SUB:1625|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC094', type is buried 
_LC094   = LCELL( _EQ040 $  _LC060);
  _EQ040 =  _LC052 & !_LC060 &  _LC100
         # !_LC060 &  _LC100 &  _LC102;

-- Node name is '|control:u5|LPM_ADD_SUB:1625|addcore:adder|addcore:adder0|result_node4' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC047', type is buried 
_LC047   = LCELL( _LC062 $  _LC094);

-- Node name is '|control:u5|LPM_ADD_SUB:1625|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC040', type is buried 
_LC040   = LCELL( _LC063 $  _EQ041);
  _EQ041 =  _LC062 &  _LC094;

-- Node name is '|control:u5|LPM_ADD_SUB:1656|addcore:adder|addcore:adder0|gcp2' from file "addcore.tdf" line 160, column 8
-- Equation name is '_LC038', type is buried 
_LC038   = LCELL( _EQ042 $  _LC100);
  _EQ042 =  _LC052 & !_LC100 &  _LC102;

-- Node name is '|control:u5|LPM_ADD_SUB:1656|addcore:adder|addcore:adder0|g4' from file "addcore.tdf" line 158, column 5
-- Equation name is '_LC037', type is buried 
_LC037   = LCELL( _EQ043 $  GND);
  _EQ043 =  _LC052 &  _LC060 &  _LC102
         #  _LC060 &  _LC100;

-- Node name is '|control:u5|LPM_ADD_SUB:1656|addcore:adder|addcore:adder0|result_node4' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC036', type is buried 
_LC036   = LCELL( _LC062 $  _LC037);

-- Node name is '|control:u5|LPM_ADD_SUB:1656|addcore:adder|addcore:adder0|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC035', type is buried 
_LC035   = LCELL( _LC063 $  _EQ044);
  _EQ044 =  _LC037 &  _LC062;

-- Node name is '|control:u5|:60' = '|control:u5|t10' 
-- Equation name is '_LC102', type is buried 
_LC102   = DFFE( _LC076 $  GND, !_LC113,  VCC,  VCC,  VCC);

-- Node name is '|control:u5|:59' = '|control:u5|t11' 
-- Equation name is '_LC052', type is buried 
_LC052   = DFFE( _EQ045 $  _LC075, !_LC113,  VCC,  VCC,  VCC);
  _EQ045 = !_LC055 & !_LC056 &  _LC057 &  _LC074 & !_LC075
         # !_LC055 & !_LC056 &  _LC057 &  _LC075
         # !_LC055 &  _LC056 & !_LC057 & !_LC074;

-- Node name is '|control:u5|:58' = '|control:u5|t12' 
-- Equation name is '_LC100', type is buried 
_LC100   = DFFE( _EQ046 $  VCC, !_LC113,  VCC,  VCC,  VCC);
  _EQ046 = !_LC055 &  _LC056 & !_LC057 &  _LC075
         # !_LC055 & !_LC056 &  _LC057 & !_LC075
         # !_LC055 & !_LC056 & !_LC074
         #  _LC074 &  _X007;
  _X007  = EXP(!_LC055 & !_LC056);

-- Node name is '|control:u5|:57' = '|control:u5|t13' 
-- Equation name is '_LC060', type is buried 
_LC060   = DFFE( _EQ047 $  _EQ048, !_LC113,  VCC,  VCC,  VCC);
  _EQ047 = !_LC055 & !_LC056 &  _LC075 &  _LC108 &  _X005 &  _X008 &  _X009 & 
              _X010 &  _X011
         # !_LC055 & !_LC056 &  _LC074 &  _LC108 &  _X005 &  _X008 &  _X009 & 
              _X010 &  _X011
         # !_LC055 & !_LC057 & !_LC074 & !_LC108 &  _X005 &  _X008 &  _X009 & 
              _X010 &  _X011;
  _X005  = EXP(!_LC055 & !_LC056 & !_LC057);
  _X008  = EXP( _LC055 &  _LC057 & !_LC074);