Decision diagram model is a utility to represent data dependence between signals in VLSI designs, and is widely used in VLSI design verification.

决策图模型描述了VLSI设计信号间的数据依赖关系，在VLSI设计验证中有广泛的应用。

youdao

Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.

采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸，解决该问题的一种有效途径是采用反向替换方法。

youdao

Now consider how a decision tree model can be built of the decision structure visualized in the influence diagram.

那么决策树模型又是如何根据可视化影响图网中的结构逐渐形成的呢？

youdao