6.5 同步时序电路的有限状态机模型
6.5.2 从进程语句建立子模型
6. 生成状态机