【正文】 _all^pos)pos)) NextState=UP。 end else if(request_all||up_all)//上升和?？空埱笾杏挟?dāng)前層的請求且只有當(dāng)前層下的請求 NextState=DOWN。pos)) NextState=OPENDOOR。(request_allamp。(request_allamp。(request_allamp。(request_allamp。(request_allamp。(request_allamp。amp。amp。amp。amp。amp。amp。FLOOR1)posamp。FLOOR2)posamp。FLOOR3)posamp。FLOOR4)posamp。FLOOR5)posamp。FLOOR6)posamp。 else if((up_allamp。 else NextState=WAIT。 else NextState=DOWN。 end else if((up_allpos)||(down_allpos)) NextState=UP。 endcase //3rd StateShift always block,the sequential FSM output，有限狀態(tài)機第三段 always (posedge real_clk or posedge reset)//output if(reset) //復(fù) 位后初始化當(dāng)前樓層為第一層 ,門是關(guān)閉的 ,電梯是靜止的 begin pos=FLOOR1。//PosOut 的輸出慢 pos 一個時鐘周期 case(NextState) WAIT: //狀態(tài)為 WAIT 時 ,樓層不變 ,門是關(guān)閉的 ,電梯是靜止的 ,其他模式的情況請大家自己推導(dǎo) begin pos=pos。 DoorFlag=CLOSED。 UpDnFlag=DNFLAG。 山東建筑大學(xué)信息與電氣工程學(xué)院學(xué)院課程設(shè)計說明書 23 end DOWNSTOP: begin pos=pos。 DoorFlag=OPEN。 UpDnFlag=UpDnFlag。 end endcase end endmodule 數(shù)碼管譯碼模塊 module display_decode(cp_50M,in,out,over_alarm)。 output over_alarm。b000000:out=739。b111_1001。//2 639。b001000:out=739。b001_0010。//6 default:over_alarm=1。b100000:out=739。//4 639。b011_0000。b000010:out=739。//0 639。 reg over_alarm。 input cp_50M。 DoorFlag=CLOSED。 end CLOSEDOOR: begin pos=pos。 UpDnFlag=DNFLAG。 DoorFlag=CLOSED。 end DOWN: begin pos=pos1。 UpDnFlag=STATIC。 UpDnFlag=STATIC。 else begin NextState=WAIT。pos)||(down_allamp。pos)0) NextState=OPENDOOR。 else NextState=UP。(up_allamp。(up_allamp。(up_allamp。(up_allamp。(up_allamp。(up_allamp。FLOOR6))) NextState=DOWN。FLOOR5))||((down_allamp。FLOOR4))||((down_allamp。FLOOR3))||((down_allamp。FLOOR2))||((down_allamp。FLOOR1))||((down_allamp。 else if(((down_allamp。FLOOR6)posamp。FLOOR5)posamp。FLOOR4)posamp。FLOOR3)posamp。FLOOR2)posamp。FLOOR1)posamp。//無任何請求，轉(zhuǎn)為 WAIT 模式 end //請參考 UpDnFlag=UPFLAG 的注釋 else if(UpDnFlag==DNFLAG) begin if((request_allamp。pos)0)//有當(dāng)前樓層的下降請求信號，且更上層無下降請求 NextState=OPENDOOR。 else if(down_all0)//有下降請求否 begin if((down_allpos)amp。//開門 5 周期后，關(guān)門 end CLOSEDOOR: 山東建筑大學(xué)信息與電氣工程學(xué)院學(xué)院課程設(shè)計說明書 20 begin if(UpDnFlag==UPFLAG)//開門關(guān)門前電梯是處于上升狀態(tài)嗎 begin if((request_allamp。 end UPSTOP: begin NextState=OPENDOOR。(pos==FLOOR1)) NextState=UPSTOP。(posFLOOR1)) NextState=DOWNSTOP。FLOOR6))) NextState=DOWN。FLOOR5))||((up_allamp。FLOOR4))||((up_allamp。FLOOR3))||((up_allamp。FLOOR2))||((up_allamp。FLOOR1))||((up_allamp。 else if(up_all0) begin if(((up_allamp。FLOOR6)posamp。FLOOR5)posamp。FLOOR4)posamp。FLOOR3)posamp。FLOOR2)posamp。FLOOR1)posamp。amp。amp。amp。amp。amp。amp。pos)||(down_allamp。 else//下降請求中只有當(dāng)前樓層之下的請求 NextState=DOWN。 else if((down_allamp。amp。pos)||(up_allamp。 end 山東建筑大學(xué)信息與電氣工程學(xué)院學(xué)院課程設(shè)計說明書 18 else if((up_allpos)||(down_allpos))//上下請求中有當(dāng)前樓層之上的請求否 Ne