Module 4 — AXI to Wishbone Read

Formally verify the AXI-Lite to Wishbone read bridge. Prove correct translation of AR channel requests to Wishbone read cycles.

Katas in this module (3)

• Kata 4.1 — Bridge Counter Underflow
• Kata 4.2 — Fix the Decrement Event
• Kata 4.3 — Bound In-Flight Reads

Part of AXI Formal Verification on formal.org.