20 / 20 · Khái niệm
Đánh giá tích hợp RTL và mở rộng
Nối mô hình học tập với giao diện RTL và bằng chứng kiểm chứng.
Bài học miễn phí. Đăng ký để lưu tiến độ học tập.
Phân chia trách nhiệm lõi và lớp bao
Lõi mảng xử lý chuyển tiếp toán hạng có thanh ghi, MAC có dấu, valid/thẻ và advance toàn cục. Lớp bao xử lý start/clear, kích thước ma trận, tọa độ khối, cấp biên lệch thời gian, thu kết quả có mặt nạ và bắt tay đầu ra. Định nghĩa mỗi trách nhiệm bằng tên tín hiệu và quy ước cạnh.
Lớp bao đơn giản dùng IDLE, CLEAR, RUN, COLLECT và SEND. CLEAR bảo đảm một cạnh khởi tạo trước dữ liệu. RUN tiến các bước logic 0 đến K+2N−3. Kết quả hoàn thành ngay sau cạnh RUN cuối; COLLECT sao chép chúng tại cạnh sau. Điều này tránh sao chép bộ tích lũy cũ tại cùng cạnh với cập nhật không chặn cuối của nó.
Tính ví dụ độ trễ tích hợp
Với N=K=2, clear tại E−1 và tính toán tại E0..E3. Giả sử E4 sao chép bốn kết quả song song vào bộ đệm kết quả. Đầu ra một kết quả mỗi cạnh với ready luôn đúng gửi mười chín, hai mươi hai, bốn mươi ba và năm mươi tại E5..E8 theo thứ tự hàng. Đo từ clear đến lần truyền cuối gồm mười cạnh lên E−1..E8, so với bốn cạnh tính toán. Chặn đầu ra kéo dài SEND mà không đổi giá trị đã hoàn thành.
Tải kết quả cần job và tọa độ toàn cục, cùng biểu diễn thô hoặc lượng tử hóa xác định. Không xóa bộ tích lũy trước khi kết quả được sao chép an toàn hoặc nhận. Chồng lấp tính toán tiếp theo với SEND cần quyền sở hữu bộ đệm và tách job.
Xem lại quy ước khi mở rộng thiết kế
Bộ nhân pipeline thay đổi thời gian tích lũy, thẻ và hoàn thành. Chia khối chiều rút gọn cần giữ tổng riêng và phân tích độ rộng mới. Chồng lấp công việc cần trạng thái tích lũy riêng. FIFO lưu value, valid và thẻ như một tải, và cần kiểm tra tràn/thiếu.
Tài liệu kiến trúc Gemmini cung cấp ví dụ từ nguồn gốc nơi lưu trữ cục bộ và di chuyển dữ liệu đi cùng mảng. Máy trạng thái và ví dụ thời gian của chúng ta là quy ước học tập được xác định độc lập.
Nộp kích thước, độ rộng, lịch biên, định nghĩa hoàn thành, chính sách tạm dừng/reset, thứ tự đầu ra và log bảng theo dõi. Kiểm tra Node xác lập hành vi mô hình tham chiếu. Mô phỏng RTL, tổng hợp, khép kín thời gian và tích hợp sản phẩm cần lệnh thực thi và bằng chứng riêng trước khi khẳng định thành công.
Tự thử
Trong ví dụ tích hợp, chặn ready hai cạnh sau E6. Cạnh truyền cuối và tổng số cạnh đo trở thành gì?
Đọc giải thích
Chờ tại E7 và E8, rồi gửi hai kết quả còn lại tại E9 và E10. Lần truyền cuối là E10; đo E−1..E10 gồm mười hai cạnh. Tính toán vẫn là bốn cạnh E0..E3, và dữ liệu bị chặn phải giữ.