nn.rpt

这是本人在Max plus2环境下用VHDL语言编的交通灯控制程序。做EDA课程设计的朋友可以下来参考参考。

_LC105   = DFFE( _EQ029 $  GND,  _LC033,  VCC, !_EQ030,  VCC);
  _EQ029 =  BG &  _LC094
         # !BG;
  _EQ030 =  _X002;
  _X002  = EXP( SB &  SM);

-- Node name is '|CNT15:1|:21' = '|CNT15:1|CNT5B3' 
-- Equation name is '_LC104', type is buried 
_LC104   = DFFE( _EQ031 $  GND,  _LC033,  VCC, !_EQ032,  VCC);
  _EQ031 =  BG &  _LC096
         # !BG;
  _EQ032 =  _X002;
  _X002  = EXP( SB &  SM);

-- Node name is '|CNT15:1|LPM_ADD_SUB:101|addcore:adder|addcore:adder0|result_node1' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC093', type is buried 
_LC093   = LCELL( _LC107 $  _LC102);

-- Node name is '|CNT15:1|LPM_ADD_SUB:101|addcore:adder|addcore:adder0|result_node2' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC094', type is buried 
_LC094   = LCELL( _LC105 $  _EQ033);
  _EQ033 =  _LC102 &  _LC107;

-- Node name is '|CNT15:1|LPM_ADD_SUB:101|addcore:adder|addcore:adder0|result_node3' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC096', type is buried 
_LC096   = LCELL( _LC104 $  _EQ034);
  _EQ034 =  _LC102 &  _LC105 &  _LC107;

-- Node name is '|CNT25:2|:24' = '|CNT25:2|CNTB0' 
-- Equation name is '_LC098', type is buried 
_LC098   = DFFE( _EQ035 $ !MG,  _LC033,  VCC,  SB,  VCC);
  _EQ035 = !_LC098 &  MG;

-- Node name is '|CNT25:2|:23' = '|CNT25:2|CNTB1' 
-- Equation name is '_LC101', type is buried 
_LC101   = DFFE( _EQ036 $  GND,  _LC033,  VCC,  SB,  VCC);
  _EQ036 =  _LC036 &  MG
         # !MG;

-- Node name is '|CNT25:2|:22' = '|CNT25:2|CNTB2' 
-- Equation name is '_LC100', type is buried 
_LC100   = DFFE( _EQ037 $  GND,  _LC033,  VCC,  SB,  VCC);
  _EQ037 =  _LC092 &  MG
         # !MG;

-- Node name is '|CNT25:2|:21' = '|CNT25:2|CNTB3' 
-- Equation name is '_LC108', type is buried 
_LC108   = DFFE( _EQ038 $  GND,  _LC033,  VCC,  SB,  VCC);
  _EQ038 =  _LC095 &  MG
         # !MG;

-- Node name is '|CNT25:2|:20' = '|CNT25:2|CNTB4' 
-- Equation name is '_LC103', type is buried 
_LC103   = DFFE( _EQ039 $  GND,  _LC033,  VCC,  SB,  VCC);
  _EQ039 =  _LC087 &  MG
         # !MG;

-- Node name is '|CNT25:2|LPM_ADD_SUB:109|addcore:adder|addcore:adder0|result_node1' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC036', type is buried 
_LC036   = LCELL( _LC101 $  _LC098);

-- Node name is '|CNT25:2|LPM_ADD_SUB:109|addcore:adder|addcore:adder0|result_node2' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC092', type is buried 
_LC092   = LCELL( _LC100 $  _EQ040);
  _EQ040 =  _LC098 &  _LC101;

-- Node name is '|CNT25:2|LPM_ADD_SUB:109|addcore:adder|addcore:adder0|result_node3' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC095', type is buried 
_LC095   = LCELL( _LC108 $  _EQ041);
  _EQ041 =  _LC098 &  _LC100 &  _LC101;

