Module 8 — AXI-Lite Firewall

Formally verify an AXI firewall. Prove that access violations are detected, reported, and never forwarded to downstream slaves.

Katas in this module (3)

• Kata 8.1 — Protocol Violation Propagates
• Kata 8.2 — Fix the Request Forwarding
• Kata 8.3 — Single-Issue Invariant

Part of AXI Formal Verification on formal.org.