dianti1.rpt

基于VHDL程序设计电梯的状态机.共六层的电梯有16个输入.其中包括5个上升,5个下降和六个电梯内的控制部分.

-- Node name is 'CLR~6' 
-- Equation name is 'CLR~6', location is LC7_A20, type is buried.
-- synthesized logic cell 
_LC7_A20 = LCELL( _EQ010);
  _EQ010 = !G2 & !G3 & !G5 & !G6;

-- Node name is 'CLR~7' 
-- Equation name is 'CLR~7', location is LC7_B19, type is buried.
-- synthesized logic cell 
_LC7_B19 = LCELL( _EQ011);
  _EQ011 = !G1 &  G2 & !_LC4_B23 & !_LC7_C18;

-- Node name is 'CLR~8' 
-- Equation name is 'CLR~8', location is LC8_B19, type is buried.
-- synthesized logic cell 
_LC8_B19 = LCELL( _EQ012);
  _EQ012 = !G1 & !G3 & !_LC4_B23 &  _LC8_A20;

-- Node name is 'CLR~9' 
-- Equation name is 'CLR~9', location is LC4_B22, type is buried.
-- synthesized logic cell 
_LC4_B22 = LCELL( _EQ013);
  _EQ013 = !G2 & !G3 & !G4;

-- Node name is 'CLR~10' 
-- Equation name is 'CLR~10', location is LC8_B22, type is buried.
-- synthesized logic cell 
_LC8_B22 = LCELL( _EQ014);
  _EQ014 =  G6 & !_LC7_C18
         #  G5 & !_LC7_C18;

-- Node name is 'C_U1~1' 
-- Equation name is 'C_U1~1', location is LC7_A14, type is buried.
-- synthesized logic cell 
_LC7_A14 = LCELL( _EQ015);
  _EQ015 = !C_U1 & !C_U2 &  C_U3 & !_LC5_C22;

-- Node name is 'C_U1~2' 
-- Equation name is 'C_U1~2', location is LC6_A14, type is buried.
-- synthesized logic cell 
_LC6_A14 = LCELL( _EQ016);
  _EQ016 = !C_U1 & !C_U2 & !C_U3 & !_LC5_C22;

-- Node name is 'DOOR0' 
-- Equation name is 'DOOR0', type is output 
DOOR0    =  _LC6_C16;

-- Node name is 'DOOR1' 
-- Equation name is 'DOOR1', type is output 
DOOR1    =  _LC1_C16;

-- Node name is 'down' 
-- Equation name is 'down', type is output 
down     =  _LC2_C18;

-- Node name is 'D1~1' 
-- Equation name is 'D1~1', location is LC4_A18, type is buried.
-- synthesized logic cell 
_LC4_A18 = LCELL( _EQ017);
  _EQ017 = !D1 &  D2 & !_LC5_C22;

-- Node name is 'D1~2' 
-- Equation name is 'D1~2', location is LC8_A18, type is buried.
-- synthesized logic cell 
_LC8_A18 = LCELL( _EQ018);
  _EQ018 = !D1 & !D2 & !_LC5_C22;

-- Node name is 'D1~3' 
-- Equation name is 'D1~3', location is LC4_A13, type is buried.
-- synthesized logic cell 
_LC4_A13 = LCELL( _EQ019);
  _EQ019 = !D1 & !D2 & !D3 & !_LC5_C22;

-- Node name is 'D1~4' 
-- Equation name is 'D1~4', location is LC7_A13, type is buried.
-- synthesized logic cell 
_LC7_A13 = LCELL( _EQ020);
  _EQ020 = !D4 & !D5 &  D6 &  _LC4_A13;

-- Node name is 'LED_C_D0' 
-- Equation name is 'LED_C_D0', type is output 
LED_C_D0 =  _LC2_B6;

-- Node name is 'LED_C_D1' 
-- Equation name is 'LED_C_D1', type is output 
LED_C_D1 =  _LC6_A16;

-- Node name is 'LED_C_D2' 
-- Equation name is 'LED_C_D2', type is output 
LED_C_D2 =  _LC5_A11;

-- Node name is 'LED_C_D3' 
-- Equation name is 'LED_C_D3', type is output 
LED_C_D3 =  _LC8_A6;

-- Node name is 'LED_C_D4' 
-- Equation name is 'LED_C_D4', type is output 
LED_C_D4 =  _LC1_A10;

-- Node name is 'LED_C_D5' 
-- Equation name is 'LED_C_D5', type is output 
LED_C_D5 =  _LC1_A3;

-- Node name is 'LED_C_U0' 
-- Equation name is 'LED_C_U0', type is output 
LED_C_U0 =  _LC8_B9;

-- Node name is 'LED_C_U1' 
-- Equation name is 'LED_C_U1', type is output 
LED_C_U1 =  _LC8_A16;

-- Node name is 'LED_C_U2' 
-- Equation name is 'LED_C_U2', type is output 
LED_C_U2 =  _LC8_A11;

-- Node name is 'LED_C_U3' 
-- Equation name is 'LED_C_U3', type is output 
LED_C_U3 =  _LC6_A6;

-- Node name is 'LED_C_U4' 
-- Equation name is 'LED_C_U4', type is output 
LED_C_U4 =  _LC5_A10;

-- Node name is 'LED_C_U5' 
-- Equation name is 'LED_C_U5', type is output 
LED_C_U5 =  _LC5_A3;

