dianti.rpt

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

-- Equation name is 'c_d44', location is LC8_A8, type is buried.
c_d44    = DFFE( _EQ019, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ019 =  c_d44 &  _LC2_A8
         #  c_d4 &  _LC2_A19;

-- Node name is ':123' = 'c_d55' 
-- Equation name is 'c_d55', location is LC1_A8, type is buried.
c_d55    = DFFE( _EQ020, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ020 =  c_d55 &  _LC5_A8
         #  c_d5 &  _LC6_A8;

-- Node name is ':125' = 'c_d66' 
-- Equation name is 'c_d66', location is LC5_A12, type is buried.
c_d66    = DFFE( _EQ021, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ021 =  c_d66 &  _LC5_A4
         #  c_d66 &  _LC3_A12
         #  _LC4_A8;

-- Node name is 'clr~1' 
-- Equation name is 'clr~1', location is LC2_C20, type is buried.
-- synthesized logic cell 
!_LC2_C20 = _LC2_C20~NOT;
_LC2_C20~NOT = LCELL( _EQ022);
  _EQ022 =  _LC1_B21
         #  _LC2_B20;

-- Node name is 'clr~2' 
-- Equation name is 'clr~2', location is LC1_B22, type is buried.
-- synthesized logic cell 
_LC1_B22 = LCELL( _EQ023);
  _EQ023 =  _LC2_B19 & !quick;

-- Node name is 'clr~3' 
-- Equation name is 'clr~3', location is LC2_B13, type is buried.
-- synthesized logic cell 
_LC2_B13 = LCELL( _EQ024);
  _EQ024 = !deng &  en_up &  _LC1_B22;

-- Node name is 'clr~4' 
-- Equation name is 'clr~4', location is LC6_B13, type is buried.
-- synthesized logic cell 
_LC6_B13 = LCELL( _EQ025);
  _EQ025 =  _LC1_B22 & !_LC2_B20 &  _LC3_B22;

-- Node name is 'clr~5' 
-- Equation name is 'clr~5', location is LC7_B13, type is buried.
-- synthesized logic cell 
_LC7_B13 = LCELL( _EQ026);
  _EQ026 = !deng &  en_up &  _LC1_B22 & !_LC2_B20;

-- Node name is 'clr~6' 
-- Equation name is 'clr~6', location is LC4_C18, type is buried.
-- synthesized logic cell 
_LC4_C18 = LCELL( _EQ027);
  _EQ027 = !g2 & !g3 &  _LC3_C18;

-- Node name is 'clr~7' 
-- Equation name is 'clr~7', location is LC5_C20, type is buried.
-- synthesized logic cell 
_LC5_C20 = LCELL( _EQ028);
  _EQ028 = !g2 & !g3 & !g5 & !g6;

-- Node name is 'clr~8' 
-- Equation name is 'clr~8', location is LC7_C18, type is buried.
-- synthesized logic cell 
_LC7_C18 = LCELL( _EQ029);
  _EQ029 = !g1 &  g2 & !_LC1_B21 & !_LC2_B20;

-- Node name is 'clr~9' 
-- Equation name is 'clr~9', location is LC8_C18, type is buried.
-- synthesized logic cell 
_LC8_C18 = LCELL( _EQ030);
  _EQ030 = !g1 & !g3 & !_LC1_B21 &  _LC3_C18;

-- Node name is 'clr~10' 
-- Equation name is 'clr~10', location is LC6_C20, type is buried.
-- synthesized logic cell 
_LC6_C20 = LCELL( _EQ031);
  _EQ031 = !g2 & !g3 & !g4;

-- Node name is 'clr~11' 
-- Equation name is 'clr~11', location is LC8_C20, type is buried.
-- synthesized logic cell 
_LC8_C20 = LCELL( _EQ032);
  _EQ032 =  g6 & !_LC2_B20
         #  g5 & !_LC2_B20;

-- Node name is 'c_u1~1' 
-- Equation name is 'c_u1~1', location is LC3_A4, type is buried.
-- synthesized logic cell 
_LC3_A4  = LCELL( _EQ033);
  _EQ033 = !c_u1 & !c_u2 &  c_u3 & !_LC8_A3;

-- Node name is 'c_u1~2' 
-- Equation name is 'c_u1~2', location is LC6_A4, type is buried.
-- synthesized logic cell 
_LC6_A4  = LCELL( _EQ034);
  _EQ034 = !c_u1 & !c_u2 & !c_u3 & !_LC8_A3;

-- Node name is ':105' = 'c_u11' 
-- Equation name is 'c_u11', location is LC4_A20, type is buried.
c_u11    = DFFE( _EQ035, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ035 =  c_u11 &  _LC1_A20
         #  c_u1 & !_LC8_A3;

-- Node name is ':113' = 'c_u22' 
-- Equation name is 'c_u22', location is LC2_A22, type is buried.
c_u22    = DFFE( _EQ036, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ036 =  _LC3_A22
         # !c_u1 &  c_u2 & !_LC8_A3;

-- Node name is ':116' = 'c_u33' 
-- Equation name is 'c_u33', location is LC2_A4, type is buried.
c_u33    = DFFE( _EQ037, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ037 =  c_u33 & !updown
         #  c_u33 &  _LC1_A19
         #  _LC3_A4;

-- Node name is ':119' = 'c_u44' 
-- Equation name is 'c_u44', location is LC1_A4, type is buried.
c_u44    = DFFE( _EQ038, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ038 =  c_u44 &  _LC4_A4
         #  c_u4 &  _LC6_A4;

-- Node name is ':122' = 'c_u55' 
-- Equation name is 'c_u55', location is LC8_A4, type is buried.
c_u55    = DFFE( _EQ039, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ039 =  _LC7_A4
         # !c_u4 &  c_u5 &  _LC6_A4;

-- Node name is ':111' = 'dd_cc0' 
-- Equation name is 'dd_cc0', location is LC1_A21, type is buried.
dd_cc0   = DFFE( _EQ040, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ040 =  cc_u0 & !_LC8_A3
         #  _LC3_A20 & !_LC8_A3
         #  dd_cc0 &  _LC8_A3;

-- Node name is ':110' = 'dd_cc1' 
-- Equation name is 'dd_cc1', location is LC1_A13, type is buried.
dd_cc1   = DFFE( _EQ041, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ041 =  cc_u1 & !_LC8_A3
         #  _LC5_A13 & !_LC8_A3
         #  dd_cc1 &  _LC8_A3;

-- Node name is ':109' = 'dd_cc2' 
-- Equation name is 'dd_cc2', location is LC2_A17, type is buried.
dd_cc2   = DFFE( _EQ042, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ042 =  cc_u2 & !_LC8_A3
         #  _LC1_A17 & !_LC8_A3
         #  dd_cc2 &  _LC8_A3;

-- Node name is ':108' = 'dd_cc3' 
-- Equation name is 'dd_cc3', location is LC5_A15, type is buried.
dd_cc3   = DFFE( _EQ043, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ043 =  cc_u3 & !_LC8_A3
         #  _LC1_A15 & !_LC8_A3
         #  dd_cc3 &  _LC8_A3;

-- Node name is ':107' = 'dd_cc4' 
-- Equation name is 'dd_cc4', location is LC2_A5, type is buried.
dd_cc4   = DFFE( _EQ044, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ044 =  cc_u4 & !_LC8_A3
         #  _LC1_A5 & !_LC8_A3
         #  dd_cc4 &  _LC8_A3;

-- Node name is ':106' = 'dd_cc5' 
-- Equation name is 'dd_cc5', location is LC2_A2, type is buried.
dd_cc5   = DFFE( _EQ045, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ045 =  cc_u5 & !_LC8_A3
         #  _LC6_A3 & !_LC8_A3
         #  dd_cc5 &  _LC8_A3;

-- Node name is ':131' = 'dd0' 
-- Equation name is 'dd0', location is LC5_A20, type is buried.
dd0      = DFFE( _EQ046, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ046 =  d11 &  _LC4_B17 & !q
         #  dd0 &  q
         #  dd0 & !_LC4_B17;

-- Node name is ':130' = 'dd1' 
-- Equation name is 'dd1', location is LC6_A13, type is buried.
dd1      = DFFE( _EQ047, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ047 =  d22 &  _LC4_B17 & !q
         #  dd1 &  q
         #  dd1 & !_LC4_B17;

-- Node name is ':129' = 'dd2' 
-- Equation name is 'dd2', location is LC5_A17, type is buried.
dd2      = DFFE( _EQ048, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ048 =  d33 &  _LC4_B17 & !q
         #  dd2 &  q
         #  dd2 & !_LC4_B17;

-- Node name is ':128' = 'dd3' 
-- Equation name is 'dd3', location is LC4_A15, type is buried.
dd3      = DFFE( _EQ049, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ049 =  d44 &  _LC4_B17 & !q
         #  dd3 &  q
         #  dd3 & !_LC4_B17;

-- Node name is ':127' = 'dd4' 
-- Equation name is 'dd4', location is LC3_A5, type is buried.
dd4      = DFFE( _EQ050, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ050 =  d55 &  _LC4_B17 & !q
         #  dd4 &  q
         #  dd4 & !_LC4_B17;

-- Node name is ':126' = 'dd5' 
-- Equation name is 'dd5', location is LC2_A3, type is buried.
dd5      = DFFE( _EQ051, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ051 =  d66 &  _LC4_B17 & !q
         #  dd5 &  q
         #  dd5 & !_LC4_B17;

-- Node name is 'door0' 
-- Equation name is 'door0', type is output 
door0    =  _LC8_B22;

-- Node name is 'door1' 
-- Equation name is 'door1', type is output 
door1    =  _LC1_B16;

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

-- Node name is 'd1~1' 
-- Equation name is 'd1~1', location is LC2_A24, type is buried.
-- synthesized logic cell 
_LC2_A24 = LCELL( _EQ052);
  _EQ052 = !d1 &  d2 & !_LC8_A3;

-- Node name is 'd1~2' 
-- Equation name is 'd1~2', location is LC5_A24, type is buried.
-- synthesized logic cell 
_LC5_A24 = LCELL( _EQ053);
  _EQ053 = !d1 & !d2 & !_LC8_A3;

-- Node name is 'd1~3' 
-- Equation name is 'd1~3', location is LC6_A24, type is buried.
-- synthesized logic cell 
_LC6_A24 = LCELL( _EQ054);
  _EQ054 = !d1 & !d2 & !d3 & !_LC8_A3;

-- Node name is 'd1~4' 
-- Equation name is 'd1~4', location is LC7_A12, type is buried.
-- synthesized logic cell 
_LC7_A12 = LCELL( _EQ055);
  _EQ055 = !d4 & !d5 &  d6 &  _LC6_A24;

-- Node name is ':104' = 'd11' 
-- Equation name is 'd11', location is LC2_A20, type is buried.
d11      = DFFE( _EQ056, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ056 =  d11 &  _LC1_A20
         #  d1 & !_LC8_A3;

-- Node name is ':112' = 'd22' 
-- Equation name is 'd22', location is LC1_A24, type is buried.
d22      = DFFE( _EQ057, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ057 =  d22 & !g2
         #  d22 & !_LC1_A22
         #  _LC2_A24;

-- Node name is ':115' = 'd33' 
-- Equation name is 'd33', location is LC8_A24, type is buried.
d33      = DFFE( _EQ058, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ058 =  d33 &  _LC3_A24
         #  d3 &  _LC5_A24;

-- Node name is ':118' = 'd44' 
-- Equation name is 'd44', location is LC4_A24, type is buried.
d44      = DFFE( _EQ059, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ059 =  d44 &  _LC7_A24
         #  d4 &  _LC6_A24;

-- Node name is ':121' = 'd55' 
-- Equation name is 'd55', location is LC4_A12, type is buried.