该例程执行了大量整数乘法。

This routine performs a lot of integer multiplication.

youdao

是一个十进制数，所有的结果都充分考虑整数乘法，浮点数学吗？

Is Multiplying a decimal number where all results are full integers, considered Floating Point Math?

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