jiaotong.rpt

假设某个十字路口是由一条主干道和一条次干道汇合而成

-- Equation name is 'MQ7', type is output 
MQ7      =  _LC7_B39;

-- Node name is 'MR' 
-- Equation name is 'MR', type is output 
MR       =  _LC2_B47;

-- Node name is 'MY' 
-- Equation name is 'MY', type is output 
MY       =  _LC1_B48;

-- Node name is '|CNT5:4|:22' = '|CNT5:4|CNT0' 
-- Equation name is '_LC1_B15', type is buried 
!_LC1_B15 = _LC1_B15~NOT;
_LC1_B15~NOT = DFFE( _EQ001, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ001 =  _LC1_B15 &  _LC8_B47;

-- Node name is '|CNT5:4|:21' = '|CNT5:4|CNT1' 
-- Equation name is '_LC2_B11', type is buried 
_LC2_B11 = DFFE( _EQ002, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ002 =  _LC1_B15 &  _LC2_B11 &  _LC4_B15
         # !_LC1_B15 & !_LC2_B11 &  _LC4_B15;

-- Node name is '|CNT5:4|:20' = '|CNT5:4|CNT2' 
-- Equation name is '_LC7_B11', type is buried 
!_LC7_B11 = _LC7_B11~NOT;
_LC7_B11~NOT = DFFE( _EQ003, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ003 = !_LC1_B15 & !_LC2_B11 &  _LC4_B15 &  _LC7_B11
         #  _LC2_B11 &  _LC4_B15 & !_LC7_B11
         #  _LC1_B15 &  _LC4_B15 & !_LC7_B11;

-- Node name is '|CNT5:4|:19' = '|CNT5:4|CNT3' 
-- Equation name is '_LC4_B11', type is buried 
_LC4_B11 = DFFE( _EQ004, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ004 =  _LC4_B11 &  _LC4_B15 &  _LC8_B11
         # !_LC4_B11 &  _LC4_B15 & !_LC8_B11;

-- Node name is '|CNT5:4|:18' = '|CNT5:4|CNT4' 
-- Equation name is '_LC3_B11', type is buried 
_LC3_B11 = DFFE( _EQ005, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ005 =  _LC3_B11 &  _LC4_B15 &  _LC6_B11
         # !_LC3_B11 &  _LC4_B15 & !_LC6_B11;

-- Node name is '|CNT5:4|:17' = '|CNT5:4|CNT5' 
-- Equation name is '_LC5_B11', type is buried 
_LC5_B11 = DFFE( _EQ006, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ006 =  _LC3_B11 &  _LC4_B15 &  _LC5_B11
         #  _LC4_B15 &  _LC5_B11 &  _LC6_B11
         # !_LC3_B11 &  _LC4_B15 & !_LC5_B11 & !_LC6_B11;

-- Node name is '|CNT5:4|:16' = '|CNT5:4|CNT6' 
-- Equation name is '_LC7_B15', type is buried 
_LC7_B15 = DFFE( _EQ007, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ007 =  _LC1_B11 &  _LC4_B15 &  _LC7_B15
         # !_LC1_B11 &  _LC4_B15 & !_LC7_B15;

-- Node name is '|CNT5:4|:15' = '|CNT5:4|CNT7' 
-- Equation name is '_LC8_B15', type is buried 
_LC8_B15 = DFFE( _EQ008, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ008 =  _LC7_B15 &  _LC8_B15 &  _LC8_B47
         #  _LC1_B11 &  _LC8_B15 &  _LC8_B47;

-- Node name is '|CNT5:4|LPM_ADD_SUB:86|addcore:adder|pcarry2' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC8_B11', type is buried 
_LC8_B11 = LCELL( _EQ009);
  _EQ009 =  _LC2_B11
         #  _LC1_B15
         #  _LC7_B11;

-- Node name is '|CNT5:4|LPM_ADD_SUB:86|addcore:adder|pcarry3' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC6_B11', type is buried 
_LC6_B11 = LCELL( _EQ010);
  _EQ010 =  _LC4_B11
         #  _LC7_B11
         #  _LC2_B11
         #  _LC1_B15;

-- Node name is '|CNT5:4|LPM_ADD_SUB:86|addcore:adder|pcarry5' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC1_B11', type is buried 
_LC1_B11 = LCELL( _EQ011);
  _EQ011 =  _LC5_B11
         #  _LC3_B11
         #  _LC6_B11;

-- Node name is '|CNT5:4|:77' 
-- Equation name is '_LC4_B15', type is buried 
_LC4_B15 = LCELL( _EQ012);
  _EQ012 =  _LC8_B15 &  _LC8_B47
         #  _LC7_B15 &  _LC8_B47
         #  _LC1_B11 &  _LC8_B47;

-- Node name is '|CNT25:1|:22' = '|CNT25:1|CNT0' 
-- Equation name is '_LC7_B20', type is buried 
!_LC7_B20 = _LC7_B20~NOT;
_LC7_B20~NOT = DFFE( _EQ013, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ013 =  _LC2_B15 &  _LC7_B20;

-- Node name is '|CNT25:1|:21' = '|CNT25:1|CNT1' 
-- Equation name is '_LC4_B20', type is buried 
_LC4_B20 = DFFE( _EQ014, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ014 =  _LC2_B15 &  _LC4_B20 &  _LC7_B20
         #  _LC2_B15 & !_LC4_B20 & !_LC7_B20;

-- Node name is '|CNT25:1|:20' = '|CNT25:1|CNT2' 
-- Equation name is '_LC4_B21', type is buried 
_LC4_B21 = DFFE( _EQ015, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ015 =  _LC1_B20 &  _LC2_B15 &  _LC4_B21
         # !_LC1_B20 &  _LC2_B15 & !_LC4_B21;

-- Node name is '|CNT25:1|:19' = '|CNT25:1|CNT3' 
-- Equation name is '_LC2_B21', type is buried 
!_LC2_B21 = _LC2_B21~NOT;
_LC2_B21~NOT = DFFE( _EQ016, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ016 = !_LC1_B20 &  _LC2_B15 &  _LC2_B21 & !_LC4_B21
         #  _LC2_B15 & !_LC2_B21 &  _LC4_B21
         #  _LC1_B20 &  _LC2_B15 & !_LC2_B21;

-- Node name is '|CNT25:1|:18' = '|CNT25:1|CNT4' 
-- Equation name is '_LC6_B21', type is buried 
!_LC6_B21 = _LC6_B21~NOT;
_LC6_B21~NOT = DFFE( _EQ017, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ017 =  _LC2_B15 & !_LC5_B21 &  _LC6_B21
         #  _LC2_B15 &  _LC5_B21 & !_LC6_B21;

-- Node name is '|CNT25:1|:17' = '|CNT25:1|CNT5' 
-- Equation name is '_LC3_B23', type is buried 
_LC3_B23 = DFFE( _EQ018, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ018 =  _LC1_B21 &  _LC2_B15 &  _LC3_B23
         # !_LC1_B21 &  _LC2_B15 & !_LC3_B23;

-- Node name is '|CNT25:1|:16' = '|CNT25:1|CNT6' 
-- Equation name is '_LC1_B23', type is buried 
_LC1_B23 = DFFE( _EQ019, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ019 =  _LC1_B23 &  _LC2_B15 &  _LC3_B23
         #  _LC1_B21 &  _LC1_B23 &  _LC2_B15
         # !_LC1_B21 & !_LC1_B23 &  _LC2_B15 & !_LC3_B23;

-- Node name is '|CNT25:1|:15' = '|CNT25:1|CNT7' 
-- Equation name is '_LC6_B23', type is buried 
_LC6_B23 = DFFE( _EQ020, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ020 =  _LC2_B23 &  _LC3_B15 &  _LC5_B23 &  _LC6_B23
         #  _LC2_B23 &  _LC3_B15 & !_LC5_B23 & !_LC6_B23;

-- Node name is '|CNT25:1|LPM_ADD_SUB:86|addcore:adder|pcarry1' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC1_B20', type is buried 
_LC1_B20 = LCELL( _EQ021);
  _EQ021 =  _LC4_B20
         #  _LC7_B20;

-- Node name is '|CNT25:1|LPM_ADD_SUB:86|addcore:adder|pcarry3' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC5_B21', type is buried 
_LC5_B21 = LCELL( _EQ022);
  _EQ022 =  _LC4_B21
         #  _LC1_B20
         #  _LC2_B21;

-- Node name is '|CNT25:1|LPM_ADD_SUB:86|addcore:adder|pcarry4' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC1_B21', type is buried 
_LC1_B21 = LCELL( _EQ023);
  _EQ023 =  _LC6_B21
         #  _LC2_B21
         #  _LC4_B21
         #  _LC1_B20;

-- Node name is '|CNT25:1|:40' 
-- Equation name is '_LC2_B23', type is buried 
_LC2_B23 = LCELL( _EQ024);
  _EQ024 =  _LC6_B23
         #  _LC5_B23;

-- Node name is '|CNT25:1|:77' 
-- Equation name is '_LC2_B15', type is buried 
_LC2_B15 = LCELL( _EQ025);
  _EQ025 =  _LC2_B23 &  _LC3_B15;

-- Node name is '|CNT30:9|:22' = '|CNT30:9|CNT0' 
-- Equation name is '_LC2_B25', type is buried 
_LC2_B25 = DFFE( _EQ026, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ026 = !_LC2_B25 &  _LC5_B25;

-- Node name is '|CNT30:9|:21' = '|CNT30:9|CNT1' 
-- Equation name is '_LC5_B8', type is buried 
!_LC5_B8 = _LC5_B8~NOT;
_LC5_B8~NOT = DFFE( _EQ027, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ027 = !_LC2_B25 &  _LC5_B8 &  _LC5_B25
         #  _LC2_B25 & !_LC5_B8 &  _LC5_B25;

-- Node name is '|CNT30:9|:20' = '|CNT30:9|CNT2' 
-- Equation name is '_LC6_B8', type is buried 
!_LC6_B8 = _LC6_B8~NOT;
_LC6_B8~NOT = DFFE( _EQ028, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ028 = !_LC2_B25 & !_LC5_B8 &  _LC5_B25 &  _LC6_B8
         #  _LC5_B8 &  _LC5_B25 & !_LC6_B8
         #  _LC2_B25 &  _LC5_B25 & !_LC6_B8;

-- Node name is '|CNT30:9|:19' = '|CNT30:9|CNT3' 
-- Equation name is '_LC8_B8', type is buried 
!_LC8_B8 = _LC8_B8~NOT;
_LC8_B8~NOT = DFFE( _EQ029, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ029 =  _LC5_B25 & !_LC7_B8 &  _LC8_B8
         #  _LC5_B25 &  _LC7_B8 & !_LC8_B8;

-- Node name is '|CNT30:9|:18' = '|CNT30:9|CNT4' 
-- Equation name is '_LC5_B9', type is buried 
!_LC5_B9 = _LC5_B9~NOT;
_LC5_B9~NOT = DFFE( _EQ030, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ030 = !_LC2_B8 &  _LC5_B9 &  _LC5_B25
         #  _LC2_B8 & !_LC5_B9 &  _LC5_B25;

-- Node name is '|CNT30:9|:17' = '|CNT30:9|CNT5' 
-- Equation name is '_LC6_B9', type is buried 
_LC6_B9  = DFFE( _EQ031, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ031 =  _LC5_B9 &  _LC5_B25 &  _LC6_B9
         #  _LC2_B8 &  _LC5_B25 &  _LC6_B9
         # !_LC2_B8 & !_LC5_B9 &  _LC5_B25 & !_LC6_B9;

-- Node name is '|CNT30:9|:16' = '|CNT30:9|CNT6' 
-- Equation name is '_LC8_B9', type is buried 
_LC8_B9  = DFFE( _EQ032, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ032 =  _LC1_B47 &  _LC4_B39 &  _LC7_B9 &  _LC8_B9
         #  _LC1_B47 &  _LC4_B39 & !_LC7_B9 & !_LC8_B9;

-- Node name is '|CNT30:9|:15' = '|CNT30:9|CNT7' 
-- Equation name is '_LC6_B39', type is buried 
_LC6_B39 = DFFE( _EQ033, GLOBAL( CLK), !LOAD,  VCC,  VCC);
  _EQ033 =  _LC1_B9 &  _LC1_B47 &  _LC4_B39 &  _LC6_B39
         # !_LC1_B9 &  _LC1_B47 &  _LC4_B39 & !_LC6_B39;

-- Node name is '|CNT30:9|LPM_ADD_SUB:86|addcore:adder|pcarry2' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC7_B8', type is buried 
_LC7_B8  = LCELL( _EQ034);
  _EQ034 =  _LC5_B8
         #  _LC2_B25
         #  _LC6_B8;

-- Node name is '|CNT30:9|LPM_ADD_SUB:86|addcore:adder|pcarry3' from file "addcore.tdf" line 312, column 40
-- Equation name is '_LC2_B8', type is buried 
_LC2_B8  = LCELL( _EQ035);
  _EQ035 =  _LC8_B8
         #  _LC6_B8
         #  _LC5_B8
         #  _LC2_B25;