CDC / RDC · All levels

Two-Flop Synchronizers in Practice: Theory Deep Dive

Theory Deep Dive for Two-Flop Synchronizers in Practice.

Foundational theory

Two-Flop Synchronizers in Practice anchors Metastability & Synchronizers. A two-flop chain lowers metastability propagation risk for level signals, but only when source assumptions, pulse width, and destination sampling are respected. Senior signoff discussions tie every warning to mechanism class, operational mode, and risk containment evidence.

Core concepts explained

  • A two-flop chain lowers metastability propagation risk for level signals, but only when source assumptions, pulse width, and destination sampling are respected.

  • Primary metric: single-bit CDC clean rate, pulse capture reliability, latency cycles

  • Primary artifact: CDC structural report, RTL synchronizer pattern list, assertion checks

  • Owners: RTL owner, CDC owner, verification owner

  • Distinguish structural cleanliness from functional correctness.

  • Tie every waiver to silicon-risk framing and expiry.

Why this matters at signoff

At tapeout, unresolved CDC/RDC issues become latent reliability bugs. Metastability is probabilistic physics managed through architecture and timing assumptions.

Mental model

diagram
SRC -----> [FF1] -----> [FF2] -----> DEST logic
            async sample    filtered sample

Valid for stable level signals.
Not sufficient for narrow pulses or multi-bit buses.

Worked intuition

  1. Classify crossing intent and direction.

  2. Name clock/reset relationship assumptions.

  3. Inspect primary metric: single-bit CDC clean rate, pulse capture reliability, latency cycles.

  4. Collect structural plus dynamic evidence.

  5. Differentiate real hazard from tool noise.

  6. Pick smallest safe fix and define regression matrix.

  7. Document signoff rationale or waiver ownership.

Common misconceptions

  • CDC clean report means protocol is proven.

  • All resets are equivalent if assertion works.

  • Gray code alone guarantees FIFO correctness.

  • Waivers are harmless schedule shortcuts.

Visual reinforcement

Two-flop chain limits

diagram
SRC -----> [FF1] -----> [FF2] -----> DEST logic
            async sample    filtered sample

Valid for stable level signals.
Not sufficient for narrow pulses or multi-bit buses.

Layer responsibilities

diagram
CDC/RDC OWNERSHIP LAYERS — Two-Flop Synchronizers in Practice

layer                 owns                            common failure
------------------    -----------------------------   -----------------------------
design intent         crossing architecture           wrong topology selected
protocol semantics    req/ack, fifo, ordering        liveness/deadlock bugs
reset behavior        assert/deassert sequencing      boot instability
analysis setup        tool rules + waivers            false confidence
signoff governance    risk acceptance + dashboard     stale critical waivers

CDC/RDC deep dive

Metastability is managed risk, not eliminated risk.

Concept diagram

diagram
METASTABILITY FLOW

async event -> first sample may metastabilize
 -> settle window
 -> downstream sample confidence

Metric graph

diagram
MTBF TREND

target MTBF ---------
current design   ____/

Reports and artifacts

  • MTBF assumptions

  • synchronizer inventory

  • crossing class summary

  • critical waivers

Mini case study

Pulse sync chosen for a level signal caused intermittent stuck state under voltage stress.

Debug branches

  • Validate crossing class first

  • Check pulse width assumptions

  • Audit synchronizer template usage

Senior review question

Ask: what evidence proves this risk is closed for silicon, not just tool-clean?

Key takeaways

  • State crossing class, assumptions, and owner with every issue.

  • Run structural and dynamic regressions after each fix.

Common pitfalls

  • Treating all warnings as equivalent risk.

  • Waiving issues without containment evidence.

  • Skipping reset and reconvergence stress after CDC fixes.

Theory reinforcement

Metastability is probabilistic physics managed through architecture and timing assumptions.