五层楼电梯控制系统.docVIP

系統晶片驗證 (SoC Verification) Homework #1 93 學年上學期電機系研究所選修課程 943 U0250 五層樓電梯控制系統 (behavior level design) Department:__________________________ Grade:__________ Id:______________________ Name:_______________________ 根據下頁對於五層樓電梯系統的描述, 用C或C++ 實現其behavior-level design。 完成如第5頁所示的Finite State Machine (FSM) , 並加以描述 (__ pts) 實現C或C++ behavior-level model design, 其中輸入輸出格式請按照第4頁所示的格式 (__pts) 執行助教所附的測試輸入程式, 將你的輸出列印出來 (__pts) 五層樓電梯系統 Input : 1 每一層電梯外面有兩個按鈕, 向上及向下鍵 2 Reset訊號, 用來Initial 整各系統 3 電梯內的按鈕包括 開門 關門 緊急按鈕 To1F To2F To3F To4F To5F Output : 1 電梯現在位置 2 電梯的狀態, 包括 上升中 下降中 門開著 門關著 規則 PS : input 信號每秒取樣一次。(即CLK為1HZ) 1 reset鈕按下，電梯回到1F，門關著。 2 警急按鈕按下，電梯回到1F將門打開，直到重新案reset鈕。 3 Door Close-Open 花1秒 Door Open-Close 花1秒 上下一個樓層會花3秒鐘 4 指示開門包括 : 到達目的樓層並開門 ; 位於N樓層並按下To N樓鈕 ; 門開著時按了電梯內開門鈕 ; 在N樓層並按下N樓層外面向上及向下鈕。指示開門後三秒，門會維持開著的狀態，若無再行指示開門，門即關閉。 5 門開著時按了關門鈕即關門(Door Open-Close)。 6 指示開門優先於按下關門。 7 電梯靜止時，往高樓層移動優先於往低樓層移動。 行進時則以行進方向為主，如往5樓中還沒到3樓，但電梯內有人按了3樓，電梯到了三樓就會停下來。往5樓中還沒到3樓，但電梯外有人按了3樓向上，電梯到了三樓就會停下來。往5樓中還沒到3樓，但電梯外有人按了3樓向下，電梯到了三樓不會停下來。要等到向下時才會停下。 8 5F往上的鈕和一樓往下的鈕室除了指示開門外沒有其他功能。 9 電梯移動時按開門鈕是沒有用的。 程式架構 inputvector.txt Outvector.txt FSM 除了Reset 和 Emergency 例外狀況以外的FSM