【文章內(nèi)容簡(jiǎn)介】 。b0010000, OPENDOOR=739。b0100000, CLOSEDOOR=739。b1000000。 //定義樓層的符號(hào)常量 parameter FLOOR1=639。b000001, FLOOR2=639。b000010, FLOOR3=639。b000100, FLOOR4=639。b001000, FLOOR5=639。b010000, FLOOR6=639。b100000。 parameter TRUE=139。b1, FALSE=139。b0。 //定義門打開和門關(guān) 閉的符號(hào)常量 parameter OPEN=139。b1, CLOSED=139。b0。 //定義電梯上升，下降和靜止的符號(hào)常量 parameter UPFLAG=239。b01,DNFLAG=239。b10,STATIC=239。b00。 assign real_clk=(clkamp。(~forbid))。 //采用屏蔽時(shí)鐘的方法來(lái)實(shí)現(xiàn)“電梯強(qiáng)制禁止運(yùn)行”。方法雖然違反了“同步電路最好 //沒(méi)有時(shí)鐘門控”的要求，但是在此只要“負(fù)面影響”不是很大還是可以接受的。 //將各上升請(qǐng)求信號(hào)實(shí)時(shí)地合 并 (6 樓為頂層 ,無(wú)上升請(qǐng)求，考慮到通用性，將第 4 位填零 ) always @(call_up_1 or call_up_2 or call_up_3 or call_up_4 or call_up_5) up_all={139。b0, call_up_5, call_up_4, call_up_3, call_up_2, call_up_1}。 //將各下降請(qǐng)求信號(hào)實(shí)時(shí)地合并 (1 樓為底層 ,無(wú)下降請(qǐng)求 ,考慮到通用性 ,將第 1 位填零 ) always @(call_down_2 or call_down_3 or call_down_4 or call_down_5 or call_down_6) down_all={call_down_6, call_down_5, call_down_4, call_down_3, call_down_2, 139。b0}。 //將各?？空?qǐng)求信號(hào)實(shí)時(shí)地合并 always @(request_1 or request_2 or request_3 or request_4 or request_5 or request_6) 山東建筑大學(xué)信息與電氣工程學(xué)院學(xué)院課程設(shè)計(jì)說(shuō)明書 17 request_all={request_6, request_5, request_4, request_3, request_2, request_1}。 always @(posedge real_clk or posedge reset) if(reset) count=0。 else if((NextState==OPENDOOR)amp。amp。(count5))//or else if(NextState==OPENDOOR) count=count+1。//如果計(jì)數(shù)不到 5 且下一狀態(tài)為 OPENDOOR 的話 ,繼續(xù)計(jì)數(shù) else count=0。//清零 ,以備下次計(jì)數(shù) //display which floor the elevator is.... display_decode h1(cp_50M,PosOut,out,over_alarm)。 display_decode_count h2(cp_50M,count,count_out)。 // finite state machine in the style of three segments ，三段式 //1st StateShift always block,sequential state transition，有限狀態(tài)機(jī)第一段 always @(posedge real_clk or posedge reset) if(reset) begin LiftState=WAIT。 end else LiftState=NextState。 //2nd StateShift always block,binational condition judgement，有限狀態(tài)機(jī)第二段 always @(LiftState or up_all or down_all or request_all or pos or count or UpDnFlag) case(LiftState) WAIT: begin if(request_all0)//有?？空?qǐng)求否 begin if((request_allamp。pos)0)//?？空?qǐng)求中有當(dāng)前樓層停靠請(qǐng)求否 NextState=OPENDOOR。//有當(dāng)前樓層請(qǐng)求，則下一狀態(tài)轉(zhuǎn)開門 else if(request_allpos)//有當(dāng)前樓層之上的停靠請(qǐng)求否（優(yōu)先向上的請(qǐng)求） NextState=UP。//有則，下一狀態(tài)轉(zhuǎn)上升 else NextState=DOWN。//只有當(dāng)前樓層之下的停靠請(qǐng)求，下一狀態(tài)轉(zhuǎn)下降 end else if((up_allamp。pos)||(down_allamp。pos))//上下請(qǐng)求中有當(dāng)前樓層請(qǐng)求否 begin NextState=OPENDOOR。 end 山東建筑大學(xué)信息與電氣工程學(xué)院學(xué)院課程設(shè)計(jì)說(shuō)明書 18 else if((up_allpos)||(down_allpos))//上下請(qǐng)求中有當(dāng)前樓層之上的請(qǐng)求否 NextState=UP。 else if(up_all||down_all)//上下請(qǐng)求中有當(dāng)前樓層之下的請(qǐng)求否 NextState=DOWN。 else NextState=WAIT。//無(wú)任何請(qǐng)求，繼續(xù)處于 WAIT 模式 end UP: begin if((request_allamp。pos)||(up_allamp。pos))//?？炕蛏仙?qǐng)求中有當(dāng)前樓層的請(qǐng)求否 NextState=UPSTOP。//有，下一狀態(tài)轉(zhuǎn)為 UPSTOP(?？亢笠?1s 才開門 ,UPSTOP即為這 1s 的過(guò)渡期 ) else if((request_allpos)||(up_allpos))//停靠或上升請(qǐng)求中有當(dāng)前樓層之上的請(qǐng)求否 NextState=UP。 else if(down_all0)//有下降請(qǐng)求否 begin if((down_allpos)amp。amp。((down_all^pos)pos))//下降請(qǐng)求中有當(dāng)前樓層的請(qǐng)求否 NextState=UP。 else if((down_allamp。pos)||(posFLOOR6)) //其實(shí)這樣做意義不大，只是使上下標(biāo)志提前變化 NextState=UPSTOP。 else if((down_allamp。pos)amp。amp。(pos==FLOOR6))//事實(shí)上不滿足第一條件的話，電梯根本不會(huì)到達(dá)第四層 NextState=DOWNSTOP。 else//下降請(qǐng)求中只有當(dāng)前樓層之下的請(qǐng)求 NextState=DOWN。 end else if(request_all||up_all)//只有當(dāng)前樓層之上的?？炕蛏仙?qǐng)求否 NextState=DOWN。 else NextState=WAIT。//無(wú)任何請(qǐng)求，轉(zhuǎn)為 WAIT 模式 end //DOWN 的狀態(tài)轉(zhuǎn)移請(qǐng)參見 UP 的狀態(tài)轉(zhuǎn)移 DOWN: begin if((request_allamp。pos)||(down_allamp。pos)) NextState=DOWNSTOP。 else if(((request_allamp。FLOOR1)posamp。amp。(request_allamp。FLOOR1))||((request_allamp。FLOOR2)posamp。amp。(request_allamp。FLOOR2))||((request_allamp。FLOOR3)posamp。amp。(r