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