dianti1.rpt

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

-- Node name is '|DIANTI:1|:134' = '|DIANTI:1|cc_u3' 
-- Equation name is '_LC2_A6', type is buried 
_LC2_A6  = DFFE( _EQ030, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ030 =  _LC1_A12 &  _LC4_B16 & !_LC6_B16
         #  _LC2_A6 &  _LC6_B16
         #  _LC2_A6 & !_LC4_B16;

-- Node name is '|DIANTI:1|:133' = '|DIANTI:1|cc_u4' 
-- Equation name is '_LC4_A10', type is buried 
_LC4_A10 = DFFE( _EQ031, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ031 =  _LC3_A12 &  _LC4_B16 & !_LC6_B16
         #  _LC4_A10 &  _LC6_B16
         #  _LC4_A10 & !_LC4_B16;

-- Node name is '|DIANTI:1|:132' = '|DIANTI:1|cc_u5' 
-- Equation name is '_LC6_A3', type is buried 
_LC6_A3  = DFFE( _EQ032, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ032 =  CLR &  _LC6_A3
         #  FULL &  _LC6_A3
         #  _LC6_A3 &  _LC6_B16;

-- Node name is '|DIANTI:1|:114' = '|DIANTI:1|c_d22' 
-- Equation name is '_LC7_A18', type is buried 
_LC7_A18 = DFFE( _EQ033, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ033 =  _LC3_A18 &  _LC7_A18
         #  C_D2 & !_LC5_C22;

-- Node name is '|DIANTI:1|:117' = '|DIANTI:1|c_d33' 
-- Equation name is '_LC1_A14', type is buried 
_LC1_A14 = DFFE( _EQ034, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ034 =  _LC1_A14 &  _LC7_C13
         #  _LC1_A14 &  _LC5_A14
         #  _LC8_A14;

-- Node name is '|DIANTI:1|:120' = '|DIANTI:1|c_d44' 
-- Equation name is '_LC8_A4', type is buried 
_LC8_A4  = DFFE( _EQ035, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ035 =  _LC4_A4 &  _LC8_A4
         #  C_D4 &  _LC8_A5;

-- Node name is '|DIANTI:1|:123' = '|DIANTI:1|c_d55' 
-- Equation name is '_LC3_A5', type is buried 
_LC3_A5  = DFFE( _EQ036, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ036 =  _LC2_A5 &  _LC3_A5
         #  C_D5 &  _LC5_A5;

-- Node name is '|DIANTI:1|:125' = '|DIANTI:1|c_d66' 
-- Equation name is '_LC6_A5', type is buried 
_LC6_A5  = DFFE( _EQ037, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ037 =  _LC3_A20 &  _LC6_A5
         #  _LC5_A5 &  _LC7_A5;

-- Node name is '|DIANTI:1|:105' = '|DIANTI:1|c_u11' 
-- Equation name is '_LC6_B14', type is buried 
_LC6_B14 = DFFE( _EQ038, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ038 =  _LC5_B22 &  _LC6_B14
         #  C_U1 & !_LC5_C22;

-- Node name is '|DIANTI:1|:113' = '|DIANTI:1|c_u22' 
-- Equation name is '_LC2_A14', type is buried 
_LC2_A14 = DFFE( _EQ039, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ039 =  _LC3_A14
         # !C_U1 &  C_U2 & !_LC5_C22;

-- Node name is '|DIANTI:1|:116' = '|DIANTI:1|c_u33' 
-- Equation name is '_LC4_A14', type is buried 
_LC4_A14 = DFFE( _EQ040, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ040 =  _LC4_A14 & !_LC7_C13
         #  _LC4_A14 &  _LC5_A14
         #  _LC7_A14;

-- Node name is '|DIANTI:1|:119' = '|DIANTI:1|c_u44' 
-- Equation name is '_LC1_A12', type is buried 
_LC1_A12 = DFFE( _EQ041, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ041 =  _LC1_A12 &  _LC4_A12
         #  C_U4 &  _LC6_A14;

-- Node name is '|DIANTI:1|:122' = '|DIANTI:1|c_u55' 
-- Equation name is '_LC3_A12', type is buried 
_LC3_A12 = DFFE( _EQ042, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ042 =  _LC7_A12
         # !C_U4 &  C_U5 &  _LC6_A14;

-- Node name is '|DIANTI:1|:111' = '|DIANTI:1|dd_cc0' 
-- Equation name is '_LC5_B14', type is buried 
_LC5_B14 = DFFE( _EQ043, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ043 = !_LC5_C22 &  _LC8_B14
         #  _LC4_B14 & !_LC5_C22
         #  _LC5_B14 &  _LC5_C22;

-- Node name is '|DIANTI:1|:110' = '|DIANTI:1|dd_cc1' 
-- Equation name is '_LC7_A16', type is buried 
_LC7_A16 = DFFE( _EQ044, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ044 =  _LC5_A16 & !_LC5_C22
         #  _LC1_A16 & !_LC5_C22
         #  _LC5_C22 &  _LC7_A16;

-- Node name is '|DIANTI:1|:109' = '|DIANTI:1|dd_cc2' 
-- Equation name is '_LC2_A11', type is buried 
_LC2_A11 = DFFE( _EQ045, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ045 = !_LC5_C22 &  _LC7_A11
         #  _LC1_A11 & !_LC5_C22
         #  _LC2_A11 &  _LC5_C22;

-- Node name is '|DIANTI:1|:108' = '|DIANTI:1|dd_cc3' 
-- Equation name is '_LC4_A6', type is buried 
_LC4_A6  = DFFE( _EQ046, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ046 =  _LC5_A6 & !_LC5_C22
         #  _LC1_A6 & !_LC5_C22
         #  _LC4_A6 &  _LC5_C22;

-- Node name is '|DIANTI:1|:107' = '|DIANTI:1|dd_cc4' 
-- Equation name is '_LC6_A10', type is buried 
_LC6_A10 = DFFE( _EQ047, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ047 = !_LC5_C22 &  _LC8_A10
         #  _LC2_A10 & !_LC5_C22
         #  _LC5_C22 &  _LC6_A10;

-- Node name is '|DIANTI:1|:106' = '|DIANTI:1|dd_cc5' 
-- Equation name is '_LC4_A3', type is buried 
_LC4_A3  = DFFE( _EQ048, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ048 = !_LC5_C22 &  _LC8_A3
         #  _LC3_A3 & !_LC5_C22
         #  _LC4_A3 &  _LC5_C22;

-- Node name is '|DIANTI:1|:131' = '|DIANTI:1|dd0' 
-- Equation name is '_LC8_B14', type is buried 
_LC8_B14 = DFFE( _EQ049, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ049 =  _LC4_B16 & !_LC6_B16 &  _LC7_B14
         #  _LC6_B16 &  _LC8_B14
         # !_LC4_B16 &  _LC8_B14;

-- Node name is '|DIANTI:1|:130' = '|DIANTI:1|dd1' 
-- Equation name is '_LC5_A16', type is buried 
_LC5_A16 = DFFE( _EQ050, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ050 =  _LC2_A18 &  _LC4_B16 & !_LC6_B16
         #  _LC5_A16 &  _LC6_B16
         # !_LC4_B16 &  _LC5_A16;

-- Node name is '|DIANTI:1|:129' = '|DIANTI:1|dd2' 
-- Equation name is '_LC7_A11', type is buried 
_LC7_A11 = DFFE( _EQ051, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ051 =  _LC1_A18 &  _LC4_B16 & !_LC6_B16
         #  _LC6_B16 &  _LC7_A11
         # !_LC4_B16 &  _LC7_A11;

-- Node name is '|DIANTI:1|:128' = '|DIANTI:1|dd3' 
-- Equation name is '_LC5_A6', type is buried 
_LC5_A6  = DFFE( _EQ052, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ052 =  _LC4_B16 &  _LC6_A13 & !_LC6_B16
         #  _LC5_A6 &  _LC6_B16
         # !_LC4_B16 &  _LC5_A6;

-- Node name is '|DIANTI:1|:127' = '|DIANTI:1|dd4' 
-- Equation name is '_LC8_A10', type is buried 
_LC8_A10 = DFFE( _EQ053, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ053 =  _LC1_A13 &  _LC4_B16 & !_LC6_B16
         #  _LC6_B16 &  _LC8_A10
         # !_LC4_B16 &  _LC8_A10;

-- Node name is '|DIANTI:1|:126' = '|DIANTI:1|dd5' 
-- Equation name is '_LC8_A3', type is buried 
_LC8_A3  = DFFE( _EQ054, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ054 =  _LC2_A13 &  _LC4_B16 & !_LC6_B16
         #  _LC6_B16 &  _LC8_A3
         # !_LC4_B16 &  _LC8_A3;

-- Node name is '|DIANTI:1|:104' = '|DIANTI:1|d11' 
-- Equation name is '_LC7_B14', type is buried 
_LC7_B14 = DFFE( _EQ055, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ055 =  _LC5_B22 &  _LC7_B14
         #  D1 & !_LC5_C22;

-- Node name is '|DIANTI:1|:112' = '|DIANTI:1|d22' 
-- Equation name is '_LC2_A18', type is buried 
_LC2_A18 = DFFE( _EQ056, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ056 = !G2 &  _LC2_A18
         #  _LC2_A18 & !_LC4_A23
         #  _LC4_A18;

-- Node name is '|DIANTI:1|:115' = '|DIANTI:1|d33' 
-- Equation name is '_LC1_A18', type is buried 
_LC1_A18 = DFFE( _EQ057, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ057 =  _LC1_A18 &  _LC1_B19
         #  D3 &  _LC8_A18;

-- Node name is '|DIANTI:1|:118' = '|DIANTI:1|d44' 
-- Equation name is '_LC6_A13', type is buried 
_LC6_A13 = DFFE( _EQ058, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ058 =  _LC3_A13 &  _LC6_A13
         #  D4 &  _LC4_A13;

-- Node name is '|DIANTI:1|:121' = '|DIANTI:1|d55' 
-- Equation name is '_LC1_A13', type is buried 
_LC1_A13 = DFFE( _EQ059, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ059 =  _LC5_A13
         # !D4 &  D5 &  _LC4_A13;

-- Node name is '|DIANTI:1|:124' = '|DIANTI:1|d66' 
-- Equation name is '_LC2_A13', type is buried 
_LC2_A13 = DFFE( _EQ060, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ060 =  _LC2_A13 &  _LC3_A20
         #  _LC7_A13;

-- Node name is '|DIANTI:1|:103' = '|DIANTI:1|en_dw' 
-- Equation name is '_LC2_A15', type is buried 
_LC2_A15 = DFFE( _EQ061, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ061 =  _LC4_A23 &  _LC5_A15
         #  _LC2_A15 &  _LC5_A20;

-- Node name is '|DIANTI:1|:101' = '|DIANTI:1|en_up' 
-- Equation name is '_LC1_A15', type is buried 
_LC1_A15 = DFFE( _EQ062, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ062 =  _LC8_A15 & !_LC8_C18
         #  _LC1_A15 &  _LC5_A20;

-- Node name is '|DIANTI:1|:100' = '|DIANTI:1|opendoor' 
-- Equation name is '_LC1_A17', type is buried 
_LC1_A17 = DFFE( _EQ063, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ063 = !CLR & !FULL &  _LC8_A17
         #  FULL &  _LC1_A17
         #  CLR &  _LC1_A17;

-- Node name is '|DIANTI:1|:99' = '|DIANTI:1|q' 
-- Equation name is '_LC6_B16', type is buried 
_LC6_B16 = DFFE( _EQ064, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ064 =  CLR &  _LC6_B16
         # !CLR & !FULL & !_LC6_B16
         #  FULL &  _LC6_B16;

-- Node name is '|DIANTI:1|:94' = '|DIANTI:1|q10' 
-- Equation name is '_LC4_C14', type is buried 
_LC4_C14 = DFFE( _EQ065, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ065 =  _LC2_C14 &  _LC4_B16 &  _LC4_C14
         #  _LC4_B16 &  _LC8_C14;

-- Node name is '|DIANTI:1|:93' = '|DIANTI:1|q11' 
-- Equation name is '_LC5_C14', type is buried 
_LC5_C14 = DFFE( _EQ066, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ066 =  _LC2_C14 &  _LC4_B16 &  _LC5_C14
         #  _LC4_B16 &  _LC6_C14;

-- Node name is '|DIANTI:1|:92' = '|DIANTI:1|q12' 
-- Equation name is '_LC8_C15', type is buried 
_LC8_C15 = DFFE( _EQ067, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ067 =  _LC4_B16 &  _LC6_B16 &  _LC7_C15
         #  _LC4_B16 & !_LC6_B16 &  _LC8_C15;

-- Node name is '|DIANTI:1|:98' = '|DIANTI:1|q20' 
-- Equation name is '_LC8_B16', type is buried 
_LC8_B16 = DFFE( _EQ068, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ068 = !