检查算术约定

八位有符号操作数产生 K=4 个乘积，不加入偏置。累加器必须保留完整的精确和，包括最小负输入相乘产生的乘积。按整个归约选择位宽；输出比例转换在之后进行。