EDA中的电梯控制器的主要VHDL源程序