Course map
- 1 lesson
Starts with How to Use This Course
- 1 lesson
Starts with Reading Path
- 1 lesson
Starts with CDC/RDC Glossary
- 1 lesson
Starts with CDC/RDC Metrics Reference
- 1 lesson
Starts with CDC/RDC Interview Prep
- 1 lesson
Starts with CDC/RDC Signoff Cheatsheet
- 8 lessons
Starts with What Is a Crossing?
- 16 lessons
Starts with Metastability Mechanism
- 16 lessons
Starts with Why Pulses Need Help
- 16 lessons
Starts with The One-Bit-Change Rule
- 16 lessons
Starts with Why Deassertion Is the Hazard
- 16 lessons
Starts with Choosing Domain Boundaries
- 24 lessons
Starts with The Generic CDC Flow
- 16 lessons
Starts with The RDC Signoff Flow
- 11 lessons
Starts with Anatomy of a Report
- 30 lessons
Starts with The Answer Framework
- 4 lessons
Starts with Capstone Brief
About this course
This course teaches CDC and RDC signoff: how to classify every crossing, choose a safe structure, prove it with structural, formal, and simulation evidence, and close the design with waivers a reviewer can trust. It assumes you can already write synchronous RTL and have met clocks, resets, and timing reports before.
Who it is for
Design engineers who add crossings to RTL and want structures that pass signoff the first time.
Verification and signoff engineers who run the methodology: setup, constraints, structural and formal checks, simulation, waivers, and gates.
Interview candidates who need mechanism-first answers, whiteboard frameworks, and scenario practice.
Three paths through the course
Each path is an ordered list. Read it top to bottom; every section assumes the vocabulary of the ones above it.
Design engineer: foundations, synchronisers, protocols, architecture rules. Clock Domains and Failure Modes, then Metastability and Synchronizers, then CDC Protocols and Handshakes, then Architecture and Design Rules. The decision matrix at the end of the synchroniser section is the payoff: any crossing type to its pattern.
Verification and signoff engineer: methodology, constraints, formal and simulation, RDC signoff, debug. CDC Signoff Methodology first, including CDC Constraints and STA and Formal and Simulation CDC Verification, then RDC Signoff, then Debug and Case Studies for report triage practice.
Interview: frameworks, scenarios, the bank. Start with the interview overview, then work Interview Prep: the whiteboard framework, the scenario walkthroughs, and the Q&A bank. Attempt every framework drill on a whiteboard before reading its sample answer.
What you will be able to do
Classify the crossing type and clock relationship before proposing any fix.
Draw the two-flop synchroniser, recite its five rules, and spot each broken rule in RTL.
Map any crossing to its pattern with the decision matrix and name the review hazard.
Size a FIFO from burst, rate mismatch, and synchroniser latency; state what full and empty guarantee.
Judge a finding's severity class and choose fix, protocol change, or evidenced waiver.
Write a waiver with reference, argument, proof, constraint, owner, and expiry.
Sequence reset release (receivers before senders) and debug ordering failures.
Explain reconvergence, Gray limits, and MTBF behaviour in interview-proof words.
Section map
Section | Topics | One line |
|---|---|---|
2 | Crossing vocabulary, the five failure modes, and the clock-and-reset inventory. | |
4 | MTBF reasoning, the two-flop synchroniser and its rules, multi-bit hazards, and pattern selection. | |
4 | Pulse schemes, handshakes, async FIFOs, and proving protocols correct. | |
4 | The one-bit-change rule, reconvergence analysis and fixes, multi-bit strategies, and debug. | |
4 | Release hazards, release ordering and isolation, structural RDC checks, and the reset debug playbook. | |
4 | Partitioning, gated and muxed clocks, interface rules, and quasi-static discipline that make signoff easy. | |
6 | Tool flow, constraints, waivers, review gates, dashboards, and formal plus simulation methods. | |
4 | RDC methodology, reset-aware simulation, chip-level closure, and the RDC dashboard. | |
3 | Report triage order, classic bug anatomy, and end-to-end case studies. | |
4 | Whiteboard frameworks, assessed scenarios, and the graded Q&A bank. | |
4 | Sign off a small multi-clock peripheral: classify, fix, verify, waive, and close. |
How to study
Read each lesson in nav order, starting with How to Use This Course and the Reading Path for your role.
Run the examples where the lesson gives runnable code, and answer every check-yourself before revealing the answer.
Keep the Glossary and the Cheatsheet open beside every topic.
Finish with the Capstone Signoff Lab: classify its report, fix the design, verify, waive what remains, and sign off.
The capstone
The Capstone Signoff Lab is a small multi-clock peripheral with a fabricated, clearly labelled illustrative report and a runnable design plus testbench. You triage the findings, repair the RTL, waive what is genuinely safe, and assemble the signoff package. Treat it as the exam.
Time and prerequisites
Allow about 25 hours to read through, about 45 hours if you run every example and work the exercises. First read the RTL companions on Metastability and Synchronisation, Asynchronous FIFO, CDC Protocols, Reset Architecture, and Reset Domain Crossing: this course teaches signoff, not those design patterns.
Check yourself Which path should a designer who only ever adds single-bit enables follow, and where does it end?
The design-engineer path: foundations, synchronisers, protocols, then architecture rules. It ends at the decision matrix, which maps even a simple enable to its pattern and its review hazard.