檢核算術契約

八位元有號運算元提供 K=4 個乘積，且沒有偏置。累加器必須保留完整精確總和，包括最負輸入相乘的乘積。應依整個歸約選擇位元寬度；輸出尺度轉換在之後才進行。