Module 9 — AXI4-Lite Protocol and Security

Prove AXI4-Lite compliance: VALID and address stability, write-response ordering, plus AWPROT privilege, TrustZone boundary and debug-lockdown security properties.

Katas in this module (6)

• Kata 9.1 — VALID Stability
• Kata 9.2 — Address Stability
• Kata 9.3 — Write Response Ordering
• Kata 9.4 — AWPROT Privilege Check
• Kata 9.5 — TrustZone Boundary
• Kata 9.6 — Debug Region Lockdown

Part of Hardware Formal Verification on formal.org.