CDC / RDC · All levels

Multi-bit Crossing Strategies: Theory Deep Dive

Theory Deep Dive for Multi-bit Crossing Strategies.

Foundational theory

Multi-bit Crossing Strategies anchors Reconvergence & Gray Coding. Bundled-data handshakes, FIFOs, source-synchronous strobes, and encoded protocols each trade latency, area, and proof complexity. Senior signoff discussions tie every warning to mechanism class, operational mode, and risk containment evidence.

Core concepts explained

  • Bundled-data handshakes, FIFOs, source-synchronous strobes, and encoded protocols each trade latency, area, and proof complexity.

  • Primary metric: coherency guarantee coverage, data corruption incidents, protocol overhead

  • Primary artifact: strategy decision matrix, interface timing contract, verification plan

  • Owners: architecture owner, RTL owner, CDC lead

  • 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. Reconvergence failures are logic-level hazards caused by asynchronous skew.

Mental model

diagram
bundle+valid/ready  : moderate latency, strong coherency
async FIFO         : high robustness, area cost
source strobe      : throughput friendly, timing contract heavy
token protocol     : explicit ordering, more control logic

Worked intuition

  1. Classify crossing intent and direction.

  2. Name clock/reset relationship assumptions.

  3. Inspect primary metric: coherency guarantee coverage, data corruption incidents, protocol overhead.

  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

Strategy matrix

diagram
bundle+valid/ready  : moderate latency, strong coherency
async FIFO         : high robustness, area cost
source strobe      : throughput friendly, timing contract heavy
token protocol     : explicit ordering, more control logic

Layer responsibilities

diagram
CDC/RDC OWNERSHIP LAYERS — Multi-bit Crossing Strategies

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

Reconvergence failures are timing + logic coupling hazards.

Concept diagram

diagram
RECONVERGENCE

branch A sync --                 -> merge logic -> illegal combination window
branch B sync --/

Metric graph

diagram
HAZARD REPRODUCTION RATE

before fix: 1/2000 runs
after fix: 0/100000 runs

Reports and artifacts

  • reconvergence warnings

  • gray transition checks

  • hazard replay traces

  • multi-bit strategy map

Mini case study

Gray pointer was legal, but downstream merge decoded mixed-era values during burst stress.

Debug branches

  • Trace fanin cones

  • align event windows

  • verify decode assumptions

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

Reconvergence failures are logic-level hazards caused by asynchronous skew.