-- Node name is '|CNT25:2|LPM_ADD_SUB:109|addcore:adder|addcore:adder0|result_node4' from file "addcore.tdf" line 164, column 16
-- Equation name is '_LC087', type is buried 
_LC087   = LCELL( _LC103 $  _EQ042);
  _EQ042 =  _LC098 &  _LC100 &  _LC101 &  _LC108;

-- Node name is '|CNT25:2|~2001~1' 
-- Equation name is '_LC084', type is buried 
-- synthesized logic cell 
_LC084   = LCELL( _EQ043 $  _EQ044);
  _EQ043 = !_LC100 &  _LC101 & !_LC103 & !_LC108 &  _X001
         #  _LC098 & !_LC100 & !_LC103 & !_LC108 &  _X001
         #  _LC100 & !_LC101 & !_LC103 & !_LC108 &  _X001;
  _X001  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108);
  _EQ044 = !_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108;

-- Node name is '|CNT25:2|~2235~1' 
-- Equation name is '_LC088', type is buried 
-- synthesized logic cell 
_LC088   = LCELL( _EQ045 $  _EQ046);
  _EQ045 = !_LC100 &  _LC101 &  _LC103 & !_LC108 &  _X001
         #  _LC100 & !_LC101 &  _LC103 & !_LC108 &  _X001
         #  _LC098 & !_LC100 & !_LC101 & !_LC103 &  _X001
         # !_LC100 & !_LC103 &  _LC108 &  _X001;
  _X001  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108);
  _EQ046 = !_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108;

-- Node name is '|CNT25:2|~2391~1' 
-- Equation name is '_LC089', type is buried 
-- synthesized logic cell 
_LC089   = LCELL( _EQ047 $  VCC);
  _EQ047 = !_LC100 & !_LC101 & !_LC103 & !_LC108 &  _X001
         #  _LC100 &  _LC103 &  _LC108 &  _X001
         #  _LC101 &  _LC103 &  _LC108 &  _X001
         #  _LC098 &  _X001;
  _X001  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108);

-- Node name is '|CNT25:2|~2625~1' 
-- Equation name is '_LC057', type is buried 
-- synthesized logic cell 
_LC057   = LCELL( _EQ048 $  VCC);
  _EQ048 = !_LC098 & !_LC100 & !_LC101 & !_LC108 &  _X001
         #  _LC098 &  _LC101 &  _LC108 &  _X001
         #  _LC100 &  _LC108 &  _X001
         #  _LC103 &  _X001;
  _X001  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108);

-- Node name is '|CNT25:2|~2703~1' 
-- Equation name is '_LC061', type is buried 
-- synthesized logic cell 
_LC061   = LCELL( _EQ049 $  _EQ050);
  _EQ049 =  _LC098 &  _LC101 & !_LC103 &  _LC108 &  _X001
         # !_LC098 & !_LC101 &  _LC103 & !_LC108 &  _X001
         #  _LC100 & !_LC103 &  _LC108 &  _X001
         # !_LC100 &  _LC103 & !_LC108 &  _X001;
  _X001  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108);
  _EQ050 = !_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108;

-- Node name is '|CNT25:2|~2781~1' 
-- Equation name is '_LC041', type is buried 
-- synthesized logic cell 
_LC041   = LCELL( _EQ051 $  _EQ052);
  _EQ051 =  _LC098 &  _LC101 & !_LC108 &  _X001 &  _X003 &  _X004 &  _X005 & 
              _X006
         #  _LC100 &  _LC101 & !_LC103 &  _X001 &  _X003 &  _X004 &  _X005 & 
              _X006
         #  _LC098 &  _LC100 & !_LC103 &  _X001 &  _X003 &  _X004 &  _X005 & 
              _X006
         #  _LC098 & !_LC101 &  _LC108 &  _X001 &  _X003 &  _X004 &  _X005 & 
              _X006;
  _X001  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108);
  _X003  = EXP(!_LC098 & !_LC100 &  _LC108);
  _X004  = EXP(!_LC098 & !_LC101 & !_LC108);
  _X005  = EXP( _LC103 &  _LC108);
  _X006  = EXP(!_LC100 &  _LC103);
  _EQ052 =  _X001 &  _X003 &  _X004 &  _X005 &  _X006;
  _X001  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108);
  _X003  = EXP(!_LC098 & !_LC100 &  _LC108);
  _X004  = EXP(!_LC098 & !_LC101 & !_LC108);
  _X005  = EXP( _LC103 &  _LC108);
  _X006  = EXP(!_LC100 &  _LC103);

