CDC signoff is the methodology that turns “we synchronised the crossings” into evidence: a reviewed setup, a classified structural inventory, timing constraints that mean what they say, waivers with proof, gates with criteria, honest dashboards, and dynamic checks behind the structure. This section teaches that methodology end to end. Circuit-level synchroniser design lives in the RTL course; this section assumes it and asks whether every crossing has the right one, with proof.
Topic | Lessons | After it you can... |
|---|---|---|
4 | Run the setup-analyse-classify-fix loop and choose hierarchical versus flat analysis. | |
4 | Judge clock-group and false-path exceptions and review constraints against the inventory. | |
4 | Write, evidence, review, and expire waivers — and spot the anti-patterns. | |
4 | Run gates with checklists, judge readiness, and hand off to implementation and test. | |
4 | Track, read, and defend honest signoff metrics across revisions. | |
4 | Combine formal, injection, and gate-level checks in regression with ownership. |
That every crossing is synchronised, constrained, waived-with-evidence, or fixed — timing passing only shows the synchronous paths meet their numbers.