Module 9 — Master-Mode Verification

Master-mode verification of an AXI read engine. Prove correct AR channel behavior, response tracking, and error handling.

Katas in this module (3)

• Kata 9.1 — ARADDR Walks
• Kata 9.2 — Fix the Address Update
• Kata 9.3 — Completion Property

Part of AXI Formal Verification on formal.org.