Module 1 — Skid Buffer

Formally verify a skid buffer — the fundamental AXI handshake primitive. Prove VALID stability, READY back-pressure, and data integrity under all legal master behaviors.

Katas in this module (3)

• Kata 1.1 — Skid Buffer Warm-up
• Kata 1.2 — Derive the Stability Property
• Kata 1.3 — Sign-off Report

Part of AXI Formal Verification on formal.org.