Sự kiện chấp nhận và tính ổn định khi dừng

Một lần truyền cần cả hai tín hiệu tại cạnh

Valid cam kết nguồn có tải dữ liệu để đưa ra. Ready cam kết đích có thể chấp nhận một tải tại cạnh hiện tại. Cạnh lên có cả hai tín hiệu cao truyền đúng một giao dịch. Tải gồm mọi trường đi kèm, như thẻ, phép toán hoặc địa chỉ. Tín hiệu valid giữ cao có thể biểu thị một phần tử đang dừng hoặc chuỗi phần tử truyền tại các cạnh ready liên tiếp.

Khi valid cao và ready thấp, giữ valid và toàn bộ tải ổn định. Quy ước của chúng ta chỉ cho phép đặt lại hoặc xóa luồng rõ ràng hủy nghĩa vụ đó. Nếu nguồn chờ ready trước khi kích hoạt valid còn đích chờ valid trước khi kích hoạt ready, cả hai có thể chờ mãi. Đưa ra phần tử đã chuẩn bị độc lập với ready. Các nguyên tắc bắt tay và ổn định này được ghi trong đặc tả AMBA AXI của Arm, mục A3. Luồng nhỏ này không phải triển khai giao diện AXI đầy đủ.

Tag4 phải không đổi trong suốt thời gian dừng. Sau khi truyền tại cạnh 2, nguồn có thể đưa ra tag5. Chỉ ready tại cạnh 4 không tạo ra giao dịch. Chỉ đếm valid có thể mất đầu vào; chỉ đọc dữ liệu có thể nhân đôi đầu ra.

Các quy tắc này giả định một miền xung nhịp. Chúng không giải quyết chuyển miền xung nhịp hay trạng thái siêu ổn định. Đếm đầu vào được chấp nhận và đầu ra được chuyển giao từ các lần bắt tay tương ứng. Khi không đặt lại, số đã chấp nhận trừ số đã chuyển giao phải bằng công việc nội bộ đang chờ. Xếp hàng các thẻ đã chấp nhận và chỉ loại chúng khi chuyển giao. Kết hợp phép đối soát đó với kiểm tra tải đang dừng để phát hiện mất, trùng lặp và thay đổi danh tính ngay cả khi giá trị số học tình cờ giống nhau.