veryhardd.rpt

这是一个用VHDL语言编写的电梯控制程序

-- Equation name is 'cnt27', location is LC2_C14, type is buried.
cnt27    = DFFE( _EQ021, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ021 =  cnt27 &  _LC7_C14
         # !cnt27 &  _LC5_C14 &  _LC6_C17;

-- Node name is ':91' = 'cnt28' 
-- Equation name is 'cnt28', location is LC2_C13, type is buried.
cnt28    = DFFE( _EQ022, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ022 = !cnt28 &  _LC1_C14 &  _LC6_C17
         #  cnt28 &  _LC5_C13;

-- Node name is ':90' = 'cnt29' 
-- Equation name is 'cnt29', location is LC8_C19, type is buried.
cnt29    = DFFE( _EQ023, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ023 =  cnt29 &  _LC7_C19
         # !cnt29 &  _LC3_C19 &  _LC6_C17;

-- Node name is ':39' = 'cnt110' 
-- Equation name is 'cnt110', location is LC8_B11, type is buried.
cnt110   = DFFE( _EQ024, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ024 =  cnt110 &  _LC1_B1 & !_LC1_B11
         # !cnt110 &  _LC1_B1 &  _LC1_B11;

-- Node name is ':38' = 'cnt111' 
-- Equation name is 'cnt111', location is LC6_B11, type is buried.
cnt111   = DFFE( _EQ025, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ025 = !cnt110 &  cnt111 &  _LC1_B1
         #  cnt111 &  _LC1_B1 & !_LC1_B11
         #  cnt110 & !cnt111 &  _LC1_B1 &  _LC1_B11;

-- Node name is ':37' = 'cnt112' 
-- Equation name is 'cnt112', location is LC1_B10, type is buried.
cnt112   = DFFE( _EQ026, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ026 = !cnt111 &  cnt112 &  _LC1_B1
         #  cnt112 &  _LC1_B1 & !_LC5_B11
         #  cnt111 & !cnt112 &  _LC1_B1 &  _LC5_B11;

-- Node name is ':36' = 'cnt113' 
-- Equation name is 'cnt113', location is LC5_B10, type is buried.
cnt113   = DFFE( _EQ027, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ027 =  cnt113 &  _LC1_B1 & !_LC2_B11
         # !cnt113 &  _LC1_B1 &  _LC2_B11;

-- Node name is ':35' = 'cnt114' 
-- Equation name is 'cnt114', location is LC6_B10, type is buried.
cnt114   = DFFE( _EQ028, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ028 =  cnt114 &  _LC1_B1 & !_LC4_B10
         # !cnt114 &  _LC1_B1 &  _LC4_B10;

-- Node name is ':34' = 'cnt115' 
-- Equation name is 'cnt115', location is LC7_B10, type is buried.
cnt115   = DFFE( _EQ029, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ029 = !cnt114 &  cnt115 &  _LC1_B1
         #  cnt115 &  _LC1_B1 & !_LC4_B10
         #  cnt114 & !cnt115 &  _LC1_B1 &  _LC4_B10;

-- Node name is ':33' = 'cnt116' 
-- Equation name is 'cnt116', location is LC4_B19, type is buried.
cnt116   = DFFE( _EQ030, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ030 =  cnt116 &  _LC1_B1 & !_LC2_B10
         # !cnt116 &  _LC1_B1 &  _LC2_B10;

-- Node name is ':32' = 'cnt117' 
-- Equation name is 'cnt117', location is LC5_B19, type is buried.
cnt117   = DFFE( _EQ031, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ031 = !cnt116 &  cnt117 &  _LC1_B1
         #  cnt117 &  _LC1_B1 & !_LC2_B10
         #  cnt116 & !cnt117 &  _LC1_B1 &  _LC2_B10;

-- Node name is ':31' = 'cnt118' 
-- Equation name is 'cnt118', location is LC6_B19, type is buried.
cnt118   = DFFE( _EQ032, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ032 =  cnt118 &  _LC1_B1 & !_LC3_B19
         # !cnt118 &  _LC1_B1 &  _LC3_B19;

-- Node name is ':30' = 'cnt119' 
-- Equation name is 'cnt119', location is LC7_B19, type is buried.
cnt119   = DFFE( _EQ033, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ033 = !cnt118 &  cnt119 &  _LC1_B1
         #  cnt119 &  _LC1_B1 & !_LC3_B19
         #  cnt118 & !cnt119 &  _LC1_B1 &  _LC3_B19;

-- Node name is ':29' = 'cnt120' 
-- Equation name is 'cnt120', location is LC3_B23, type is buried.
cnt120   = DFFE( _EQ034, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ034 =  cnt120 &  _LC1_B1 & !_LC2_B19
         # !cnt120 &  _LC1_B1 &  _LC2_B19;

-- Node name is ':28' = 'cnt121' 
-- Equation name is 'cnt121', location is LC4_B23, type is buried.
cnt121   = DFFE( _EQ035, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ035 =  cnt121 &  _LC1_B1 & !_LC1_B19
         # !cnt121 &  _LC1_B1 &  _LC1_B19;

-- Node name is ':27' = 'cnt122' 
-- Equation name is 'cnt122', location is LC5_B23, type is buried.
cnt122   = DFFE( _EQ036, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ036 = !cnt121 &  cnt122 &  _LC1_B1
         #  cnt122 &  _LC1_B1 & !_LC1_B19
         #  cnt121 & !cnt122 &  _LC1_B1 &  _LC1_B19;

-- Node name is ':26' = 'cnt123' 
-- Equation name is 'cnt123', location is LC7_B23, type is buried.
cnt123   = DFFE( _EQ037, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ037 =  cnt123 &  _LC1_B1 & !_LC6_B23
         # !cnt122 &  cnt123 &  _LC1_B1
         #  cnt122 & !cnt123 &  _LC1_B1 &  _LC6_B23;

-- Node name is ':25' = 'cnt124' 
-- Equation name is 'cnt124', location is LC3_B12, type is buried.
cnt124   = DFFE( _EQ038, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ038 =  cnt124 &  _LC1_B1 & !_LC1_B23
         # !cnt124 &  _LC1_B1 &  _LC1_B23;

-- Node name is ':24' = 'cnt125' 
-- Equation name is 'cnt125', location is LC4_B12, type is buried.
cnt125   = DFFE( _EQ039, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ039 = !cnt124 &  cnt125 &  _LC1_B1
         #  cnt125 &  _LC1_B1 & !_LC1_B23
         #  cnt124 & !cnt125 &  _LC1_B1 &  _LC1_B23;

-- Node name is ':23' = 'cnt126' 
-- Equation name is 'cnt126', location is LC6_B12, type is buried.
cnt126   = DFFE( _EQ040, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ040 =  cnt126 &  _LC1_B1 & !_LC5_B12
         # !cnt126 &  _LC1_B1 &  _LC5_B12;

-- Node name is ':22' = 'cnt127' 
-- Equation name is 'cnt127', location is LC7_B12, type is buried.
cnt127   = DFFE( _EQ041, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ041 = !cnt126 &  cnt127 &  _LC1_B1
         #  cnt127 &  _LC1_B1 & !_LC5_B12
         #  cnt126 & !cnt127 &  _LC1_B1 &  _LC5_B12;

-- Node name is ':21' = 'cnt128' 
-- Equation name is 'cnt128', location is LC4_B1, type is buried.
cnt128   = DFFE( _EQ042, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ042 =  cnt128 &  _LC1_B1 & !_LC1_B12
         # !cnt128 &  _LC1_B1 &  _LC1_B12;

-- Node name is ':20' = 'cnt129' 
-- Equation name is 'cnt129', location is LC5_B1, type is buried.
cnt129   = DFFE( _EQ043, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ043 = !cnt128 &  cnt129 &  _LC1_B1
         #  cnt129 &  _LC1_B1 & !_LC1_B12
         #  cnt128 & !cnt129 &  _LC1_B1 &  _LC1_B12;

-- Node name is ':19' = 'cnt130' 
-- Equation name is 'cnt130', location is LC7_B1, type is buried.
cnt130   = DFFE( _EQ044, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ044 =  cnt130 &  _LC1_B1 & !_LC6_B1
         # !cnt130 &  _LC1_B1 &  _LC6_B1;

-- Node name is ':18' = 'cnt131' 
-- Equation name is 'cnt131', location is LC8_B1, type is buried.
cnt131   = DFFE( _EQ045, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ045 = !cnt130 &  cnt131 &  _LC1_B1
         #  cnt131 &  _LC1_B1 & !_LC6_B1
         #  cnt130 & !cnt131 &  _LC1_B1 &  _LC6_B1;

-- Node name is ':89' = 'cnt210' 
-- Equation name is 'cnt210', location is LC2_C19, type is buried.
cnt210   = DFFE( _EQ046, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ046 =  cnt210 &  _LC6_C19
         # !cnt210 &  _LC5_C19 &  _LC6_C17;

-- Node name is ':88' = 'cnt211' 
-- Equation name is 'cnt211', location is LC2_C10, type is buried.
cnt211   = DFFE( _EQ047, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ047 = !cnt211 &  _LC1_C19 &  _LC6_C17
         #  cnt211 &  _LC5_C10;

-- Node name is ':87' = 'cnt212' 
-- Equation name is 'cnt212', location is LC6_C9, type is buried.
cnt212   = DFFE( _EQ048, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ048 =  cnt212 &  _LC5_C9
         # !cnt212 &  _LC3_C9 &  _LC6_C17;

-- Node name is ':86' = 'cnt213' 
-- Equation name is 'cnt213', location is LC8_C9, type is buried.
cnt213   = DFFE( _EQ049, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ049 =  cnt213 &  _LC7_C9
         # !cnt213 &  _LC4_C9 &  _LC6_C17;

-- Node name is ':85' = 'cnt214' 
-- Equation name is 'cnt214', location is LC2_C8, type is buried.
cnt214   = DFFE( _EQ050, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ050 = !cnt214 &  _LC1_C9 &  _LC6_C17
         #  cnt214 &  _LC4_C8;

-- Node name is ':84' = 'cnt215' 
-- Equation name is 'cnt215', location is LC3_C8, type is buried.
cnt215   = DFFE( _EQ051, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ051 = !cnt215 &  _LC5_C8 &  _LC6_C17
         #  cnt215 &  _LC6_C8;

-- Node name is ':83' = 'cnt216' 
-- Equation name is 'cnt216', location is LC1_C8, type is buried.
cnt216   = DFFE( _EQ052, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ052 = !cnt216 &  _LC6_C17 &  _LC7_C8
         #  cnt216 &  _LC8_C8;

-- Node name is ':82' = 'cnt217' 
-- Equation name is 'cnt217', location is LC3_C10, type is buried.
cnt217   = DFFE( _EQ053, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ053 = !cnt217 &  _LC4_C3 &  _LC6_C17
         #  cnt217 &  _LC1_C10;

-- Node name is ':81' = 'cnt218' 
-- Equation name is 'cnt218', location is LC4_C10, type is buried.
cnt218   = DFFE( _EQ054, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ054 =  cnt218 &  _LC7_C10
         # !cnt218 &  _LC6_C10 &  _LC6_C17;

-- Node name is ':80' = 'cnt219' 
-- Equation name is 'cnt219', location is LC1_C12, type is buried.
cnt219   = DFFE( _EQ055, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ055 = !cnt219 &  _LC6_C17 &  _LC8_C10
         #  cnt219 &  _LC2_C12;

-- Node name is ':79' = 'cnt220' 
-- Equation name is 'cnt220', location is LC6_C11, type is buried.
cnt220   = DFFE( _EQ056, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ056 = !cnt220 &  _LC3_C11 &  _LC6_C17
         #  cnt220 &  _LC5_C11;

-- Node name is ':78' = 'cnt221' 
-- Equation name is 'cnt221', location is LC8_C11, type is buried.
cnt221   = DFFE( _EQ057, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ057 =  cnt221 &  _LC7_C11
         # !cnt221 &  _LC4_C11 &  _LC6_C17;

-- Node name is ':77' = 'cnt222' 
-- Equation name is 'cnt222', location is LC4_C13, type is buried.
cnt222   = DFFE( _EQ058, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ058 = !cnt222 &  _LC1_C11 &  _LC6_C17
         #  cnt222 &  _LC7_C13;

-- Node name is ':76' = 'cnt223' 
-- Equation name is 'cnt223', location is LC6_C24, type is buried.
cnt223   = DFFE( _EQ059, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ059 = !cnt223 &  _LC1_C24 &  _LC6_C17
         #  cnt223 &  _LC5_C24;

-- Node name is ':75' = 'cnt224' 
-- Equation name is 'cnt224', location is LC8_C24, type is buried.
cnt224   = DFFE( _EQ060, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ060 =  cnt224 &  _LC7_C24
         # !cnt224 &  _LC4_C24 &  _LC6_C17;

-- Node name is ':74' = 'cnt225' 
-- Equation name is 'cnt225', location is LC3_C13, type is buried.