Module 1 — State Explosion & Symmetry Reductions

The state explosion problem and how symmetry reductions combat it. Detect structural symmetry in RTL designs, compute orbit representatives, and shrink the state space before verification begins.

Katas in this module (3)

• Kata 1.1 — Watch the Wall Move
• Kata 1.2 — The Property Has to Be Symmetric
• Kata 1.3 — Manual Symmetry: Fix One, Treat the Rest Uniformly

Part of Industrial Practice: Scaling Formal Verification on formal.org.