Staged Formal + Simulation Hand‑Off

This repo documents a multi-stage verification flow that chains a formal cover to replayed traces and then launches further checks from baked-in states. The walkthrough in docs/source/index.rst explains the method, sharp edges, and a working req/ack example you can reproduce with SymbiYosys.