veryhardd.rpt

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

cnt225   = DFFE( _EQ061, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ061 = !cnt225 &  _LC3_C24 &  _LC6_C17
         #  cnt225 &  _LC8_C13;

-- Node name is ':73' = 'cnt226' 
-- Equation name is 'cnt226', location is LC8_C16, type is buried.
cnt226   = DFFE( _EQ062, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ062 = !cnt226 &  _LC1_C16 &  _LC6_C17
         #  cnt226 &  _LC7_C16;

-- Node name is ':72' = 'cnt227' 
-- Equation name is 'cnt227', location is LC6_C16, type is buried.
cnt227   = DFFE( _EQ063, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ063 =  cnt227 &  _LC5_C16
         # !cnt227 &  _LC4_C16 &  _LC6_C17;

-- Node name is ':71' = 'cnt228' 
-- Equation name is 'cnt228', location is LC1_C23, type is buried.
cnt228   = DFFE( _EQ064, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ064 = !cnt228 &  _LC3_C16 &  _LC6_C17
         #  cnt228 &  _LC4_C17;

-- Node name is ':70' = 'cnt229' 
-- Equation name is 'cnt229', location is LC5_C23, type is buried.
cnt229   = DFFE( _EQ065, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ065 = !cnt229 &  _LC2_C23 &  _LC6_C17
         #  cnt229 &  _LC3_C23;

-- Node name is ':69' = 'cnt230' 
-- Equation name is 'cnt230', location is LC7_C23, type is buried.
cnt230   = DFFE( _EQ066, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ066 =  cnt230 &  _LC6_C23
         # !cnt230 &  _LC4_C23 &  _LC6_C17;

-- Node name is ':68' = 'cnt231' 
-- Equation name is 'cnt231', location is LC4_C20, type is buried.
cnt231   = DFFE( _EQ067, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ067 = !cnt231 &  _LC6_C17 & !_LC8_C23
         #  cnt231 &  _LC3_C20;

-- Node name is 'door' 
-- Equation name is 'door', type is output 
door     =  _LC1_A22;

-- Node name is ':66' = 'downl1' 
-- Equation name is 'downl1', location is LC5_A20, type is buried.
downl1   = DFFE( downl1, GLOBAL( clk),  VCC,  VCC,  VCC);

-- Node name is ':65' = 'downl2' 
-- Equation name is 'downl2', location is LC4_A18, type is buried.
downl2   = DFFE( _EQ068, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ068 =  _LC3_A18 &  _LC3_A22
         #  _LC2_A18 &  _LC3_A18
         #  _LC1_B1 &  _LC3_A18;

-- Node name is ':64' = 'downl3' 
-- Equation name is 'downl3', location is LC4_A15, type is buried.
downl3   = DFFE( _EQ069, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ069 =  downl3 &  _LC3_A15
         # !down3 &  _LC3_A15;

-- Node name is ':63' = 'mo' 
-- Equation name is 'mo', location is LC4_A13, type is buried.
mo       = DFFE( _EQ070, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ070 = !_LC1_B1 &  _LC6_A13
         # !_LC1_B1 &  _LC8_A13
         #  _LC1_B1 &  mo;

-- Node name is 'mode' 
-- Equation name is 'mode', type is output 
mode     =  mo;

-- Node name is 'site1' 
-- Equation name is 'site1', type is output 
site1    =  cengl1;

-- Node name is 'site2' 
-- Equation name is 'site2', type is output 
site2    =  cengl2;

-- Node name is 'site3' 
-- Equation name is 'site3', type is output 
site3    =  cengl3;

-- Node name is ':55' = 'state0' 
-- Equation name is 'state0', location is LC5_A22, type is buried.
state0   = DFFE( _EQ071, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ071 =  _LC1_A20 & !_LC1_B1
         #  _LC1_B1 &  state0;

-- Node name is ':54' = 'state1' 
-- Equation name is 'state1', location is LC3_A24, type is buried.
state1   = DFFE( _EQ072, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ072 = !_LC1_B1 &  _LC8_A24
         #  _LC1_B1 &  state1;

-- Node name is ':58' = 'tingl1' 
-- Equation name is 'tingl1', location is LC5_A23, type is buried.
tingl1   = DFFE( _EQ073, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ073 = !_LC3_A22 &  tingl1
         # !k1 & !_LC3_A22
         #  _LC1_B1 &  tingl1
         # !k1 &  _LC1_B1;

-- Node name is ':57' = 'tingl2' 
-- Equation name is 'tingl2', location is LC6_A18, type is buried.
tingl2   = DFFE( _EQ074, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ074 =  _LC2_A17 &  tingl2
         # !k2 &  _LC2_A17;

-- Node name is ':56' = 'tingl3' 
-- Equation name is 'tingl3', location is LC1_A15, type is buried.
tingl3   = DFFE( _EQ075, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ075 =  _LC3_A15 &  tingl3
         # !k3 &  _LC3_A15;

-- Node name is ':61' = 'upl1' 
-- Equation name is 'upl1', location is LC8_A23, type is buried.
upl1     = DFFE( _EQ076, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ076 = !_LC3_A22 &  upl1
         # !_LC3_A22 & !up1
         #  _LC1_B1 &  upl1
         #  _LC1_B1 & !up1;

-- Node name is ':60' = 'upl2' 
-- Equation name is 'upl2', location is LC1_A18, type is buried.
upl2     = DFFE( _EQ077, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ077 =  _LC7_A18 &  mo
         #  _LC2_A17 &  _LC7_A18;

-- Node name is ':59' = 'upl3' 
-- Equation name is 'upl3', location is LC6_A20, type is buried.
upl3     = DFFE( _EQ078, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ078 =  _LC1_B1 &  upl3
         # !_LC3_A22 &  upl3
         #  _LC3_A20 &  upl3;

-- Node name is ':62' = 'x' 
-- Equation name is 'x', location is LC7_A23, type is buried.
x        = DFFE( _EQ079, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ079 =  _LC2_A23 &  x
         #  _LC3_A20 &  _LC6_A23;

-- Node name is ':67' = 'y' 
-- Equation name is 'y', location is LC3_A21, type is buried.
y        = DFFE( _EQ080, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ080 =  _LC1_A21 &  y
         #  _LC1_A21 &  _LC2_A13
         # !mo &  y;

-- Node name is ':53' = 'z' 
-- Equation name is 'z', location is LC7_A20, type is buried.
z        = DFFE( _EQ081, GLOBAL( clk),  VCC,  VCC,  VCC);
  _EQ081 = !_LC1_B1 &  _LC3_A20 &  _LC3_A22
         #  _LC1_B1 &  z
         # !_LC3_A22 &  z;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:167' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC4_B6', type is buried 
_LC4_B6  = LCELL( _EQ082);
  _EQ082 =  cnt10 &  cnt11;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:175' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC2_B5', type is buried 
_LC2_B5  = LCELL( _EQ083);
  _EQ083 =  cnt12 &  cnt13 &  _LC4_B6;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:179' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC1_B5', type is buried 
_LC1_B5  = LCELL( _EQ084);
  _EQ084 =  cnt12 &  cnt13 &  cnt14 &  _LC4_B6;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:187' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC5_B8', type is buried 
_LC5_B8  = LCELL( _EQ085);
  _EQ085 =  cnt15 &  cnt16 &  _LC1_B5;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:191' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC1_B8', type is buried 
_LC1_B8  = LCELL( _EQ086);
  _EQ086 =  cnt15 &  cnt16 &  cnt17 &  _LC1_B5;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:199' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC1_B11', type is buried 
_LC1_B11 = LCELL( _EQ087);
  _EQ087 =  cnt18 &  cnt19 &  _LC1_B8;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:203' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC5_B11', type is buried 
_LC5_B11 = LCELL( _EQ088);
  _EQ088 =  cnt110 &  _LC1_B11;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:211' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC2_B11', type is buried 
_LC2_B11 = LCELL( _EQ089);
  _EQ089 =  cnt110 &  cnt111 &  cnt112 &  _LC1_B11;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:215' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC4_B10', type is buried 
_LC4_B10 = LCELL( _EQ090);
  _EQ090 =  cnt113 &  _LC2_B11;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:223' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC2_B10', type is buried 
_LC2_B10 = LCELL( _EQ091);
  _EQ091 =  cnt114 &  cnt115 &  _LC4_B10;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:231' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC3_B19', type is buried 
_LC3_B19 = LCELL( _EQ092);
  _EQ092 =  cnt116 &  cnt117 &  _LC2_B10;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:239' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC2_B19', type is buried 
_LC2_B19 = LCELL( _EQ093);
  _EQ093 =  cnt118 &  cnt119 &  _LC3_B19;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:243' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC1_B19', type is buried 
_LC1_B19 = LCELL( _EQ094);
  _EQ094 =  cnt118 &  cnt119 &  cnt120 &  _LC3_B19;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:247' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC6_B23', type is buried 
_LC6_B23 = LCELL( _EQ095);
  _EQ095 =  cnt121 &  _LC1_B19;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:255' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC1_B23', type is buried 
_LC1_B23 = LCELL( _EQ096);
  _EQ096 =  cnt121 &  cnt122 &  cnt123 &  _LC1_B19;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:263' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC5_B12', type is buried 
_LC5_B12 = LCELL( _EQ097);
  _EQ097 =  cnt124 &  cnt125 &  _LC1_B23;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:271' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC1_B12', type is buried 
_LC1_B12 = LCELL( _EQ098);
  _EQ098 =  cnt126 &  cnt127 &  _LC5_B12;

-- Node name is '|LPM_ADD_SUB:642|addcore:adder|:279' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC6_B1', type is buried 
_LC6_B1  = LCELL( _EQ099);
  _EQ099 =  cnt128 &  cnt129 &  _LC1_B12;

-- Node name is '|LPM_ADD_SUB:1952|addcore:adder|:171' from file "addcore.tdf" line 312, column 64
-- Equation name is '_LC3_C15', type is buried 
!_LC3_C15 = _LC3_C15~NOT;
_LC3_C15~NOT = LCELL( _EQ100);
  _EQ100 =