Module 10 — Memcpy DMA Sign-Off

Capstone: formally verify a memcpy DMA engine. Prove AXI master compliance, data integrity, and correct completion signaling.

Katas in this module (3)

• Kata 10.1 — AWVALID Dropped
• Kata 10.2 — Fix the AW Transition
• Kata 10.3 — Data Integrity

Part of AXI Formal Verification on formal.org.