-- Node name is '|CNT25:2|~2859~1' 
-- Equation name is '_LC029', type is buried 
-- synthesized logic cell 
_LC029   = LCELL( _EQ053 $  _EQ054);
  _EQ053 =  _LC098 &  _LC100 &  _LC101 & !_LC103 & !_LC108 &  _X001 &  _X007 & 
              _X008 &  _X009 &  _X010 &  _X011
         # !_LC098 &  _LC100 & !_LC101 &  _LC108 &  _X001 &  _X007 &  _X008 & 
              _X009 &  _X010 &  _X011
         #  _LC100 &  _LC103 &  _LC108 &  _X001 &  _X007 &  _X008 &  _X009 & 
              _X010 &  _X011
         #  _LC100 & !_LC101 &  _LC103 &  _X001 &  _X007 &  _X008 &  _X009 & 
              _X010 &  _X011;
  _X001  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108);
  _X007  = EXP(!_LC098 & !_LC100 & !_LC103);
  _X008  = EXP(!_LC098 &  _LC101 &  _LC103);
  _X009  = EXP( _LC098 & !_LC100 &  _LC108);
  _X010  = EXP( _LC098 & !_LC100 &  _LC103);
  _X011  = EXP( _LC098 & !_LC100 & !_LC101);
  _EQ054 =  _X001 &  _X007 &  _X008 &  _X009 &  _X010 &  _X011;
  _X001  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108);
  _X007  = EXP(!_LC098 & !_LC100 & !_LC103);
  _X008  = EXP(!_LC098 &  _LC101 &  _LC103);
  _X009  = EXP( _LC098 & !_LC100 &  _LC108);
  _X010  = EXP( _LC098 & !_LC100 &  _LC103);
  _X011  = EXP( _LC098 & !_LC100 & !_LC101);

-- Node name is '|CNT25:2|~2937~1' 
-- Equation name is '_LC030', type is buried 
-- synthesized logic cell 
_LC030   = LCELL( _EQ055 $  _EQ056);
  _EQ055 =  _LC098 & !_LC100 &  _LC101 &  _LC103 &  _X001 &  _X005 &  _X012 & 
              _X013 &  _X014 &  _X015 &  _X016
         #  _LC098 &  _LC100 & !_LC101 & !_LC108 &  _X001 &  _X005 &  _X012 & 
              _X013 &  _X014 &  _X015 &  _X016
         # !_LC098 &  _LC100 &  _LC101 & !_LC108 &  _X001 &  _X005 &  _X012 & 
              _X013 &  _X014 &  _X015 &  _X016
         # !_LC098 &  _LC100 & !_LC101 &  _LC108 &  _X001 &  _X005 &  _X012 & 
              _X013 &  _X014 &  _X015 &  _X016;
  _X001  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108);
  _X005  = EXP( _LC103 &  _LC108);
  _X012  = EXP( _LC098 &  _LC101 &  _LC108);
  _X013  = EXP(!_LC098 & !_LC100 &  _LC101 & !_LC103);
  _X014  = EXP( _LC098 & !_LC100 & !_LC101 & !_LC103);
  _X015  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC108);
  _X016  = EXP(!_LC098 &  _LC100 &  _LC103);
  _EQ056 =  _X001 &  _X005 &  _X012 &  _X013 &  _X014 &  _X015 &  _X016;
  _X001  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC103 & !_LC108);
  _X005  = EXP( _LC103 &  _LC108);
  _X012  = EXP( _LC098 &  _LC101 &  _LC108);
  _X013  = EXP(!_LC098 & !_LC100 &  _LC101 & !_LC103);
  _X014  = EXP( _LC098 & !_LC100 & !_LC101 & !_LC103);
  _X015  = EXP(!_LC098 & !_LC100 & !_LC101 & !_LC108);
  _X016  = EXP(!_LC098 &  _LC100 &  _LC103);

