6.5 同步时序电路的有限状态机模型 6.5.2 从进程语句建立子模型 　3. 消除依赖性 　在模拟的过程中，要对表达式中出现的对象求值。对变量来说，要给出当前值。因而如果这个变量在当前模拟周期内并且在表达式前被赋值，当前值依赖于那次赋值。这是变量与信号的一个重要区别。因为在状态机中各个状态转换函数之间赋值、求值要彼此无关，所以要建立状态机，必须要消除这种相关性。 　因此，我们必须区分表达式中的变量是在当前模拟周期内且表达式前被赋值，还是在以前的模拟周期内被赋值。前者可称为可化简变量，后者可称为不可化简变量。下面我们给出可化简变量和不可化简变量的具体定义。