【正文】 down_2, 139。//只有當(dāng)前樓層之下的停靠請求，下一狀態(tài)轉(zhuǎn)下降 end else if((up_allamp。pos)amp。(request_allamp。(request_山東建筑大學(xué)信息與電氣工程學(xué)院學(xué)院課程設(shè)計說明書 19 allamp。amp。FLOOR2)posamp。FLOOR6)posamp。//?？?1 時鐘周期后開門 end DOWNSTOP: begin NextState=OPENDOOR。pos)||(down_allamp。amp。FLOOR2)posamp。FLOOR6)posamp。FLOOR3))||((up_allamp。// end else if(request_all||down_all) NextState=UP。 end else begin PosOut=pos。 end OPENDOOR: begin pos=pos。 always(posedge cp_50M) begin case(in) 639。b010000:out=739。//3 639。 output [6:0]out。 UpDnFlag=UPFLAG。 end end 山東建筑大學(xué)信息與電氣工程學(xué)院學(xué)院課程設(shè)計說明書 22 end default: NextState=WAIT。FLOOR6))) NextState=DOWN。FLOOR2))||((up_allamp。FLOOR5)posamp。FLOOR1)posamp。amp。 else//只有低于當(dāng)前層的下降請求 NextState=DOWN。 else NextState=UP。FLOOR5)p osamp。FLOOR1)posamp。amp。(request_allamp。(request_allamp。((down_all^pos)pos))//下降請求中有當(dāng)前樓層的請求否 NextState=UP。 //2nd StateShift always block,binational condition judgement，有限狀態(tài)機第二段 always (LiftState or up_all or down_all or request_all or pos or count or UpDnFlag) case(LiftState) WAIT: begin if(request_all0)//有?？空埱蠓? begin if((request_allamp。 //采用屏蔽時鐘的方法來實現(xiàn)“電梯強制禁止運行”。b000100, FLOOR4=639。//門開后要持續(xù) 5 個時鐘周期 ,用 count 來計數(shù) reg DoorFlag。//否則加 1 end endmodule 智能電梯主控制模塊 module elevator_controller(//input ports: cp_50M,clk,reset,forbid, call_up_1, call_up_2, call_up_3, call_up_4, call_up_5, call_down_2, call_down_3, call_down_4, call_down_5,call_down_6, request_1, request_2, request_3, request_4, request_5, request_6, //output ports: out,LiftState,over_alarm,count_out,count )。采用傳統(tǒng)的“一半就翻轉(zhuǎn)”的計數(shù)技巧。b1, FALSE=139。 通過參數(shù)定義把信號并置的方法和有限狀態(tài)機聯(lián)系起來 parameter WAIT=739?？蓪崿F(xiàn)無等待時間的提前關(guān)門操作，高電平有效； DELAY: 延遲關(guān)門輸入鍵。中國是全球最大的電梯市場，也具有最強的電梯生產(chǎn)能力，但由于缺乏自主知識產(chǎn)權(quán)和核心技術(shù)，自主品牌占市場的份額很少。由用戶向電梯控制器發(fā)出上升請求。 //將各下降請求信號實時地合并 (1 樓為底層 ,無下降請求 ,考慮到通用性 ,將第 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。b010000, FLOOR6=639。 （ c）計數(shù)器部分。h0000000。 wire [6:0]count_out。 //定義樓層的符號常量 parameter FLOOR1=639。b00。 display_decode_count h2(cp_50M,count,count_out)。//有，下一狀態(tài)轉(zhuǎn)為 UPSTOP(?？亢笠?1s 才開門 ,UPSTOP即為這 1s 的過渡期 ) else if((request_allpos)||(up_allpos))//?？炕蛏仙埱笾杏挟?dāng)前樓層之上的請求否 NextState=UP。 else if(((request_allamp。FLOOR4))||((request_allamp。(down_allamp。(down_allamp。amp。pos)amp。((down_all^pos)pos)) NextState=UP。(request_allamp。(request_allamp。amp。FLOOR2)posamp。FLOOR6)posamp。 end else if((up_allpos)||(down_allpos)) NextState=UP。 UpDnFlag=DNFLAG。 end endcase end endmodule 數(shù)碼管譯碼模塊 module display_decode(cp_50M,in,out,over_alarm)。//2 639。b100000:out=739。//0 639。 end CLOSEDOOR: begin pos=pos。 UpDnFlag=STATIC。pos)0) NextState=OPENDOOR。(up_allamp。FLOOR6))) NextState=DOWN。FLOOR2))||((down_allamp。FLOOR5)posamp。FLOOR1)posamp。//開門 5 周期后，關(guān)門 end CLOSEDOOR: 山東建筑大學(xué)信息與電氣工程學(xué)院學(xué)院課程設(shè)計說明書 20 begin if(UpDnFlag==UPFLAG)//開門關(guān)門前電梯是處于上升狀態(tài)嗎 begin if((request_allamp。FLOOR6))) NextState=DOWN。FLOOR2))||((up_allamp。FLOOR5)posamp。FLOOR1)posamp。amp。 else//下降請求中只有當(dāng)前樓層之下的請求 NextState=DOWN。 end 山東建筑大學(xué)信息與電氣工程學(xué)院學(xué)院課程設(shè)計說明書 18 else if((up_allpos)||(down_allpos))//上下請求中有當(dāng)前樓層之上的請求否