1. 子模型的建立：对于每个VHDL进程语句或与之等价的并发语句，建立其相应的有限状态机模型。由于并不是每个进程都与同步时钟有关系，因此，此处建立的子模型只是通常的有限状态机，而非S2-FSM。 2. 子模型的合并与化简：将所有并发语句的子有限状态机并发合并；根据设计实体和结构体部分的声明，对组合后的模型进行封装，得到总的有限状态机；最后根据同步时钟信息进行化简，从而得到一个最终的S2-FSM模型，使之真正具有与设计实体相同的行为特性。 下面详细地讨论子模型的建模算法以及它们的组合算法。