| ... | ... | @@ -399,7 +399,14 @@ arithmetic中的布局: |
|
|
|
输入：length,offset,data_size
|
|
|
|
输出：real_length, zero_length
|
|
|
|
|
|
|
|
|
|
|
|
## U64Overflow
|
|
|
|
|
|
|
|
一行：
|
|
|
|
- operand: a_hi a_lo w w_inv
|
|
|
|
- u16s: a_lo 分拆成8个u_16
|
|
|
|
- 约束：w=a_lo的前64位 + a_hi<<64
|
|
|
|
- w和w_inv的simple is zero约束
|
|
|
|
在core里可以使用4个数[a_hi a_lo w w_inv]进行lookup，再加一个Tag = U64Overflow。使用w*w_inv表示0/1，是否u64 overflow。
|
|
|
|
|
|
|
|
# 实现 arithmetic 子电路中 Add 例子
|
|
|
|
|
| ... | ... | |
