dianti.rpt

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

         # !_LC1_A15 &  _LC2_A19 & !_LC2_A21;

-- Node name is '|DIAN:20|:1041' 
-- Equation name is '_LC3_A22', type is buried 
_LC3_A22 = LCELL( _EQ027);
  _EQ027 = !_LC3_A20 &  _LC5_A15 & !_LC8_A19
         # !_LC3_A20 &  _LC4_A19 &  _LC5_A15
         #  _LC3_A20 & !_LC4_A19 &  _LC5_A15 &  _LC8_A19;

-- Node name is '|DIAN:20|:2386' 
-- Equation name is '_LC2_A13', type is buried 
_LC2_A13 = LCELL( _EQ028);
  _EQ028 = !_LC1_C21 &  _LC2_A19 & !_LC2_A21 &  _LC7_A13;

-- Node name is '|DIAN:20|~2387~1' 
-- Equation name is '_LC1_A14', type is buried 
-- synthesized logic cell 
_LC1_A14 = LCELL( _EQ029);
  _EQ029 = !_LC5_A15
         #  _LC4_A19
         #  _LC3_A20;

-- Node name is '|DIAN:20|~2387~2' 
-- Equation name is '_LC7_A13', type is buried 
-- synthesized logic cell 
_LC7_A13 = LCELL( _EQ030);
  _EQ030 =  _LC1_A14 & !_LC1_A15;

-- Node name is '|DIAN:20|:2387' 
-- Equation name is '_LC1_A13', type is buried 
_LC1_A13 = LCELL( _EQ031);
  _EQ031 =  _LC1_C21 &  _LC2_A19 & !_LC2_A21 &  _LC7_A13;

-- Node name is '|DIAN:20|~2404~1' 
-- Equation name is '_LC5_A16', type is buried 
-- synthesized logic cell 
_LC5_A16 = LCELL( _EQ032);
  _EQ032 = !_LC3_A20 &  _LC4_A19 & !_LC8_A19
         # !_LC3_A20 &  _LC5_A15 &  _LC8_A19
         #  _LC3_A20 & !_LC4_A19 & !_LC5_A15 &  _LC8_A19
         #  _LC3_A20 & !_LC4_A19 &  _LC5_A15 & !_LC8_A19;

-- Node name is '|DIAN:20|~2465~1' 
-- Equation name is '_LC7_A16', type is buried 
-- synthesized logic cell 
_LC7_A16 = LCELL( _EQ033);
  _EQ033 =  _LC1_A14 &  _LC3_A16
         #  _LC1_A14 &  _LC1_A24
         #  _LC1_A14 &  _LC1_A15;

