6.5 同步时序电路的有限状态机模型 6.5.2 从进程语句建立子模型 　子模型建模问题的最大难点在于进程语句中语句是顺序执行的，而抽象后的子模型的转换关系是并行赋值。 　考虑这样一个结构体：该结构体只有一个进程语句，并且在进程语句中实体说明中的输入端口是被读信号，输出端口是被赋值信号。 　这样我们可以很容易地看出，模型中的输入变量、输出变量和状态变量分别对应于进程语句中的被读信号、被赋值信号和在进程语句中说明的变量。状态转换函数和输出函数可以从变量和信号的赋值中提取。初始状态对应于进程变量的初始值。