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

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

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