Module 7 — Compositional Crossbar

Compositional verification of an AXI crossbar. Prove routing correctness and response ordering by composing per-port formal properties.

Katas in this module (3)

• Kata 7.1 — Responses Get Crossed
• Kata 7.2 — Fix the Grant Lifetime
• Kata 7.3 — Response Routing Correctness

Part of AXI Formal Verification on formal.org.