受け入れイベントとストール中の安定性

転送にはエッジで両信号が必要

Validは供給側が提示するペイロードを持つことを保証します。Readyは受け取り側が現在のエッジで1件受け入れられることを保証します。両信号が高い立ち上がりエッジで、正確に1トランザクションを転送します。ペイロードにはタグ、演算、アドレスなどの付随フィールドすべてが含まれます。validが高いままでも、1件がストールしている場合と、連続するreadyエッジで一連の項目を転送する場合があります。

validが高くreadyが低い間は、validと完全なペイロードを安定して保持します。この契約では、リセットまたは明示的なフラッシュだけがこの義務を取り消せます。供給側がreadyを待ってvalidを上げ、受け取り側がvalidを待ってreadyを上げると、両者が永久に待つ可能性があります。準備した項目はreadyと独立に提示します。このハンドシェイクと安定性の原則はArm AMBA AXI仕様のA3節に記載されています。この小さなストリームは完全なAXIインターフェースの実装ではありません。

Tag4はストール中ずっと変わってはいけません。エッジ2の転送後、供給側はtag5を提示できます。エッジ4のreadyだけではトランザクションは生じません。validだけを数えると入力を失い、データだけを読むと出力を重複させる可能性があります。

この規則は単一クロックドメインを前提とし、クロックドメイン交差やメタステーブルを解決しません。それぞれのハンドシェイクから、受け入れた入力と引き渡した出力を数えます。リセットなしでは、受け入れ数から引き渡し数を引いた値が内部の未完了数と等しくなければなりません。受け入れたタグをキューに入れ、引き渡し時だけ取り出します。この収支とストール中のペイロード検査を組み合わせると、算術値が偶然一致していても、損失、重複、識別情報の変化を検出できます。