Module 6 — Address Decoder

Formally verify an AXI address decoder. Prove that each address range maps to exactly one slave and that no requests are silently dropped.

Katas in this module (3)

• Kata 6.1 — Wrong Slave Selected
• Kata 6.2 — Fix the Match Formula
• Kata 6.3 — Address Match Correctness

Part of AXI Formal Verification on formal.org.