-- Node name is 'LED_D0' 
-- Equation name is 'LED_D0', type is output 
LED_D0   =  _LC1_B14;

-- Node name is 'LED_D1' 
-- Equation name is 'LED_D1', type is output 
LED_D1   =  _LC4_A16;

-- Node name is 'LED_D2' 
-- Equation name is 'LED_D2', type is output 
LED_D2   =  _LC3_A11;

-- Node name is 'LED_D3' 
-- Equation name is 'LED_D3', type is output 
LED_D3   =  _LC7_A6;

-- Node name is 'LED_D4' 
-- Equation name is 'LED_D4', type is output 
LED_D4   =  _LC3_A10;

-- Node name is 'LED_D5' 
-- Equation name is 'LED_D5', type is output 
LED_D5   =  _LC2_A3;

-- Node name is 'LED0' 
-- Equation name is 'LED0', type is output 
LED0     =  _LC2_B19;

-- Node name is 'LED1' 
-- Equation name is 'LED1', type is output 
LED1     =  _LC6_B19;

-- Node name is 'LED2' 
-- Equation name is 'LED2', type is output 
LED2     =  _LC7_B22;

-- Node name is 'LED3' 
-- Equation name is 'LED3', type is output 
LED3     =  _LC2_A20;

-- Node name is 'LED4' 
-- Equation name is 'LED4', type is output 
LED4     =  _LC4_B19;

-- Node name is 'LED5' 
-- Equation name is 'LED5', type is output 
LED5     =  _LC1_B22;

-- Node name is 'LED6' 
-- Equation name is 'LED6', type is output 
LED6     =  _LC1_A20;

-- Node name is 'UD' 
-- Equation name is 'UD', type is output 
UD       =  _LC5_C21;

-- Node name is 'up' 
-- Equation name is 'up', type is output 
up       =  _LC3_C18;

-- Node name is 'WAHAHA' 
-- Equation name is 'WAHAHA', type is output 
WAHAHA   =  _LC5_B13;

-- Node name is '|DIANTI:1|:143' = '|DIANTI:1|cc_d0' 
-- Equation name is '_LC1_B16', type is buried 
_LC1_B16 = DFFE( _EQ021, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ021 =  CLR &  _LC1_B16
         #  FULL &  _LC1_B16
         #  _LC1_B16 &  _LC6_B16;

-- Node name is '|DIANTI:1|:142' = '|DIANTI:1|cc_d1' 
-- Equation name is '_LC3_A16', type is buried 
_LC3_A16 = DFFE( _EQ022, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ022 =  _LC4_B16 & !_LC6_B16 &  _LC7_A18
         #  _LC3_A16 &  _LC6_B16
         #  _LC3_A16 & !_LC4_B16;

-- Node name is '|DIANTI:1|:141' = '|DIANTI:1|cc_d2' 
-- Equation name is '_LC6_A11', type is buried 
_LC6_A11 = DFFE( _EQ023, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ023 =  _LC1_A14 &  _LC4_B16 & !_LC6_B16
         #  _LC6_A11 &  _LC6_B16
         # !_LC4_B16 &  _LC6_A11;

-- Node name is '|DIANTI:1|:140' = '|DIANTI:1|cc_d3' 
-- Equation name is '_LC3_A6', type is buried 
_LC3_A6  = DFFE( _EQ024, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ024 =  _LC4_B16 & !_LC6_B16 &  _LC8_A4
         #  _LC3_A6 &  _LC6_B16
         #  _LC3_A6 & !_LC4_B16;

-- Node name is '|DIANTI:1|:139' = '|DIANTI:1|cc_d4' 
-- Equation name is '_LC7_A10', type is buried 
_LC7_A10 = DFFE( _EQ025, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ025 =  _LC3_A5 &  _LC4_B16 & !_LC6_B16
         #  _LC6_B16 &  _LC7_A10
         # !_LC4_B16 &  _LC7_A10;

-- Node name is '|DIANTI:1|:138' = '|DIANTI:1|cc_d5' 
-- Equation name is '_LC7_A3', type is buried 
_LC7_A3  = DFFE( _EQ026, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ026 =  _LC4_B16 &  _LC6_A5 & !_LC6_B16
         #  _LC6_B16 &  _LC7_A3
         # !_LC4_B16 &  _LC7_A3;

-- Node name is '|DIANTI:1|:137' = '|DIANTI:1|cc_u0' 
-- Equation name is '_LC3_B14', type is buried 
_LC3_B14 = DFFE( _EQ027, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ027 =  _LC4_B16 &  _LC6_B14 & !_LC6_B16
         #  _LC3_B14 &  _LC6_B16
         #  _LC3_B14 & !_LC4_B16;

-- Node name is '|DIANTI:1|:136' = '|DIANTI:1|cc_u1' 
-- Equation name is '_LC2_A16', type is buried 
_LC2_A16 = DFFE( _EQ028, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ028 =  _LC2_A14 &  _LC4_B16 & !_LC6_B16
         #  _LC2_A16 &  _LC6_B16
         #  _LC2_A16 & !_LC4_B16;

-- Node name is '|DIANTI:1|:135' = '|DIANTI:1|cc_u2' 
-- Equation name is '_LC4_A11', type is buried 
_LC4_A11 = DFFE( _EQ029, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ029 =  _LC4_A14 &  _LC4_B16 & !_LC6_B16
         #  _LC4_A11 &  _LC6_B16
         #  _LC4_A11 & !_LC4_B16;