Thiết kế kiểm tra có dấu và biên

Chọn đầu vào phân biệt các lỗi

Ví dụ 2×2 dương làm lộ độ lệch và chỉ số, nhưng không mở rộng dấu hay bão hòa. Ma trận toàn một giúp kiểm tra đếm nhưng có thể che chuyển vị. Dùng giá trị bất đối xứng, số âm, 0 và các hàng cột khác nhau.

A=[[2,−1],[0,3]] và B=[[4,5],[−2,1]] tạo [[10,9],[−6,3]]. Nó gồm đầu ra dương, âm và số 0 hợp lệ. B đơn vị phải tái tạo A. B toàn 0 phải tạo đầu ra 0 trong khi mọi PE vẫn nhận K số hạng.

Với W=8, K=4, lặp nhỏ nhất×nhỏ nhất cho 65536; lặp nhỏ nhất×lớn nhất cho −65024; lặp lớn nhất×lớn nhất cho 64516. Tất cả vừa AW=18. Chỉ thử toán hạng dương lớn nhất sẽ bỏ sót tích dương lớn nhất.

Với hàng A [−128,−128,127,127] và cột B [−128,127,−128,127], các tích là [16384,−16256,−16256,16129]. Tổng bằng một, với tổng tiền tố [16384,128,−16128,1]. Kết quả cuối nhỏ không cho phép bộ tích lũy trung gian hẹp.

Bao quát biên kích thước và điều khiển

N=1,K=1 hoàn thành sau E0. N=3,K=1 vẫn hoàn thành sau E4 vì toán hạng đi qua lưới. N=1,K=5 là tích vô hướng năm cạnh không có độ lệch không gian. Thử K=1,2,3,4 đi qua biên độ rộng bộ đếm, nhất là khác biệt giữa lưu K−1 và lưu K.

Chèn tạm dừng trước MAC đầu, giữa phép rút gọn và trước MAC cuối. Chặn đầu ra sau hoàn thành. Đặt lại sau clear, giữa công việc và khi kết quả hợp lệ đang chờ. Đầu ra công việc cũ sau reset là lỗi. So sánh kích thước khối chia hết với kích thước dư một hàng hoặc cột; xác minh mặt nạ theo tọa độ.

Với mỗi trường hợp vượt kiểm tra, nêu ma trận, danh sách số hạng đã nhận chính xác, số cạnh advance, số tạm dừng và tọa độ đầu ra đã chuyển giao. Kiểm tra âm tính cần loại lỗi kỳ vọng. Tách kiểm tra bộ tích lũy chính xác khỏi lượng tử hóa đầu ra. Dữ liệu biên cố định cộng thử ngẫu nhiên có hạt giống cho phép tái lập lỗi đồng thời mở rộng bao phủ hơn một ví dụ.