| ... | ... | @@ -152,7 +152,7 @@ a * b + c = d |
|
|
|
- define t_hi=(t2)+(t3)\*2^64
|
|
|
|
- define carry_lo = (t0 + (t1 << 64) - c_lo) >> 128
|
|
|
|
- define carry_hi = (t2 + (t3 << 64) + carry_lo - c_hi) >> 128
|
|
|
|
- 如果是 0 行，约束 num_row is 6,并且约束 cnt 自增的有效性
|
|
|
|
- 如果是 0 行，约束 num_row, 并且约束 cnt 自增的有效性
|
|
|
|
- a_lo = u16 sum(rotation cur)
|
|
|
|
- a_hi = u16 sum(rotation -1)
|
|
|
|
- b_lo = u16 sum(rotation -2)
|
| ... | ... | |
