veryhardd.fit

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

	LC4_C9  : LORAX2 = "X, X, LC6_C9, LC3_C9";
	LC1_C9  : LORAX2 = "X, X, LC8_C9, LC4_C9";
	LC5_C8  : LORAX2 = "X, X, LC2_C8, LC1_C9";
	LC7_C8  : LORAX2 = "X, LC3_C8, LC2_C8, LC1_C9";
	LC4_C3  : LORAX2 = "LC1_C8, LC3_C8, LC2_C8, LC1_C9";
	LC6_C10 : LORAX2 = "X, X, LC3_C10, LC4_C3";
	LC8_C10 : LORAX2 = "X, X, LC4_C10, LC6_C10";
	LC3_C11 : LORAX2 = "X, X, LC1_C12, LC8_C10";
	LC4_C11 : LORAX2 = "X, X, LC6_C11, LC3_C11";
	LC1_C11 : LORAX2 = "X, X, LC8_C11, LC4_C11";
	LC1_C24 : LORAX2 = "X, X, LC4_C13, LC1_C11";
	LC4_C24 : LORAX2 = "X, X, LC6_C24, LC1_C24";
	LC3_C24 : LORAX2 = "X, X, LC8_C24, LC4_C24";
	LC1_C16 : LORAX2 = "X, X, LC3_C13, LC3_C24";
	LC4_C16 : LORAX2 = "X, X, LC8_C16, LC1_C16";
	LC3_C16 : LORAX2 = "LC6_C16, LC8_C16, LC3_C13, LC3_C24";
	LC2_C23 : LORAX2 = "X, X, LC1_C23, LC3_C16";
	LC4_C23 : LORAX2 = "X, LC5_C23, LC1_C23, LC3_C16";
	LC1_A22 : LORAX2 = "LC1_A22, LC4_A22, LC1_B1, LC1_A19";
	LC8_B1  : LORAX2 = "LC8_B1, LC7_B1, LC1_B1, LC6_B1";
	LC7_B1  : LORAX2 = "X, LC7_B1, LC1_B1, LC6_B1";
	LC5_B1  : LORAX2 = "LC5_B1, LC4_B1, LC1_B1, LC1_B12";
	LC4_B1  : LORAX2 = "X, LC4_B1, LC1_B1, LC1_B12";
	LC7_B12 : LORAX2 = "LC1_B1, LC7_B12, LC6_B12, LC5_B12";
	LC6_B12 : LORAX2 = "X, LC1_B1, LC6_B12, LC5_B12";
	LC4_B12 : LORAX2 = "LC1_B1, LC4_B12, LC3_B12, LC1_B23";
	LC3_B12 : LORAX2 = "X, LC1_B1, LC3_B12, LC1_B23";
	LC7_B23 : LORAX2 = "LC1_B1, LC7_B23, LC5_B23, LC6_B23";
	LC5_B23 : LORAX2 = "LC1_B1, LC5_B23, LC4_B23, LC1_B19";
	LC4_B23 : LORAX2 = "X, LC1_B1, LC4_B23, LC1_B19";
	LC3_B23 : LORAX2 = "X, LC1_B1, LC3_B23, LC2_B19";
	LC7_B19 : LORAX2 = "LC1_B1, LC7_B19, LC6_B19, LC3_B19";
	LC6_B19 : LORAX2 = "X, LC1_B1, LC6_B19, LC3_B19";
	LC5_B19 : LORAX2 = "LC1_B1, LC5_B19, LC4_B19, LC2_B10";
	LC4_B19 : LORAX2 = "X, LC1_B1, LC4_B19, LC2_B10";
	LC7_B10 : LORAX2 = "LC1_B1, LC7_B10, LC6_B10, LC4_B10";
	LC6_B10 : LORAX2 = "X, LC1_B1, LC6_B10, LC4_B10";
	LC5_B10 : LORAX2 = "X, LC1_B1, LC5_B10, LC2_B11";
	LC1_B10 : LORAX2 = "LC5_B11, LC1_B1, LC1_B10, LC6_B11";
	LC6_B11 : LORAX2 = "LC1_B1, LC6_B11, LC8_B11, LC1_B11";
	LC8_B11 : LORAX2 = "X, LC1_B1, LC8_B11, LC1_B11";
	LC7_B11 : LORAX2 = "LC1_B1, LC7_B11, LC3_B11, LC1_B8";
	LC3_B11 : LORAX2 = "X, LC1_B1, LC3_B11, LC1_B8";
	LC6_B8  : LORAX2 = "X, LC5_B8, LC1_B1, LC6_B8";
	LC4_B8  : LORAX2 = "LC1_B1, LC4_B8, LC3_B8, LC1_B5";
	LC3_B8  : LORAX2 = "X, LC1_B1, LC3_B8, LC1_B5";
	LC5_B5  : LORAX2 = "X, LC2_B5, LC1_B1, LC5_B5";
	LC4_B5  : LORAX2 = "LC1_B1, LC4_B5, LC6_B5, LC4_B6";
	LC6_B5  : LORAX2 = "X, LC1_B1, LC6_B5, LC4_B6";
	LC5_B6  : LORAX2 = "X, LC1_B1, LC1_B6, LC5_B6";
	LC1_B6  : LORAX2 = "X, X, LC1_B1, LC1_B6";
	LC5_A24 : LORAX2 = "LC5_A24, LC6_A22, LC1_B1, LC1_A17";
	LC8_A22 : LORAX2 = "LC8_A22, LC3_A24, LC5_A22, LC1_B1";
	LC2_A22 : LORAX2 = "LC2_A22, LC5_A22, LC3_A24, LC1_B1";
	LC7_A20 : LORAX2 = "LC7_A20, LC3_A22, LC3_A20, LC1_B1";
	LC3_A24 : LORAX2 = "X, LC3_A24, LC1_B1, LC8_A24";
	LC5_A22 : LORAX2 = "X, LC5_A22, LC1_B1, LC1_A20";
	LC1_A15 : LORAX2 = "X, OD5P43, LC1_A15, LC3_A15";
	LC6_A18 : LORAX2 = "X, OH8R0P16, LC6_A18, LC2_A17";
	LC5_A23 : LORAX2 = "OH10R0P17, LC3_A22, LC5_A23, LC1_B1";
	LC6_A20 : LORAX2 = "LC6_A20, LC3_A22, LC3_A20, LC1_B1";
	LC1_A18 : LORAX2 = "X, LC4_A13, LC7_A18, LC2_A17";
	LC8_A23 : LORAX2 = "OD2P44, LC3_A22, LC8_A23, LC1_B1";
	LC7_A23 : LORAX2 = "LC7_A23, LC3_A20, LC6_A23, LC2_A23";
	LC4_A13 : LORAX2 = "LC4_A13, LC8_A13, LC6_A13, LC1_B1";
	LC4_A15 : LORAX2 = "X, OD0P84, LC4_A15, LC3_A15";
	LC4_A18 : LORAX2 = "LC2_A18, LC3_A22, LC3_A18, LC1_B1";
	LC5_A20 : LORAX2 = "X, X, X, LC5_A20";
	LC3_A21 : LORAX2 = "LC4_A13, LC3_A21, LC2_A13, LC1_A21";
	LC4_C20 : LORAX2 = "LC4_C20, LC6_C17, LC3_C20, LC8_C23";
	LC7_C23 : LORAX2 = "LC7_C23, LC6_C17, LC6_C23, LC4_C23";
	LC5_C23 : LORAX2 = "LC5_C23, LC6_C17, LC3_C23, LC2_C23";
	LC1_C23 : LORAX2 = "LC1_C23, LC6_C17, LC4_C17, LC3_C16";
	LC6_C16 : LORAX2 = "LC6_C17, LC6_C16, LC5_C16, LC4_C16";
	LC8_C16 : LORAX2 = "LC8_C16, LC6_C17, LC7_C16, LC1_C16";
	LC3_C13 : LORAX2 = "LC3_C13, LC6_C17, LC8_C13, LC3_C24";
	LC8_C24 : LORAX2 = "LC6_C17, LC8_C24, LC7_C24, LC4_C24";
	LC6_C24 : LORAX2 = "LC6_C24, LC6_C17, LC5_C24, LC1_C24";
	LC4_C13 : LORAX2 = "LC6_C17, LC4_C13, LC7_C13, LC1_C11";
	LC8_C11 : LORAX2 = "LC6_C17, LC8_C11, LC7_C11, LC4_C11";
	LC6_C11 : LORAX2 = "LC6_C17, LC6_C11, LC5_C11, LC3_C11";
	LC1_C12 : LORAX2 = "LC6_C17, LC1_C12, LC2_C12, LC8_C10";
	LC4_C10 : LORAX2 = "LC6_C17, LC4_C10, LC7_C10, LC6_C10";
	LC3_C10 : LORAX2 = "LC6_C17, LC3_C10, LC1_C10, LC4_C3";
	LC1_C8  : LORAX2 = "LC6_C17, LC1_C8, LC8_C8, LC7_C8";
	LC3_C8  : LORAX2 = "LC6_C17, LC3_C8, LC6_C8, LC5_C8";
	LC2_C8  : LORAX2 = "LC6_C17, LC2_C8, LC4_C8, LC1_C9";
	LC8_C9  : LORAX2 = "LC6_C17, LC8_C9, LC7_C9, LC4_C9";
	LC6_C9  : LORAX2 = "LC6_C17, LC5_C9, LC6_C9, LC3_C9";
	LC2_C10 : LORAX2 = "LC6_C17, LC5_C10, LC2_C10, LC1_C19";
	LC2_C19 : LORAX2 = "LC6_C17, LC6_C19, LC2_C19, LC5_C19";
	LC8_C19 : LORAX2 = "LC6_C17, LC7_C19, LC8_C19, LC3_C19";
	LC2_C13 : LORAX2 = "LC6_C17, LC5_C13, LC2_C13, LC1_C14";
	LC2_C14 : LORAX2 = "LC6_C17, LC7_C14, LC2_C14, LC5_C14";
	LC3_C14 : LORAX2 = "LC6_C17, LC6_C14, LC3_C14, LC4_C14";
	LC1_C13 : LORAX2 = "LC6_C13, LC6_C17, LC1_C13, LC1_C15";
	LC8_C15 : LORAX2 = "LC6_C17, LC7_C15, LC8_C15, LC4_C15";
	LC6_C15 : LORAX2 = "LC6_C17, LC5_C15, LC6_C15, LC3_C15";
	LC3_C17 : LORAX2 = "LC2_C17, LC6_C17, LC3_C17, LC1_C17";
	LC8_C17 : LORAX2 = "LC6_C17, LC7_C17, LC8_C17, LC5_C17";
	LC5_C17 : LORAX2 = "LC6_A22, LC1_A17, LC6_C17, LC5_C17";
	LC7_A18 : LORAX2 = "X, X, OD1P2, LC1_A18";
	LC3_A18 : LORAX2 = "X, X, OD3P42, LC4_A18";
	LC6_C17 : LORAX2 = "X, X, LC1_A17, LC5_C20";
	LC1_A13 : LORAX2 = "X, LC2_A15, LC1_A23, LC5_A18";
	LC2_A13 : LORAX2 = "LC1_A13, LC3_A22, LC6_A22, LC1_B1";
	LC6_A23 : LORAX2 = "LC2_A15, LC8_A18, LC1_A23, LC4_A23";
	LC1_B1  : LORAX2 = "LC8_B1, LC3_B5, LC2_B1, LC3_B1";
	LC2_B8  : LORAX2 = "LC3_B8, LC6_B8, LC4_B8, LC5_B5";
	LC3_B5  : LORAX2 = "LC2_B8, LC6_B5, LC4_B5, LC5_B6";
	LC2_B23 : LORAX2 = "LC3_B23, LC4_B23, LC7_B23, LC5_B23";
	LC8_B19 : LORAX2 = "LC4_B19, LC5_B19, LC7_B19, LC6_B19";
	LC3_B10 : LORAX2 = "LC7_B10, LC6_B10, LC5_B10, LC1_B10";
	LC4_B11 : LORAX2 = "LC6_B11, LC8_B11, LC3_B11, LC7_B11";
	LC2_B1  : LORAX2 = "LC2_B23, LC8_B19, LC4_B11, LC3_B10";
	LC2_B12 : LORAX2 = "LC3_B12, LC4_B12, LC7_B12, LC6_B12";
	LC3_B1  : LORAX2 = "LC4_B1, LC5_B1, LC7_B1, LC2_B12";
	LC3_A20 : LORAX2 = "LC7_A20, LC6_A20, LC5_A20, LC2_A20";
	LC8_A18 : LORAX2 = "X, OH8R0P16, LC6_A18, LC7_A18";
	LC2_A20 : LORAX2 = "LC2_A15, LC8_A18, LC1_A23, LC3_A18";
	LC3_A23 : LORAX2 = "X, X, LC7_A23, LC2_A15";
	LC5_A18 : LORAX2 = "X, OH8R0P16, LC6_A18, LC3_A18";
	LC2_A21 : LORAX2 = "X, X, LC3_A21, LC1_A23";
	LC7_A16 : LORAX2 = "X, X, LC2_A21, LC5_A18";
	LC5_A16 : LORAX2 = "LC2_A15, LC7_A18, LC2_A21, LC5_A18";
	LC2_A16 : LORAX2 = "LC4_A13, LC3_A23, LC8_A18, LC5_A18";
	LC8_A16 : LORAX2 = "LC4_A13, LC3_A23, LC8_A18, LC7_A16";
	LC4_A20 : LORAX2 = "LC4_A13, LC8_A20, LC5_A16, LC3_A23";
	LC8_A20 : LORAX2 = "LC4_A13, LC8_A18, LC1_A23, LC3_A18";
	LC2_A15 : LORAX2 = "OD0P84, OD5P43, LC4_A15, LC1_A15";
	LC1_A23 : LORAX2 = "OD2P44, OH10R0P17, LC8_A23, LC5_A23";
	LC6_A16 : LORAX2 = "X, LC7_A18, LC1_A23, LC5_A18";
	LC3_A13 : LORAX2 = "LC2_A15, LC7_A18, LC1_A23, LC5_A18";
	LC1_C20 : LORAX2 = "LC4_C20, LC1_C3, LC2_C20, LC1_C17";
	LC2_C3  : LORAX2 = "LC3_C10, LC2_C8, LC3_C8, LC1_C8";
	LC2_C9  : LORAX2 = "LC8_C9, LC6_C9, LC2_C10, LC2_C19";
	LC4_C19 : LORAX2 = "LC8_C19, LC2_C13, LC2_C14, LC3_C14";
	LC2_C15 : LORAX2 = "LC1_C13, LC8_C15, LC6_C15, LC3_C17";
	LC1_C3  : LORAX2 = "LC2_C3, LC2_C9, LC2_C15, LC4_C19";
	LC2_C16 : LORAX2 = "LC6_C16, LC8_C16, LC5_C23, LC1_C23";
	LC2_C24 : LORAX2 = "LC6_C24, LC3_C13, LC8_C24, LC4_C13";
	LC2_C11 : LORAX2 = "LC8_C11, LC6_C11, LC1_C12, LC4_C10";
	LC2_C20 : LORAX2 = "LC7_C23, LC2_C16, LC2_C11, LC2_C24";
	LC1_C17 : LORAX2 = "X, X, LC8_C17, LC5_C17";
	LC7_A24 : LORAX2 = "X, LC2_A22, LC8_A22, LC5_A24";
	LC2_A24 : LORAX2 = "X, LC1_A24, LC3_A24, LC1_C20";
	LC1_A24 : LORAX2 = "X, LC2_A22, LC8_A22, LC5_A24";
	LC3_A16 : LORAX2 = "X, LC7_A24, LC5_A22, LC1_C20";
	LC6_A22 : LORAX2 = "X, X, LC5_A22, LC3_A24";
	LC5_C20 : LORAX2 = "X, X, LC6_A22, LC1_C20";
	LC7_A22 : LORAX2 = "X, X, LC5_A22, LC3_A24";
	LC3_A22 : LORAX2 = "X, X, LC5_A22, LC3_A24";
	LC4_A24 : LORAX2 = "LC2_A15, LC6_A22, LC6_A16, LC2_A24";
	LC6_A24 : LORAX2 = "X, LC7_A22, LC2_A16, LC4_A24";
	LC8_A24 : LORAX2 = "X, LC3_A22, LC1_A23, LC6_A24";
	LC4_A16 : LORAX2 = "LC2_A15, LC6_A22, LC6_A16, LC3_A16";
	LC1_A16 : LORAX2 = "X, LC7_A22, LC8_A16, LC4_A16";
	LC1_A20 : LORAX2 = "LC3_A22, LC2_A20, LC3_A20, LC1_A16";
	LC5_A13 : LORAX2 = "X, LC4_A13, LC3_A13, LC6_A22";
	LC8_A13 : LORAX2 = "LC7_A13, LC2_A15, LC8_A18, LC1_A23";
	LC6_A13 : LORAX2 = "LC7_A22, LC3_A22, LC5_A13, LC4_A20";
	LC7_A13 : LORAX2 = "X, X, LC3_A22, LC3_A18";
	LC1_A19 : LORAX2 = "LC7_A22, LC3_A22, LC3_A20, LC5_C20";
	LC4_A22 : LORAX2 = "X, X, LC5_A22, LC3_A24";
	LC1_A17 : LORAX2 = "X, LC7_A22, LC3_A22, LC1_B1";
	LC4_A23 : LORAX2 = "X, X, LC3_A22, LC1_B1";
	LC2_A17 : LORAX2 = "X, LC7_A22, LC3_A22, LC1_B1";
	LC2_A23 : LORAX2 = "X, LC4_A13, LC8_A18, LC2_A17";
	LC3_A15 : LORAX2 = "X, LC5_A22, LC3_A24, LC1_A17";
	LC2_A18 : LORAX2 = "X, X, LC4_A13, LC7_A22";
	LC1_A21 : LORAX2 = "X, X, LC5_A18, LC2_A17";
	LC8_C23 : LORAX2 = "LC7_C23, LC5_C23, LC1_C23, LC3_C16";
	LC3_C20 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC8_C23";
	LC6_C23 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC4_C23";
	LC3_C23 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC2_C23";
	LC4_C17 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC3_C16";
	LC5_C16 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC4_C16";
	LC7_C16 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC1_C16";
	LC8_C13 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC3_C24";
	LC7_C24 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC4_C24";
	LC5_C24 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC1_C24";
	LC7_C13 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC1_C11";
	LC7_C11 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC4_C11";
	LC5_C11 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC3_C11";
	LC2_C12 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC8_C10";
	LC7_C10 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC6_C10";
	LC1_C10 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC4_C3";
	LC8_C8  : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC7_C8";
	LC6_C8  : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC5_C8";
	LC4_C8  : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC1_C9";
	LC7_C9  : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC4_C9";
	LC5_C9  : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC3_C9";
	LC5_C10 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC1_C19";
	LC6_C19 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC5_C19";
	LC7_C19 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC3_C19";
	LC5_C13 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC1_C14";
	LC7_C14 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC5_C14";
	LC6_C14 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC4_C14";
	LC6_C13 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC1_C15";
	LC7_C15 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC4_C15";
	LC5_C15 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC3_C15";
	LC2_C17 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC1_C17";
	LC7_C17 : LORAX2 = "LC6_A22, LC1_A17, LC5_C20, LC5_C17";
END;