利用有限状态机进行时序逻辑的设计