乘法器 | 位数 | 加法器重写算法 | 优化算法 | ||
时间/s | 内存/MB | 时间/s | 内存/MB | ||
btor | 16 | 0.03 | 2.09 | 0.01 | 1.86 |
btor | 32 | 0.13 | 3.12 | 0.04 | 2.84 |
btor | 64 | 0.78 | 8.37 | 0.15 | 6.82 |
btor | 128 | 5.68 | 29.18 | 0.70 | 21.99 |
sp-ar-rc | 16 | 0.03 | 2.02 | 0.01 | 2.04 |
sp-ar-rc | 32 | 0.16 | 3.83 | 0.05 | 3.41 |
sp-ar-rc | 64 | 1.07 | 11.21 | 0.21 | 8.80 |
sp-ar-rc | 128 | 7.68 | 40.78 | 0.92 | 30.28 |