至此，对给定的进程语句，我们可以按下列指导来建立状态机。
　　（1） 对进程语句部分的表达式中出现的每个信号，对应一个输入变量，该变量保存其当前的有效值。
　　（2） 对进程体中出现的每个尚未删除的变量，建立一个状态变量与之对应，该变量保存其当前值。
　　（3） 对进程体中出现在信号赋值语句左边作为赋值目标的每个对象，建立一个输出变量与之对应，并保存该信号驱动器的值。
　　（4） 由b中状态变量的初始值构成状态机的初始状态。
　　（5） 由b中状态变量所对应的变量的判决图来构造状态转换函数。用BDD隐式表示赋值表达式，并标记这个赋值是否与时钟相关。
　　（6） 由c中输出信号的判决图来构造输出函数。用BDD隐式表示赋值表达式，并标记这个赋值是否与时钟相关。
　　在进程P中，CW，V为内部状态变量，F为输出信号，M，N为输入信号。
　　至此，我们就可以产生相应的子模型M=< I, O, S, s₀, TF, OF >，其中：输入变量 I包括表达式以及敏感列表中出现的信号，输出变量O为赋值表达式的目标信号（即赋值对象），状态变量S包括进程语句内部定义的变量或信号。状态变量的初始值构成状态机的初始状态。从消除数据相关性后得到的每个赋值对象的赋值判决图来构造相应的TF及OF，并采用BDD表示。
　　对并行语句而言，它完全等价于一个进程，所以它的转换原理与进程完全相同，这里不再赘述。下节我们将介绍如何将这些子模型组合起来形成整个电路设计的有限状态机。