-- Node name is '|SEG:19|:5' 
-- Equation name is '_LC1_C5', type is buried 
_LC1_C5  = DFFE( _EQ034, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ034 = !_LC1_C2 & !_LC1_C6 &  _LC2_C6
         #  _LC1_C2 & !_LC1_C6 & !_LC2_C6
         #  _LC1_C2 &  _LC1_C5
         #  _LC1_C5 &  _LC2_C6
         #  _LC1_C5 & !_LC1_C6;

-- Node name is '|SEG:19|:7' 
-- Equation name is '_LC5_C1', type is buried 
_LC5_C1  = DFFE( _EQ035, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ035 =  _LC1_C2 &  _LC2_C6 &  _LC5_C1
         #  _LC1_C2 &  _LC1_C6 &  _LC5_C1
         #  _LC1_C6 &  _LC2_C6 &  _LC5_C1
         # !_LC1_C2 & !_LC1_C6 & !_LC2_C6 &  _LC5_C1;

-- Node name is '|SEG:19|:9' 
-- Equation name is '_LC7_C1', type is buried 
_LC7_C1  = DFFE( _EQ036, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ036 = !_LC1_C2 & !_LC1_C6 &  _LC2_C6
         #  _LC2_C6 &  _LC7_C1
         # !_LC1_C2 & !_LC1_C6 &  _LC7_C1
         #  _LC1_C2 &  _LC1_C6 &  _LC7_C1;

-- Node name is '|SEG:19|:11' 
-- Equation name is '_LC1_C1', type is buried 
_LC1_C1  = DFFE( _EQ037, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ037 = !_LC1_C2 & !_LC1_C6 &  _LC2_C6
         #  _LC1_C2 & !_LC1_C6 & !_LC2_C6
         #  _LC1_C1 &  _LC1_C2
         #  _LC1_C1 &  _LC2_C6
         #  _LC1_C1 & !_LC1_C6;

-- Node name is '|SEG:19|:13' 
-- Equation name is '_LC2_C3', type is buried 
_LC2_C3  = DFFE( _EQ038, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ038 = !_LC1_C2 &  _LC1_C6 & !_LC2_C6
         #  _LC1_C2 & !_LC1_C6 & !_LC2_C6
         #  _LC1_C2 &  _LC2_C3
         #  _LC2_C3 & !_LC2_C6
         #  _LC1_C6 &  _LC2_C3;

-- Node name is '|SEG:19|:15' 
-- Equation name is '_LC2_C5', type is buried 
_LC2_C5  = DFFE( _EQ039, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ039 =  _LC2_C5
         # !_LC1_C2 &  _LC1_C6 & !_LC2_C6
         # !_LC1_C2 & !_LC1_C6 &  _LC2_C6
         #  _LC1_C2 & !_LC1_C6 & !_LC2_C6;

-- Node name is '|SEG:19|:17' 
-- Equation name is '_LC2_C12', type is buried 
_LC2_C12 = DFFE( _EQ040, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ040 = !_LC1_C2 & !_LC1_C6 &  _LC2_C6
         #  _LC1_C2 & !_LC1_C6 & !_LC2_C6
         #  _LC1_C2 &  _LC2_C12
         #  _LC2_C6 &  _LC2_C12
         # !_LC1_C6 &  _LC2_C12;

-- Node name is '|VERYHARDD:1|:52' = '|VERYHARDD:1|cengl1' 
-- Equation name is '_LC1_C6', type is buried 
_LC1_C6  = DFFE( _EQ041, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ041 =  _LC3_C4 & !|VERYHARDD:1|:449
         #  _LC1_C6 &  _LC1_C12
         #  _LC1_C6 &  |VERYHARDD:1|:449;

-- Node name is '|VERYHARDD:1|:51' = '|VERYHARDD:1|cengl2' 
-- Equation name is '_LC2_C6', type is buried 
_LC2_C6  = DFFE( _EQ042, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ042 = !_LC1_C10 &  _LC6_C16 & !|VERYHARDD:1|:449
         #  _LC2_C6 &  _LC6_C16
         #  _LC2_C6 &  |VERYHARDD:1|:449;

-- Node name is '|VERYHARDD:1|:50' = '|VERYHARDD:1|cengl3' 
-- Equation name is '_LC1_C2', type is buried 
_LC1_C2  = DFFE( _EQ043, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ043 =  _LC1_C2 &  _LC6_C7
         #  _LC1_C3 &  _LC6_C7
         #  _LC1_C2 &  |VERYHARDD:1|:449;

-- Node name is '|VERYHARDD:1|:99' = '|VERYHARDD:1|cnt20' 
-- Equation name is '_LC6_B2', type is buried 
_LC6_B2  = DFFE( _EQ044, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ044 =  _LC1_B23 & !_LC6_B2
         #  _LC1_C4 &  _LC6_B2;

-- Node name is '|VERYHARDD:1|:98' = '|VERYHARDD:1|cnt21' 
-- Equation name is '_LC5_B2', type is buried 
_LC5_B2  = DFFE( _EQ045, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ045 =  _LC3_B2 &  _LC5_B2
         #  _LC1_B23 & !_LC5_B2 &  _LC6_B2;

-- Node name is '|VERYHARDD:1|:97' = '|VERYHARDD:1|cnt22' 
-- Equation name is '_LC2_B2', type is buried 
_LC2_B2  = DFFE( _EQ046, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ046 = !_LC1_B2 &  _LC1_B23 & !_LC2_B2
         #  _LC2_B2 &  _LC4_B2;

-- Node name is '|VERYHARDD:1|:96' = '|VERYHARDD:1|cnt23' 
-- Equation name is '_LC7_B3', type is buried 
_LC7_B3  = DFFE( _EQ047, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ047 =  _LC2_B3 &  _LC7_B3
         #  _LC1_B23 &  _LC6_B3 & !_LC7_B3;

-- Node name is '|VERYHARDD:1|:95' = '|VERYHARDD:1|cnt24' 
-- Equation name is '_LC8_B3', type is buried 
_LC8_B3  = DFFE( _EQ048, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ048 =  _LC3_B3 &  _LC8_B3
         #  _LC1_B23 &  _LC5_B3 & !_LC8_B3;

-- Node name is '|VERYHARDD:1|:94' = '|VERYHARDD:1|cnt25' 
-- Equation name is '_LC1_B11', type is buried 
_LC1_B11 = DFFE( _EQ049, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ049 =  _LC1_B3 & !_LC1_B11 &  _LC1_B23
         #  _LC1_B11 &  _LC4_B11;

-- Node name is '|VERYHARDD:1|:93' = '|VERYHARDD:1|cnt26' 
-- Equation name is '_LC3_B11', type is buried 
_LC3_B11 = DFFE( _EQ050, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ050 =  _LC3_B11 &  _LC5_B11
         #  _LC1_B23 & !_LC3_B11 &  _LC6_B11;

-- Node name is '|VERYHARDD:1|:92' = '|VERYHARDD:1|cnt27' 
-- Equation name is '_LC7_B6', type is buried 
_LC7_B6  = DFFE( _EQ051, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ051 =  _LC3_B6 &  _LC7_B6
         #  _LC1_B23 &  _LC2_B11 & !_LC7_B6;

-- Node name is '|VERYHARDD:1|:91' = '|VERYHARDD:1|cnt28' 
-- Equation name is '_LC8_B6', type is buried 
_LC8_B6  = DFFE( _EQ052, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ052 =  _LC1_B23 &  _LC5_B6 & !_LC8_B6
         #  _LC4_B6 &  _LC8_B6;

-- Node name is '|VERYHARDD:1|:90' = '|VERYHARDD:1|cnt29' 
-- Equation name is '_LC2_B9', type is buried 
_LC2_B9  = DFFE( _EQ053, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ053 =  _LC2_B9 &  _LC6_B9
         #  _LC1_B6 &  _LC1_B23 & !_LC2_B9;

-- Node name is '|VERYHARDD:1|:89' = '|VERYHARDD:1|cnt210' 
-- Equation name is '_LC8_B1', type is buried 
_LC8_B1  = DFFE( _EQ054, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ054 =  _LC4_B1 &  _LC8_B1
         #  _LC1_B23 &  _LC6_B1 & !_LC8_B1;

-- Node name is '|VERYHARDD:1|:88' = '|VERYHARDD:1|cnt211' 
-- Equation name is '_LC7_B1', type is buried 
_LC7_B1  = DFFE( _EQ055, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ055 =  _LC1_B23 &  _LC5_B1 & !_LC7_B1
         #  _LC3_B1 &  _LC7_B1;

-- Node name is '|VERYHARDD:1|:87' = '|VERYHARDD:1|cnt212' 
-- Equation name is '_LC1_B17', type is buried 
_LC1_B17 = DFFE( _EQ056, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ056 =  _LC1_B17 &  _LC4_B17
         #  _LC1_B1 & !_LC1_B17 &  _LC1_B23;

-- Node name is '|VERYHARDD:1|:86' = '|VERYHARDD:1|cnt213' 
-- Equation name is '_LC3_B9', type is buried 
_LC3_B9  = DFFE( _EQ057, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ057 =  _LC3_B9 &  _LC5_B9
         #  _LC1_B23 & !_LC3_B9 &  _LC4_B9;

-- Node name is '|VERYHARDD:1|:85' = '|VERYHARDD:1|cnt214' 
-- Equation name is '_LC2_B17', type is buried 
_LC2_B17 = DFFE( _EQ058, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ058 =  _LC1_B9 &  _LC1_B23 & !_LC2_B17
         #  _LC2_B17 &  _LC3_B17;

-- Node name is '|VERYHARDD:1|:84' = '|VERYHARDD:1|cnt215' 
-- Equation name is '_LC8_B21', type is buried 
_LC8_B21 = DFFE( _EQ059, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ059 =  _LC1_B23 &  _LC4_B21 & !_LC8_B21
         #  _LC5_B21 &  _LC8_B21;

-- Node name is '|VERYHARDD:1|:83' = '|VERYHARDD:1|cnt216' 
-- Equation name is '_LC7_B21', type is buried 
_LC7_B21 = DFFE( _EQ060, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ060 =  _LC1_B21 &  _LC1_B23 & !_LC7_B21
         #  _LC6_B21 &  _LC7_B21;

-- Node name is '|VERYHARDD:1|:82' = '|VERYHARDD:1|cnt217' 
-- Equation name is '_LC7_B15', type is buried 
_LC7_B15 = DFFE( _EQ061, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ061 =  _LC1_B23 &  _LC3_B21 & !_LC7_B15
         #  _LC5_B15 &  _LC7_B15;

-- Node name is '|VERYHARDD:1|:81' = '|VERYHARDD:1|cnt218' 
-- Equation name is '_LC4_B15', type is buried 
_LC4_B15 = DFFE( _EQ062, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ062 =  _LC4_B15 &  _LC6_B15
         #  _LC1_B23 &  _LC3_B15 & !_LC4_B15;

-- Node name is '|VERYHARDD:1|:80' = '|VERYHARDD:1|cnt219' 
-- Equation name is '_LC2_B15'