Module 3 — AXI-Lite Write

Verify the write path of an AXI-Lite slave. Prove AW/W channel coordination, B channel response timing, and protocol compliance.

Katas in this module (3)

• Kata 3.1 — Write-Channel Warm-up
• Kata 3.2 — Fix the BVALID Logic
• Kata 3.3 — Prove the Write-Ordering Invariant

Part of AXI Formal Verification on formal.org.