6.5 同步时序电路的有限状态机模型 6.5.2 从进程语句建立子模型 　5. 赋值对象的判决图 　在简化后的执行树中，对对象（包括信号和变量）的赋值各自是无关的。因此，要获得每个赋值对象自己的特征函数，可以为每个赋值对象分别常见一个执行树的副本，并从中删去所有包含其它对象赋值的顶点，从而得到对该对象赋值的判决图。