EDA程序设计中,FSM单进程与双进程的设计,case语句。