6.5 同步时序电路的有限状态机模型
6.5.2 从进程语句建立子模型
2. 合并wait语句