traffic.rpt

EDA仿真程序

-- Node name is 'EW_P0' 
-- Equation name is 'EW_P0', location is LC088, type is output.
 EW_P0   = LCELL( _EQ007 $  GND);
  _EQ007 =  ew & !_LC062 &  sn & !SS00 & !SS01 & !SS02 & !start & !t10 & !t11 & 
             !t12 &  t13 & !t14 &  t15 &  t16
         #  ew & !_LC062 &  sn & !SS00 & !SS01 & !SS02 & !start &  t11 &  t12 & 
             !t13 & !t14 &  t15 &  t16
         # !ew &  _LC060 & !_LC062 & !sn & !SS00 & !SS01 & !SS02 & !start
         #  en &  _LC060 & !_LC062 & !SS00 & !SS01 & !SS02 & !start
         # !_LC060 &  _LC082;

-- Node name is 'EW_P1' 
-- Equation name is 'EW_P1', location is LC080, type is output.
 EW_P1   = LCELL( _EQ008 $  GND);
  _EQ008 = !en &  ew & !sn
         # !en & !ew &  sn
         #  SS02 & !start
         #  SS01 & !start
         #  SS00 & !start;

-- Node name is 'EW_R0' 
-- Equation name is 'EW_R0', location is LC073, type is output.
 EW_R0   = LCELL( _EQ009 $  GND);
  _EQ009 =  clk & !t10 & !t11 & !t12 &  t13 & !t14 &  t15 &  t16
         #  clk &  t11 &  t12 & !t13 & !t14 &  t15 &  t16
         # !_LC060 &  _LC079;

-- Node name is 'EW_R1' 
-- Equation name is 'EW_R1', location is LC094, type is output.
 EW_R1   = LCELL( _EQ010 $  GND);
  _EQ010 = !_LC062 &  _LC091 & !t10 & !t11 & !t12 &  t13 & !t14 &  t15 &  t16
         # !_LC062 &  _LC091 &  t11 &  t12 & !t13 & !t14 &  t15 &  t16
         # !_LC060 &  _LC091;

-- Node name is 'EW_R2' 
-- Equation name is 'EW_R2', location is LC081, type is output.
 EW_R2   = LCELL( _EQ011 $  GND);
  _EQ011 = !en &  ew & !sn & !t10 & !t11 & !t12 &  t13 & !t14 &  t15 &  t16
         # !en &  ew & !sn &  t11 &  t12 & !t13 & !t14 &  t15 &  t16
         # !en & !ew &  _LC060 &  sn
         #  _LC060 & !SS01 & !SS02 & !start
         # !_LC060 &  _LC071;

-- Node name is 'SN_L0' 
-- Equation name is 'SN_L0', location is LC065, type is output.
 SN_L0   = LCELL( _EQ012 $  GND);
  _EQ012 =  ew & !_LC050 &  sn & !SS10 &  SS11 & !SS12 & !start & !t10 & !t11 & 
             !t12 &  t13 & !t14 &  t15 &  t16
         #  ew & !_LC050 &  sn & !SS10 &  SS11 & !SS12 & !start &  t11 &  t12 & 
             !t13 & !t14 &  t15 &  t16
         # !ew & !_LC050 &  _LC055 & !sn & !SS10 &  SS11 & !SS12 & !start
         #  en & !_LC050 &  _LC055 & !SS10 &  SS11 & !SS12 & !start
         # !_LC055 &  _LC078;

-- Node name is 'SN_L1' 
-- Equation name is 'SN_L1', location is LC059, type is output.
 SN_L1   = LCELL( _EQ013 $  GND);
  _EQ013 =  ew &  _LC050 &  _LC055 &  sn &  SS10 & !SS12 & !start
         # !ew &  _LC050 &  _LC055 & !sn &  SS10 & !SS12 & !start
         #  en &  _LC050 &  _LC055 &  SS10 & !SS12 & !start
         #  _LC044 & !_LC050 &  _LC055
         # !_LC055 &  _LC063;

-- Node name is 'SN_L2' 
-- Equation name is 'SN_L2', location is LC035, type is output.
 SN_L2   = LCELL( _EQ014 $  GND);
  _EQ014 = !en &  ew &  _LC055 & !sn
         # !en & !ew &  _LC055 &  sn
         #  _LC055 &  SS12 & !start
         #  _LC055 & !SS11 & !start
         #  _LC046 & !_LC055;