-- Node name is '|FPJ:4|:4' = '|FPJ:4|CNTER' 
-- Equation name is '_LC033', type is buried 
_LC033   = TFFE( VCC, GLOBAL( CLK), !RST,  VCC,  VCC);

-- Node name is '|JTDKZ:5|:23' = '|JTDKZ:5|CLR' 
-- Equation name is '_LC106', type is buried 
_LC106   = DFFE( _EQ057 $  _EQ058,  _LC033,  VCC,  VCC,  VCC);
  _EQ057 =  _LC106 &  _LC112 &  _LC113 &  _LC120 & !_LC121 &  _LC122 & 
             !_LC123 & !_LC125 &  _LC126 &  SM &  _X017 &  _X018 &  _X019 & 
              _X020 &  _X021 &  _X022 &  _X023
         #  _LC106 &  _LC112 &  _LC113 & !_LC120 &  _LC121 & !_LC122 & 
             !_LC123 & !_LC125 & !_LC126 &  SB &  _X017 &  _X018 &  _X019 & 
              _X020 &  _X021 &  _X022 &  _X023;
  _X017  = EXP( _LC106 & !_LC112 & !_LC113 &  _LC120 &  _LC123 & !_LC124 & 
              _LC125 & !_LC126);
  _X018  = EXP( _LC106 & !_LC112 &  _LC113 &  _LC120 &  _LC122 & !_LC123 & 
             !_LC124 &  _LC125 &  _LC126 &  SM);
  _X019  = EXP( _LC106 & !_LC112 &  _LC113 & !_LC120 & !_LC122 & !_LC123 & 
              _LC124 &  _LC125 & !_LC126 &  SB);
  _X020  = EXP( _LC106 &  _LC112 & !_LC113 &  _LC120 & !_LC121 &  _LC123 & 
             !_LC125 & !_LC126 & !_LC127);
  _X021  = EXP(!_LC122 & !_LC123 &  SB & !SM);
  _X022  = EXP( _LC122 & !_LC123 & !SB);
  _X023  = EXP( _LC120 &  _LC125 &  _LC126);
  _EQ058 =  _X017 &  _X018 &  _X019 &  _X020 &  _X021 &  _X022;
  _X017  = EXP( _LC106 & !_LC112 & !_LC113 &  _LC120 &  _LC123 & !_LC124 & 
              _LC125 & !_LC126);
  _X018  = EXP( _LC106 & !_LC112 &  _LC113 &  _LC120 &  _LC122 & !_LC123 & 
             !_LC124 &  _LC125 &  _LC126 &  SM);
  _X019  = EXP( _LC106 & !_LC112 &  _LC113 & !_LC120 & !_LC122 & !_LC123 & 
              _LC124 &  _LC125 & !_LC126 &  SB);
  _X020  = EXP( _LC106 &  _LC112 & !_LC113 &  _LC120 & !_LC121 &  _LC123 & 
             !_LC125 & !_LC126 & !_LC127);
  _X021  = EXP(!_LC122 & !_LC123 &  SB & !SM);
  _X022  = EXP( _LC122 & !_LC123 & !SB);

-- Node name is '|JTDKZ:5|:24' = '|JTDKZ:5|EN' 
-- Equation name is '_LC112', type is buried 
_LC112   = DFFE( _EQ059 $  _EQ060,  _LC033,  VCC,  VCC,  VCC);
  _EQ059 =  _LC106 &  _LC112 &  _LC113 &  _LC116 &  _LC119 & !_LC121 & 
              _LC122 & !_LC123 & !_LC125 &