Module 2 — AXI-Lite Read

Verify the read path of an AXI-Lite slave. Prove AR channel handshake properties, R channel response ordering, and correct data return.

Katas in this module (3)

• Kata 2.1 — Read-Channel Warm-up
• Kata 2.2 — Fix the AR-Acceptance Logic
• Kata 2.3 — Bound the Outstanding Read Counter

Part of AXI Formal Verification on formal.org.