-- Node name is 'SN_M0' 
-- Equation name is 'SN_M0', location is LC037, type is output.
 SN_M0   = LCELL( _EQ015 $  GND);
  _EQ015 =  _LC047 &  _LC050 &  _LC055
         #  _LC042 & !_LC050 &  _LC055
         #  _LC039 & !_LC055;

-- Node name is 'SN_M1' 
-- Equation name is 'SN_M1', location is LC061, type is output.
 SN_M1   = LCELL( _EQ016 $  GND);
  _EQ016 =  _LC036 & !_LC050 & !t10 & !t11 & !t12 &  t13 & !t14 &  t15 &  t16
         #  _LC036 & !_LC050 &  t11 &  t12 & !t13 & !t14 &  t15 &  t16
         #  _LC034 & !_LC055;

-- Node name is 'SN_M2' 
-- Equation name is 'SN_M2', location is LC067, type is output.
 SN_M2   = LCELL( _EQ017 $  GND);
  _EQ017 =  _LC038 & !_LC050 & !t10 & !t11 & !t12 &  t13 & !t14 &  t15 &  t16
         #  _LC038 & !_LC050 &  t11 &  t12 & !t13 & !t14 &  t15 &  t16
         # !_LC055 &  _LC070;

-- Node name is 'SN_P0' 
-- Equation name is 'SN_P0', location is LC069, type is output.
 SN_P0   = LCELL( _EQ018 $  GND);
  _EQ018 =  clk & !t10 & !t11 & !t12 &  t13 & !t14 &  t15 &  t16
         #  clk &  t11 &  t12 & !t13 & !t14 &  t15 &  t16
         #  ew & !_LC055 &  sn & !SS10 & !SS11 &  SS12 & !start
         # !ew & !_LC055 & !sn & !SS10 & !SS11 &  SS12 & !start
         #  en & !_LC055 & !SS10 & !SS11 &  SS12 & !start;

-- Node name is 'SN_P1' 
-- Equation name is 'SN_P1', location is LC040, type is output.
 SN_P1   = LCELL( _EQ019 $  GND);
  _EQ019 = !en &  ew & !sn
         # !en & !ew &  sn
         #  SS11 & !start
         #  SS10 & !start
         # !SS12 & !start;

-- Node name is 'SN_R0' 
-- Equation name is 'SN_R0', location is LC072, type is output.
 SN_R0   = LCELL( _EQ020 $  GND);
  _EQ020 =  _LC048 & !_LC050 & !t10 & !t11 & !t12 &  t13 & !t14 &  t15 &  t16
         #  clk & !_LC055 & !t10 & !t11 & !t12 &  t13 & !t14 & !t15 &  t16
         #  _LC048 & !_LC050 &  t11 &  t12 & !t13 & !t14 &  t15 &  t16
         #  clk & !_LC055 &  t11 &  t12 & !t13 & !t14 & !t15 &  t16
         #  _LC048 & !_LC050 & !_LC055;

-- Node name is 'SN_R1' 
-- Equation name is 'SN_R1', location is LC056, type is output.
 SN_R1   = LCELL( _EQ021 $  GND);
  _EQ021 =  _LC041 & !_LC050 & !t10 & !t11 & !t12 &  t13 & !t14 &  t15 &  t16
         #  _LC041 & !_LC050 &  t11 &  t12 & !t13 & !t14 &  t15 &  t16
         #  _LC043 & !_LC055;

-- Node name is 'SN_R2' 
-- Equation name is 'SN_R2', location is LC057, type is output.
 SN_R2   = LCELL( _EQ022 $  GND);
  _EQ022 = !en &  ew & !sn & !t10 & !t11 & !t12 &  t13 & !t14 &  t15 &  t16
         # !en &  ew & !sn &  t11 &  t12 & !t13 & !t14 &  t15 &  t16
         # !en & !ew &  _LC055 &  sn
         #  _LC055 &  SS12 & !start
         #  _LC045 & !_LC055;

