backward substitution method
backward substitution method
逆向代换法
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.
采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸，解决该问题的一种有效途径是采用反向替换方法。
youdao
更多双语例句