Bảng theo dõi và bất biến

Tách hai tham chiếu

Dùng tham chiếu toán học trực tiếp để tính tổng rộng bằng các vòng i/j/k độc lập. Dùng mô hình thời gian riêng để di chuyển A sang phải và B xuống dưới. Sao chép hàm chỉ số RTL vào mô hình chuẩn có nguy cơ lặp cùng lỗi. Bắt đầu với ví dụ cố định tính tay, rồi mở rộng sang đầu vào ngẫu nhiên tái lập được.

Dùng job và tọa độ đầu ra toàn cục làm khóa bảng theo dõi kết quả. So sánh mỗi giá trị nhận và đánh dấu khóa đã nhận. Khóa lặp là trùng lặp, khóa ngoài kỳ vọng là lỗi địa chỉ, khóa kỳ vọng chưa nhận là thiếu. Kết quả 0 vẫn cần chuyển giao. Tọa độ đệm ngoài phạm vi không bao giờ được lưu.

Kiểm tra bất biến trong mảng

Mỗi PE phải nhận chính xác [0,1,...,K−1]. Toán hạng hợp lệ ghép cặp cần thẻ job và k bằng nhau. Count nằm giữa 0 và K. Cạnh tạm dừng giữ toán hạng, valid, thẻ, bộ tích lũy và count. Clear để count và bộ tích lũy bằng 0, không còn token hợp lệ. Kết quả bị chặn giữ data và job trong khi valid vẫn được kích hoạt.

Trong ví dụ 2×2, PE cuối chứa mười tám sau E2 và năm mươi sau E3. Lỗi global-done tại E2 phải làm sai cả kiểm tra số lẫn thời gian. Ngược lại, lặp và bỏ các tích bằng giá trị có thể giữ tổng cuối; theo dõi số hạng phát hiện sự trùng hợp đó.

Lưu hạt giống ngẫu nhiên, ma trận, kích thước, độ rộng và vị trí tạm dừng. Ghi PE, số hạng và cạnh vật lý đầu tiên không khớp. Lỗi thẻ có chủ ý phải thất bại nhìn thấy được thay vì âm thầm biến mất.

Quan sát nhất quán trạng thái sau E_t. Thực thi tham chiếu Node, biên dịch RTL, mô phỏng RTL, tổng hợp, khép kín thời gian, thực thi dự án DDS và thử bo mạch xác lập các sự kiện khác nhau. Các chương trình Node được cung cấp xác nhận mô hình số học và lịch. Kiểm tra RTL tương lai có thể tái dùng dữ liệu thử, nhưng phải giữ phiên bản công cụ, lệnh và log riêng.