Module 5 — AXI to Wishbone Write

Formally verify the AXI-Lite to Wishbone write bridge. Prove correct translation of AW/W channel bursts to Wishbone write cycles.

Katas in this module (3)

• Kata 5.1 — Premature WB Write
• Kata 5.2 — Fix the AW/W Join
• Kata 5.3 — Bound In-Flight Writes

Part of AXI Formal Verification on formal.org.