Verilogeda语言设计电梯

基于VERILOG语言的电梯设计2）、系统描述；1、设定电梯控制器适用的楼层为8层2、在电梯的内部有一个控制面板,它负责按下请求到的楼层,并且显示当前尚未完成的目的地请求,当到达该楼层以后自动撤销本楼层的请求,即将面板灯熄灭3、除1层和7层分别只有上/下按钮外，每个楼层（电梯门口旁）的召唤面板都有两个按钮，分别指示上楼和下楼请求。当按下后，对应按钮灯亮。如果电梯已经到达该楼层，按钮灯熄灭。4、电梯的外部面板会显示电梯当前所在的楼层,及上行还是下行暂停显示刚才运行时的状态当电梯在运行时,对应的楼层灯间固定显示一段时间进入下一楼层在暂停时,灯一直在该楼层保持亮的状态。5、电梯调度方案电梯向一个方向运行时，只对本方向前方的请求进行应答，直到本方向前方无请求时，才对反方向的请求进行应答。当前内部控制面板上有的请求,只要经过所在楼层均会立即响应在所有内部外部请求都已完成后，电梯转入等待。电梯模型（如下附图）第层每楼层的召唤按钮面板，显示信息有当前电梯所在位置（楼层）和电梯的运行方向（上下）控制信息使用电梯的请求（向上或向下）第7层第层第层第层第层第层电梯电梯内部的控制面板，显示信息有电梯当前的位置和电梯当前的运行方向（上下），以及请求到达的楼层控制信息有请求要到达的目的楼层3）、算法设计；1、电梯基本组成部分及其实现1FLOOR记录电梯所处楼层的记数器用模计数器实现，由001111的加减记数来表示电梯所在楼层的变化2RB电梯运行状态寄存器组用一位寄存器来表示电梯当前是运行还是暂停，再用一位寄存器表示当前或刚才的运行方向，这样就可以在电梯停止时也可以判断电梯刚才的状态，从而确定下个时刻电梯的后续方向对于FLOOR，我们通过三个LED显示3RC电梯目的地信息寄存器，记录电梯还有哪些要去楼层的任务每个楼层对应一个状态触发器，同时控制一个LED显示4RD各个楼层召唤信息寄存器，它记录了各楼层还有哪些向上向下的请求每个楼层对应两个状态触发器，同时控制两个LED显示向上向下请求5CALL电梯各个楼层的召唤面板，用户通过它发出向上向下的请求；6DESTINATION电梯目的地指定命令面板，用户通过它申请要去的楼层；7CONTRAL电梯的集中控制器。2、电梯控制基本结构图CONTROLRCRBFLOORRDLEDLEDCALLDESTINATIONNLEDLED3、电梯工作过程的具体描述A、当电梯开始启动的时候，将当前所处的楼层置为第一层，电梯为暂停状态，方向向上，然后等待控制器的调度B、等待过程当中（FLOOR保持在该楼层），首先检测RC和RD，判断当前楼层（第I层）以上的楼层是否发出召唤或者已经有人已经发请求，若有则向上运行；否则以同样的方法判断是否向下运行；若不向下运行则重复等待状态保持原状态循环进行操作直到检测到有向上或向下的任务C、若已经判明要向上运行，则首先使RB中的运行暂停触发器置为运行，且标志向上运行，控制LED在该楼层亮T1时间后将所在楼层加，这时新的当前楼层（第I1层）灯亮起，接着电梯检索RC和RD，判断当前楼层是否发出向上召唤或者已经有人已经发出目的地为第I1层的请求，若有则在第I1层停靠；否则检索RC和RD，判断第I1层以上的楼层是否发出召唤或者已经有人已经发出目的地为第I1层以上的请求，若有则向上运行；否则（必定是有第I1层向下的请求）在第I1层若不在当前的第I1层停靠，就使灯闪烁，继续中开始的操作如果停靠就修改运行状态为停止，撤销所在楼层的召唤请求和目的地任务，接受用户的目的地请求，控制电梯在T2时间后电梯进入中的等待状态注释、只要不是当前暂停在的楼层的用户发出的召唤命令都存入RD，以供控制器检索和判断、只要不是当前暂停在的楼层的用户发出的目的地请求都存入RC，供运行过程当中控制器的检索和判断。BACK4、电梯控制流程图所在I层以上有召唤或有电梯内面板目的地开始初始化电梯状态和控制信息等待向上运行；II1更新状态信息第I层为电梯目的地或第I层有向上请求在第I层停乘客上下电梯更新状态信息所在I层以上有召唤或有电梯内面板目的地所在I层以下有召唤或有电梯内面板目的地向下运行；II1更新状态信息第I层为电梯目的地或第I层有向下请求所在I层以下有召唤或有电梯内面板目的在第I层停乘客上下电梯更新状态信息YESYESNONOYESNOYESNONOYESYESNOBACK5、系统控制器ASM图RESET0RST1CE1RST0CE_COUNT0SEL_COUNT00K1UP_D0STOP_R1CE0K2CE_COUNT1UP_D1STOP_R1CE0CE_COUNT0RED_FLOOR1INC_FLOOR0SEL_CON10RED_FLOOR0SEL_CON11K3K1K4K2CE1CE_COUNT0SEL_COUNT01CE1STOP_R0CE_COUNT1CE1STOP_R0CE_COUNT1SEL_CON00SEL_CON01CE_COUNT1CE_COUNT0INC_FLOOR1S00000S10001S20010S30011S91001S40100S101010S50101S111011S60110S121100S70111S131101S810001110S14NOYESNOYESNOYESNOYESYESNONOYESASM图BACK4）、硬件实现；为了更好地实现电梯的功能我们将其划分为数据处理单元和控制单元。控制器通过CONTROL模块实现它统一向其它各个模块发出控制信号，并且接收CONDITION和COUNTER模块的反馈信号，使得个子运算按照算法设计中的顺序有序的进行，在S0S14的状态之间进行合理的跳转，从而完成电梯的各项逻辑功能。下面分别简述使用VERILOG语言实现的各个模块的功能及其接口。（1）、DESTINATION该模块是为了描述电梯内的目的请求的记录和撤销。INPUTSET_DEST当按下对应楼层的目的地请求且当前电梯来停在CUR_FLOOR时，便可以记录这个请求。RST在电梯进入初始状态时，撤销记录中的目的地请求。CE在电梯进入暂停在CUR_FLOOR状态时CE1控制撤销CUR_FLOOR的目的地请求，并不记录在当前状态下该楼层的目的地请求。CUR_FLOOR当前楼层作为判断的条件。OUTPUTGET_DEST通过输出LED显示当前未完成的目的地请求。源代码如下MODULEDESTINATIONSET_DEST,RST,CE,CUR_FLOOR,GET_DESTINPUT60SET_DESTINPUT20CUR_FLOORINPUTRST,CEOUTPUT60GET_DESTREG60GET_DESTALWAYSRSTORCEORSET_DEST0ORCUR_FLOORBEGINIFRST1GET_DEST00ELSEBEGINIFSET_DEST00BEGINIFCE0|CUR_FLOOR1GET_DEST01电梯不在1楼，目的地为1ELSEGET_DEST00电梯在1楼目的地不显示ENDELSEBEGINIFCE1ENDENDENDALWAYSRSTORCEORSET_DEST1ORCUR_FLOORBEGINIFRST1初始化GET_DEST10ELSEIFSET_DEST10没有请求BEGINIFCE0|CUR_FLOOR2GET_DEST11ELSEGET_DEST10ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_DEST2ORCUR_FLOORBEGINIFRST1GET_DEST20ELSEIFSET_DEST20BEGINIFCE0|CUR_FLOOR3GET_DEST21ELSEGET_DEST20ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_DEST3ORCUR_FLOORBEGINIFRST1GET_DEST30ELSEIFSET_DEST30BEGINIFCE0|CUR_FLOOR4GET_DEST31ELSEGET_DEST30ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_DEST4ORCUR_FLOORBEGINIFRST1GET_DEST40ELSEIFSET_DEST40BEGINIFCE0|CUR_FLOOR5GET_DEST41ELSEGET_DEST40ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_DEST5ORCUR_FLOORBEGINIFRST1GET_DEST50ELSEIFSET_DEST50BEGINIFCE0|CUR_FLOOR6GET_DEST51ELSEGET_DEST50ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_DEST6ORCUR_FLOORBEGINIFRST1GET_DEST60ELSEIFSET_DEST60BEGINIFCE0|CUR_FLOOR7GET_DEST61ELSEGET_DEST60ENDELSEBEGINIFCE1ENDENDENDMODULE（2）、CALL该模块是为了描述电梯外的召唤的记录和撤销。INPUTSET_CALL当按下对应楼层的召唤请求且当前电梯未停在CUR_FLOOR，便可以记录这个召唤。RST当电梯进入初始状态时，撤销目的地面板上的请求。CE在电梯进入暂停在CUR_FLOOR的状态时，控制撤销CUR_FLOOR的所在所在召唤请求，并不记录当前状态下该楼层的召唤。CUR_FLOOR当前楼层作为判断的条件。OUTPUTGET_CALL通过输出LED显示当前未完成的目的地请求。源代码如下MODULECALLSET_CALL,RST,CUR_FLOOR,CE,GET_CALLINPUT110SET_CALLINPUT20CUR_FLOORINPUTRST,CEOUTPUT110GET_CALLREG110GET_CALLALWAYSRSTORCEORSET_CALL0ORCUR_FLOORBEGINIFRST1GET_CALL00ELSEIFSET_CALL00BEGINIFCE0|CUR_FLOOR1GET_CALL01ELSEGET_CALL00ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_CALL1ORCUR_FLOORBEGINIFRST1GET_CALL10ELSEIFSET_CALL10BEGINIFCE0|CUR_FLOOR2GET_CALL11ELSEGET_CALL10ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_CALL2ORCUR_FLOORBEGINIFRST1GET_CALL20ELSEIFSET_CALL20BEGINIFCE0|CUR_FLOOR2GET_CALL21ELSEGET_CALL20ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_CALL3ORCUR_FLOORBEGINIFRST1GET_CALL30ELSEIFSET_CALL30BEGINIFCE0|CUR_FLOOR3GET_CALL31ELSEGET_CALL30ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_CALL4ORCUR_FLOORBEGINIFRST1GET_CALL40ELSEIFSET_CALL40BEGINIFCE0|CUR_FLOOR3GET_CALL41ELSEGET_CALL40ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_CALL5ORCUR_FLOORBEGINIFRST1GET_CALL50ELSEIFSET_CALL50BEGINIFCE0|CUR_FLOOR4GET_CALL51ELSEGET_CALL50ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_CALL6ORCUR_FLOORBEGINIFRST1GET_CALL60ELSEIFSET_CALL60BEGINIFCE0|CUR_FLOOR4GET_CALL61ELSEGET_CALL60ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_CALL7ORCUR_FLOORBEGINIFRST1GET_CALL70ELSEIFSET_CALL70BEGINIFCE0|CUR_FLOOR5GET_CALL71ELSEGET_CALL70ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_CALL8ORCUR_FLOORBEGINIFRST1GET_CALL80ELSEIFSET_CALL80BEGINIFCE0|CUR_FLOOR5GET_CALL81ELSEGET_CALL80ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_CALL9ORCUR_FLOORBEGINIFRST1GET_CALL90ELSEIFSET_CALL90BEGINIFCE0|CUR_FLOOR6GET_CALL91ELSEGET_CALL90ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_CALL10ORCUR_FLOORBEGINIFRST1GET_CALL100ELSEIFSET_CALL100BEGINIFCE0|CUR_FLOOR6GET_CALL101ELSEGET_CALL100ENDELSEBEGINIFCE1ENDENDALWAYSRSTORCEORSET_CALL11ORCUR_FLOORBEGINIFRST1GET_CALL110ELSEIFSET_CALL110BEGINIFCE0|CUR_FLOOR7GET_CALL111ELSEGET_CALL110ENDELSEBEGINIFCE1ENDENDENDMODULE（3）、FLOOR描述电梯当前所处的楼层（从001111的七层）。INPUTRST初始状态时电梯所处的楼层归为第一层。INC_FLOOR正脉冲，控制电梯在向上运行时楼层加1。RED_FLOOR正脉冲，控制电梯在向下运行时楼层减1。OUTPUTCUR_FLOOR输出LED显示当前电梯所在楼层。源代码如下MODULEFLOORINC_FLOOR,RED_FLOOR,RST,CUR_FLOORINPUTINC_FLOOR,RED_FLOOR,RSTOUTPUT20CUR_FLOORREG20CUR_FLOORREGFLOOR_CLKALWAYSRSTORINC_FLOORORRED_FLOORBEGINIFRSTFLOOR_CLK0ELSEBEGINIFINC_FLOOR|RED_FLOORFLOOR_CLK1ELSEFLOOR_CLK0ENDENDALWAYSPOSEDGEFLOOR_CLKORPOSEDGERSTBEGINIFRST1CUR_FLOOR3B001ELSEIFINC_FLOOR1CUR_FLOORCUR_FLOOR1ELSEIFRED_FLOOR1CUR_FLOORCUR_FLOOR1ELSECUR_FLOORCUR_FLOORENDENDMODULE（4）、STOP_RUN描述电梯的运行状态（停止或运行）。INPUTRST初始状态时，电梯状态未停止。STOP_R当其有一个正向的电平跳变时，电梯状态由停止变为运行；有一个负向电平跳变时电梯由运行变为停止。OUTPUTOUT_STATE_RUN通过输出LED显示当前的电梯运行状态。源代码如下MODULESTOP_RUNRST,STOP_R,OUT_STATE_RUN/STOP0,RUN1INPUTRST,STOP_ROUTPUTOUT_STATE_RUNREGOUT_STATE_RUNALWAYSSTOP_RORRSTBEGINIFRST1|STOP_R0OUT_STATE_RUN0ELSEOUT_STATE_RUN1ENDENDMODULE（5）、UP_DOWN描述电梯当前或暂停前的运行方向（向上或向下）。INPUTRST初始时电梯的运行方向向上。UP_D当其有一个正向的电平跳变时，电梯的运行方向由向上变为向上；有一个负向电平跳变时电梯的运行方向由向下变为向上。OUTPUTOUT_STATE_DIR通过输出LED灯显示当前或电梯暂停前的运行方向。源代码如下MODULEUP_DOWNRST,UP_D,OUT_STATE_DIR/UP0,DOWN1INPUTRST,UP_DOUTPUTOUT_STATE_DIRREGOUT_STATE_DIRALWAYSRSTORUP_DBEGINIFRST1|UP_D0OUT_STATE_DIR0ELSEOUT_STATE_DIR1ENDENDMODULE（6）、COUNTER计数器，可以通过技术控制电梯的运行和暂停的状态下保持一段时间。INPUTCE_COUNT当其为0时计数器不计数，但将其初始计数值赋给计数器，并将0作为结果返回给计数器；当其为1时，计数器开始减计数，每当来一个CLK下降沿时计数值减1，当计数值减为0时将其返回给控制器。CLK电路的时钟脉冲。OUTPUTCONSIGNAL返回给控制器的反馈信号，当其为1时，表明计数完毕。源代码如下MODULECOUNTERCE_COUNT,CLK,CONSIGNALINPUTCE_COUNT,CLKOUTPUTCONSIGNALREGCONSIGNALINTEGERCOUNTALWAYSNEGEDGECLKBEGINIFCE_COUNTBEGINCONSIGNAL1BEGINCONSIGNAL0COUNTCOUNT1ENDELSECONSIGNAL1ENDENDENDMODULE（7）、CONDITION选择各种条件，对其进行判断并将判断结果返回给控制器。INPUTSEL_CON当其为00是判断CUR_FLOOR以上是否还有目的地请求或者召唤请求；当其为01时，判断CUR_FLOOR以下是否还有目的地请求或者召唤请求；当其为10时，判断第CUR_FLOOR层是否还有目的地请求或者向上的召唤请求；当其为11时，判断第CUR_FLOOR层是否还有目的地请求或者向下的召唤请求。GET_DEST未完成的目的地请求。GET_CALL未完成的召唤请求。CLK时钟脉冲。CUR_FLOOR当前楼层，作为判断条件。OUTPUTRESULT是把SEL_CON中对应条件判断的结果送给控制器。源代码如下/JUDGEWHETHERTHEREARECALLSORDESTINATIONSABOVETHECUR_FLOOR/JUDGETHECONDITIONK1,K2,K3,K4MODULECONDITIONGET_DEST,GET_CALL,CUR_FLOOR,SEL_CONDITION,CLK,RESULTINPUT60GET_DESTINPUT110GET_CALLINPUT10SEL_CONDITIONINPUTCLKINPUT20CUR_FLOOROUTPUTRESULTREGRESULTINTEGERFLAG,IALWAYSNEGEDGECLKBEGINCASESEL_CONDITION2B00BEGIN/JUDGETHECONDITIONK1CASECUR_FLOOR3B001BEGINIFGET_DEST1|GET_DEST2|GET_DEST3|GET_DEST4|GET_DEST5|GET_DEST6|GET_CALL1|GET_CALL2|GET_CALL3|GET_CALL4|GET_CALL5|GET_CALL6|GET_CALL7|GET_CALL8|GET_CALL9|GET_CALL10|GET_CALL11RESULT1ELSERESULT0END3B010BEGINIFGET_DEST2|GET_DEST3|GET_DEST4|GET_DEST5|GET_DEST6|GET_CALL3|GET_CALL4|GET_CALL5|GET_CALL6|GET_CALL7|GET_CALL8|GET_CALL9|GET_CALL10|GET_CALL11RESULT1ELSERESULT0END3B011BEGINIFGET_DEST3|GET_DEST4|GET_DEST5|GET_DEST6|GET_CALL5|GET_CALL6|GET_CALL7|GET_CALL8|GET_CALL9|GET_CALL10|GET_CALL11RESULT1ELSERESULT0END3B100BEGINIFGET_DEST4|GET_DEST5|GET_DEST6|GET_CALL7|GET_CALL8|GET_CALL9|GET_CALL10|GET_CALL11RESULT1ELSERESULT0END3B101BEGINIFGET_DEST5|GET_DEST6|GET_CALL9|GET_CALL10|GET_CALL11RESULT1ELSERESULT0END3B110BEGINIFGET_DEST6|GET_CALL11RESULT1ELSERESULT0ENDDEFAULTRESULT0ENDCASEEND2B01BEGIN/JUDGETHECONDITIONK2CASECUR_FLOOR3B111BEGINIFGET_DEST0|GET_DEST1|GET_DEST2|GET_DEST3|GET_DEST4|GET_DEST5|GET_CALL0|GET_CALL1|GET_CALL2|GET_CALL3|GET_CALL4|GET_CALL5|GET_CALL6|GET_CALL7|GET_CALL8|GET_CALL9|GET_CALL10RESULT1ELSERESULT0END3B110BEGINIFGET_DEST0|GET_DEST1|GET_DEST2|GET_DEST3|GET_DEST4|GET_CALL0|GET_CALL1|GET_CALL2|GET_CALL3|GET_CALL4|GET_CALL5|GET_CALL6|GET_CALL7|GET_CALL8RESULT1ELSERESULT0END3B101BEGINIFGET_DEST0|GET_DEST1|GET_DEST2|GET_DEST3|GET_CALL0|GET_CALL1|GET_CALL2|GET_CALL3|GET_CALL4|GET_CALL5|GET_CALL6RESULT1ELSERESULT0END3B100BEGINIFGET_DEST0|GET_DEST1|GET_DEST2|GET_CALL0|GET_CALL1|GET_CALL2|GET_CALL3|GET_CALL4RESULT1ELSERESULT0END3B011BEGINIFGET_DEST0|GET_DEST1|GET_CALL0|GET_CALL1|GET_CALL2RESULT1ELSERESULT0END3B010BEGINIFGET_DEST0|GET_CALL0RESULT1ELSERESULT0ENDDEFAULTRESULT0ENDCASEEND2B10BEGIN/JUDGETHECONDITIONK3IFCUR_FLOOR7RESULT1ELSEBEGINIFGET_CALL2CUR_FLOOR2|GET_DESTCUR_FLOOR1RESULT1ELSERESULT0ENDEND2B11BEGIN/JUDGETHECONDITIONK4IFCUR_FLOOR0RESULT1ELSEBEGINIFGET_CALL2CUR_FLOOR3|GET_DESTCUR_FLOOR1RESULT1ELSERESULT0ENDENDENDCASEENDENDMODULE（8）、CONTROL接受其它各个模块的反馈信号并控制其它各个模块进行协同工作。INPUTCLK时钟脉冲。RESET复位端，低电平有效，将电路状态清0。CONSIGNAL来自COUNTER模块的反馈信号。RESULT_CON来自CONDITION模块的反馈信号。OUTPUTRST,SEL_CON,INC_FLOOR,RED_FLOOR,CE,UP_D,STOP_R,CE_COUNT为向其它模块的输出控制信号。源代码如下MODULECONTROLCLK,RESET,RESULT_CON,CONSIGNAL,SEL_CON,INC_FLOOR,RED_FLOOR,CE,UP_D,STOP_R,RST,CE_COUNTPARAMETERS04B0000,S14B0001,S24B0010,S34B0011,S44B0100,S54B0101,S64B0110,S74B0111,S84B1000,S94B1001,S104B1010,S114B1011,S124B1100,S134B1101,S144B1110,HLT4B1111INPUTCLK,RESET,RESULT_CON,CONSIGNALOUTPUT10SEL_CONOUTPUTINC_FLOOR,RED_FLOOR,CE,UP_D,STOP_R,RST,CE_COUNTREG10SEL_CONREGINC_FLOOR,RED_FLOOR,CE,UP_D,STOP_R,RST,CE_COUNTREG30STATEALWAYSPOSEDGECLKORNEGEDGERESETBEGINIFRESETSTATES0ELSEBEGINCASESTATES0STATES1S1IFRESULT_CONSTATES3ELSESTATES2S2IFRESULT_CONSTATES9ELSESTATES1S3STATES4S4IFCONSIGNALBEGINSTATES5ENDELSESTATES4S5STATES6S6IFRESULT_CONSTATES8ELSESTATES7S7IFRESULT_CONSTATES4ELSESTATES8S8IFCONSIGNALBEGINSTATES1ENDELSESTATES8S9STATES10S10IFCONSIGNALBEGINSTATES11ENDELSESTATES10S11STATES12S12IFRESULT_CONSTATES14ELSESTATES13S13IFRESULT_CONSTATES10ELSESTATES14S14IFCONSIGNALBEGINSTATES2ENDELSESTATES14DEFAULTSTATEHLTENDCASEENDENDALWAYSSTATEBEGINCASESTATES0BEGINRST1ENDS1BEGINCE1RST0CE_COUNT0SEL_CON2B00ENDS2BEGINCE1CE_COUNT0SEL_CON2B01ENDS3BEGINUP_D0STOP_R1CE0ENDS4BEGINCE_COUNT1ENDS5BEGINCE_COUNT0INC_FLOOR1ENDS6BEGININC_FLOOR0SEL_CON2B10ENDS7BEGINSEL_CON2B00ENDS8BEGINCE1STOP_R0CE_COUNT1ENDS9BEGINUP_D1STOP_R1CE0ENDS10BEGINCE_COUNT1ENDS11BEGINCE_COUNT0RED_FLOOR1ENDS12BEGINRED_FLOOR0SEL_CON2B11ENDS13BEGINSEL_CON2B01ENDS14BEGINCE1STOP_R0CE_COUNT1ENDDEFAULTSTATEHLTENDCASEENDENDMODULEBACK5）、测试方案；首先在电梯开始加电时不加请求，观察电梯是否状态稳定的停在楼在电梯内控制面板加3,5层的目的地请求,观察电梯能否正常暂停在这两层,并撤销控制面板的请求在行驶过2,4层后分别按下这两层的向上向下召唤请求,看电梯是否在当前不响应这个请求以后下行时响应4层,再次上行时响应2层,并撤销电梯外部召唤在未到第6层的电梯运行时把电梯内控制面板加上第6层的请求，检查电梯是不是正常停下,并撤销控制面板的请求。在未到第7层的电梯运行时按下7层的向上向下召唤请求,观察电梯是否能同时撤销向上向下的召唤下行以后,只在5楼是目的地,在它停的时候无请求,观察它是否稳定停止在5楼在行驶过3,4层后分别按下这两层的向上向下召唤请求,看电梯是否在当前不响应这个请求以后上行时响应3层,再次下行时响应4层,并撤销电梯外部召唤测试代码如下TIMESCALE10MS/1MSMODULEELEVETOR_TESTREGCLK,RESETREG110SET_CALLREG60SET_DESTWIRE20CUR_FLOORWIRESTATE_RUN,STATE_DIRWIRE110GET_CALLWIRE60GET_DESTINTEGERIINITIALBEGINCLK0RESET1FORI0I12II1SET_CALLI1FORI0I7II1SET_DESTI1ENDALWAYS1CLKCLKINITIALBEGIN4RESET02RESET110SET_CALL301SET_CALL311SET_DEST502SET_DEST5170SET_CALL402SET_CALL4126SET_DEST602SET_DEST6192SET_CALL201SET_CALL211SET_CALL001SET_CALL0130SET_DEST501SET_DEST51400SET_CALL1001SET_CALL101100STOPENDINITIALMONITORTIME,“CUR_FLOORD,STATE_RUNB,STATE_DIRB,SET_CALLB,GET_CALLB,SET_DESTB,GET_DESTB“,CUR_FLOOR,STATE_RUN,STATE_DIR,SET_CALL,GET_CALL,SET_DEST,GET_DESTELEVATORELEVATORCLKCLK,RESETRESET,SET_DESTSET_DEST,SET_CALLSET_CALL,GET_DESTGET_DEST,GET_CALLGET_CALL,STATE_RUNSTATE_RUN,STATE_DIRSTATE_DIR,CUR_FLOORCUR_FLOORENDMODULE测试结果0CUR_FLOORX,STATE_RUNX,STATE_DIRX,SET_CALL111111111111,GET_CALLXXXXXXXXXXXX,SET_DEST1111111,GET_DESTXXXXXXX5CUR_FLOOR1,STATE_RUN0,STATE_DIR0,SET_CALL111111111111,GET_CALL000000000000,SET_DEST1111111,GET_DEST000000016CUR_FLOOR1,STATE_RUN0,STATE_DIR0,SET_CALL111111110111,GET_CALL000000001000,SET_DEST1111111,GET_DEST000000017CUR_FLOOR1,STATE_RUN0,STATE_DIR0,SET_CALL111111111111,GET_CALL000000001000,SET_DEST1111111,GET_DEST000000018CUR_FLOOR1,STATE_RUN0,STATE_DIR0,SET_CALL111111111111,GET_CALL000000001000,SET_DEST0111111,GET_DEST100000020CUR_FLOOR1,STATE_RUN0,STATE_DIR0,SET_CALL111111111111,GET_CALL000000001000,SET_DEST1111111,GET_DEST100000021CUR_FLOOR1,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000001000,SET_DEST1111111,GET_DEST100000027CUR_FLOOR2,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000001000,SET_DEST1111111,GET_DEST100000037CUR_FLOOR3,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000001000,SET_DEST1111111,GET_DEST100000047CUR_FLOOR4,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000001000,SET_DEST1111111,GET_DEST100000057CUR_FLOOR5,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000001000,SET_DEST1111111,GET_DEST100000067CUR_FLOOR6,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000001000,SET_DEST1111111,GET_DEST100000077CUR_FLOOR7,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000001000,SET_DEST1111111,GET_DEST100000081CUR_FLOOR7,STATE_RUN0,STATE_DIR0,SET_CALL111111111111,GET_CALL000000001000,SET_DEST1111111,GET_DEST000000089CUR_FLOOR7,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000001000,SET_DEST1111111,GET_DEST000000090CUR_FLOOR7,STATE_RUN1,STATE_DIR1,SET_CALL111111101111,GET_CALL000000011000,SET_DEST1111111,GET_DEST000000092CUR_FLOOR7,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000011000,SET_DEST1111111,GET_DEST000000095CUR_FLOOR6,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000011000,SET_DEST1111111,GET_DEST0000000105CUR_FLOOR5,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000011000,SET_DEST1111111,GET_DEST0000000115CUR_FLOOR4,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000011000,SET_DEST1111111,GET_DEST0000000118CUR_FLOOR4,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000011000,SET_DEST0111111,GET_DEST1000000120CUR_FLOOR4,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000011000,SET_DEST1111111,GET_DEST1000000125CUR_FLOOR3,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000011000,SET_DEST1111111,GET_DEST1000000129CUR_FLOOR3,STATE_RUN0,STATE_DIR1,SET_CALL111111111111,GET_CALL000000000000,SET_DEST1111111,GET_DEST1000000137CUR_FLOOR3,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000000000,SET_DEST1111111,GET_DEST1000000143CUR_FLOOR4,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000000000,SET_DEST1111111,GET_DEST1000000153CUR_FLOOR5,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000000000,SET_DEST1111111,GET_DEST1000000163CUR_FLOOR6,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000000000,SET_DEST1111111,GET_DEST1000000173CUR_FLOOR7,STATE_RUN1,STATE_DIR0,SET_CALL111111111111,GET_CALL000000000000,SET_DEST1111111,GET_DEST1000000177CUR_FLOOR7,STATE_RUN0,STATE_DIR0,SET_CALL111111111111,GET_CALL000000000000,SET_DEST1111111,GET_DEST0000000212CUR_FLOOR7,STATE_RUN0,STATE_DIR0,SET_CALL111111111011,GET_CALL000000000100,SET_DEST1111111,GET_DEST0000000213CUR_FLOOR7,STATE_RUN0,STATE_DIR0,SET_CALL111111111111,GET_CALL000000000100,SET_DEST1111111,GET_DEST0000000214CUR_FLOOR7,STATE_RUN0,STATE_DIR0,SET_CALL111111111110,GET_CALL000000000101,SET_DEST1111111,GET_DEST0000000215CUR_FLOOR7,STATE_RUN0,STATE_DIR0,SET_CALL111111111111,GET_CALL000000000101,SET_DEST1111111,GET_DEST0000000217CUR_FLOOR7,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000000101,SET_DEST1111111,GET_DEST0000000223CUR_FLOOR6,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000000101,SET_DEST1111111,GET_DEST0000000233CUR_FLOOR5,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000000101,SET_DEST1111111,GET_DEST0000000243CUR_FLOOR4,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000000101,SET_DEST1111111,GET_DEST0000000245CUR_FLOOR4,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000000101,SET_DEST1011111,GET_DEST0100000246CUR_FLOOR4,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000000101,SET_DEST1111111,GET_DEST0100000253CUR_FLOOR3,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000000101,SET_DEST1111111,GET_DEST0100000263CUR_FLOOR2,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000000101,SET_DEST1111111,GET_DEST0100000273CUR_FLOOR1,STATE_RUN1,STATE_DIR1,SET_CALL111111111111,GET_CALL000000000101,SET_DEST1111111,GET_DEST0100000279CUR_FLOOR