-- Node name is ':48' = 'SS00' 
-- Equation name is 'SS00', location is LC093, type is buried.
SS00     = TFFE(!_EQ023, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ023 =  _X001 &  _X002 &  _X003 &  _X004 &  _X005 &  _X006;
  _X001  = EXP( SS00 &  SS02 &  t10 &  t11 & !t12 &  t13 & !t14 &  t15 &  t16);
  _X002  = EXP( SS00 &  SS01 & !SS02 &  t10 & !t11 & !t12 &  t13 &  t14 & !t15 & 
              t16);
  _X003  = EXP( SS00 & !SS01 & !SS02 & !t10 & !t11 & !t12 & !t13 & !t14 &  t15 & 
             !t16);
  _X004  = EXP(!SS00 &  SS01 & !SS02 &  t10 &  t11 &  t12 & !t13 &  t14 & !t15 & 
              t16);
  _X005  = EXP(!SS00 & !SS01 &  SS02 &  t10 & !t11 & !t12 &  t13 & !t14 &  t15 & 
              t16);
  _X006  = EXP(!SS00 & !SS01 & !SS02 & !t10 &  t11 &  t12 &  t13 &  t14 & !t15 & 
             !t16);

-- Node name is ':47' = 'SS01' 
-- Equation name is 'SS01', location is LC090, type is buried.
SS01     = TFFE( _EQ024, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ024 =  SS00 &  SS01 & !SS02 &  t10 & !t11 & !t12 &  t13 &  t14 & !t15 & 
              t16
         #  SS00 & !SS01 & !SS02 & !t10 & !t11 & !t12 & !t13 & !t14 &  t15 & 
             !t16
         #  SS01 &  SS02 &  t10 &  t11 & !t12 &  t13 & !t14 &  t15 &  t16;

-- Node name is ':46' = 'SS02' 
-- Equation name is 'SS02', location is LC083, type is buried.
SS02     = TFFE( _EQ025, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ025 =  SS00 &  SS01 & !SS02 &  t10 & !t11 & !t12 &  t13 &  t14 & !t15 & 
              t16
         #  SS01 &  SS02 &  t10 &  t11 & !t12 &  t13 & !t14 &  t15 &  t16
         #  SS00 &  SS02 &  t10 &  t11 & !t12 &  t13 & !t14 &  t15 &  t16;

-- Node name is ':62' = 'SS10' 
-- Equation name is 'SS10', location is LC052, type is buried.
SS10     = TFFE(!_EQ026, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ026 =  _X007 &  _X008 &  _X009 &  _X010 &  _X011 &  _X012;
  _X007  = EXP( SS10 &  SS12 &  t10 &  t11 & !t12 &  t13 & !t14 &  t15 &  t16);
  _X008  = EXP( SS10 &  SS11 & !SS12 &  t10 &  t11 & !t12 &  t13 & !t14 & !t15 & 
              t16);
  _X009  = EXP( SS10 & !SS11 & !SS12 &  t10 & !t11 & !t12 &  t13 &  t14 &  t15 & 
             !t16);
  _X010  = EXP(!SS10 & !SS11 &  SS12 &  t10 & !t11 & !t12 &  t13 & !t14 &  t15 & 
              t16);
  _X011  = EXP(!SS10 & !SS11 & !SS12 &  t10 &  t11 &  t12 & !t13 &  t14 &  t15 & 
             !t16);
  _X012  = EXP(!SS10 &  SS11 & !SS12 &  t10 & !t11 & !t12 &  t13 & !t14 & !t15 & 
              t16);

-- Node name is ':61' = 'SS11' 
-- Equation name is 'SS11', location is LC066, type is buried.
SS11     = TFFE( _EQ027, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ027 =  SS10 &  SS11 & !SS12 &  t10 &  t11 & !t12 &  t13 & !t14 & !t15 & 
              t16
         #  SS10 & !SS11 & !SS12 &  t10 & !t11 & !t12 &  t13 &  t14 &  t15 & 
             !t16
         #  SS11 &  SS12 &  t10 &  t11 & !t12 &  t13 & !t14 &  t15 &  t16;

-- Node name is ':60' = 'SS12' 
-- Equation name is 'SS12', location is LC058, type is buried.
SS12     = TFFE( _EQ028, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ028 =  SS10 &  SS11 & !SS12 &  t10 &  t11 & !t12 &  t13 & !t14 & !t15 & 
              t16
         #  SS11 &  SS12 &  t10 &  t11 & !t12 &  t13 & !t14 &  t15 &  t16
         #  SS10 &  SS12 &  t10 &  t11 & !t12 &  t13 & !t14 &  t15 &  t16;

-- Node name is 't10' = 't100' 
-- Equation name is 't10', location is LC033, type is output.
 t10     = TFFE( en, GLOBAL( clk), !start,  VCC,  VCC);

-- Node name is 't11' = 't101' 
-- Equation name is 't11', location is LC024, type is output.
 t11     = TFFE( _EQ029, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ029 =  en &  t10;

-- Node name is 't12' = 't102' 
-- Equation name is 't12', location is LC051, type is output.
 t12     = TFFE( _EQ030, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ030 =  en &  t10 &  t11;

-- Node name is 't13' = 't103' 
-- Equation name is 't13', location is LC053, type is output.
 t13     = TFFE( _EQ031, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ031 =  en &  t10 &  t11 &  t12;

-- Node name is 't14' = 't104' 
-- Equation name is 't14', location is LC049, type is output.
 t14     = TFFE( _EQ032, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ032 =  en &  t10 &  t11 &  t12 &  t13;

-- Node name is 't15' = 't105' 
-- Equation name is 't15', location is LC019, type is output.
 t15     = DFFE( _EQ033 $  GND, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ033 =  en &  _LC054
         # !en &  t15;

-- Node name is 't16' = 't106' 
-- Equation name is 't16', location is LC017, type is output.
 t16     = DFFE( _EQ034 $  GND, GLOBAL( clk), !start,  VCC,  VCC);
  _EQ034 =  en &  _LC064
         # !en &  t16;

-- Node name is '|LPM_ADD_SUB:98|addcore:adder|result_node5' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC054', type is buried 
_LC054   = LCELL( t15 $  _EQ035);
  _EQ035 =  t10 &  t11 &  t12 &  t13 &  t14;

-- Node name is '|LPM_ADD_SUB:98|addcore:adder|result_node6' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC064', type is buried 
_LC064   = LCELL( t16 $  _EQ036);
  _EQ036 =  t10 &  t11 &  t12 &  t13 &  t14 &  t15;

-- Node name is '~1423~1' 
-- Equation name is '~1423~1', location is LC087, type is buried.
-- synthesized logic cell 
_LC087   = LCELL( _EQ037 $  VCC);
  _EQ037 = !SS00 & !SS01 & !SS02 &  _X013
         # !en &  ew & !sn
         #  start &  _X013;
  _X013  = EXP(!en & !ew &  sn);

-- Node name is '~1432~1' 
-- Equation name is '~1432~1', location is LC085, type is buried.
-- synthesized logic cell 
_LC085   = LCELL( _EQ038 $ !start);
  _EQ038 = !en &  ew & !sn & !start
         # !en & !ew &  sn & !start
         #  SS01 & !SS02 & !start
         # !SS00 & !SS01 & !start;

-- Node name is '~1441~1' 
-- Equation name is '~1441~1', location is LC095, type is buried.
-- synthesized logic cell 
_LC095   = LCELL( _EQ039 $  GND);
  _EQ039 =  ew & !SS00 & !SS01 & !SS02 & !start
         #  en & !SS00 & !SS01 & !SS02 & !start
         # !sn & !SS00 & !SS01 & !SS02 & !start
         # !en &  ew & !sn;

-- Node name is '~1477~1' 
-- Equation name is '~1477~1', location is LC091, type is buried.
-- synthesized logic cell 
_LC091   = LCELL( _EQ040 $ !start);
  _EQ040 = !en &  ew & !sn & !start
         # !en & !ew &  sn & !start
         #  SS01 & !SS02 & !start
         # !SS00 & !SS01 & !start;

-- Node name is '~1504~1' 
-- Equation name is '~1504~1', location is LC075, type is buried.
-- synthesized logic cell 
_LC075   = LCELL( _EQ041 $ !start);
  _EQ041 = !en &  ew & !sn & !start
         # !en & !ew &  sn & !start
         # !SS02 & !start &  _X014
         # !SS00 & !SS01 & !start;
  _X014  = EXP( SS00 &  SS01);

-- Node name is '~1671~1' 
-- Equation name is '~1671~1', location is LC062, type is buried.
-- synthesized logic cell 
_LC062   = LCELL( _EQ042 $  GND);
  _EQ042 =  t10 &  t11 & !t12 &  t13 &  t14 & !t15 & !t16
         # !t11 &  t12 &  t13 &  t14 & !t15 & !t16;

-- Node name is '~1702~1' 
-- Equation name is '~1702~1', location is LC071, type is buried.
-- synthesized logic cell 
_LC071   = LCELL( _EQ043 $  GND);
  _EQ043 = !en &  ew & !sn
         # !en & !ew &  sn
         # !SS01 & !SS02 & !start;

-- Node name is '~1946~1' 
-- Equation name is '~1946~1', location is LC060, type is buried.
-- synthesized logic cell 
_LC060   = LCELL( _EQ044 $  GND);
  _EQ044 = !t10 & !t11 & !t12 &  t13 & !t14 &  t15 &  t16
         #  t11 &  t12 & !t13 & !t14 &  t15 &  t16;

-- Node name is '~1957~1'