Handshake Protocols Across Domains: Theory Deep Dive

Foundational theory

Handshake Protocols Across Domains anchors CDC Protocols & Handshakes. Two-way handshakes guarantee delivery across asynchronous clocks when both request and acknowledge paths are synchronized and protocol invariants are enforced. Senior signoff discussions tie every warning to mechanism class, operational mode, and risk containment evidence.

Core concepts explained

• Two-way handshakes guarantee delivery across asynchronous clocks when both request and acknowledge paths are synchronized and protocol invariants are enforced.

• Primary metric: req/ack completion reliability, deadlock risk, backpressure behavior

• Primary artifact: handshake timing spec, assertion suite, latency histogram

• Owners: RTL owner, verification owner, CDC 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. Protocols, not flops alone, guarantee coherent transfer across domains.

Mental model

SRC: req -----> DEST
SRC: <----- ack  DEST

Rules:
1) req stable until ack observed
2) req/ack each cross through synchronizer
3) no combinational loop across domains

Worked intuition

1. Classify crossing intent and direction.

2. Name clock/reset relationship assumptions.

3. Inspect primary metric: req/ack completion reliability, deadlock risk, backpressure behavior.

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

Req/Ack flow

SRC: req -----> DEST
SRC: <----- ack  DEST

Rules:
1) req stable until ack observed
2) req/ack each cross through synchronizer
3) no combinational loop across domains

Layer responsibilities

CDC/RDC OWNERSHIP LAYERS — Handshake Protocols Across Domains

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

Protocol correctness is the bridge between structural clean and functional safe.

Concept diagram

PROTOCOL FLOW

intent -> transport protocol -> synchronization -> destination acceptance

Metric graph

PROTOCOL ISSUE BURNDOWN

open issues: 20 -> 11 -> 5 -> 0

Reports and artifacts

• FIFO pointer proofs

• req/ack liveness

• pulse miss checks

• protocol assertions

Mini case study

Async FIFO empty/full logic looked correct until gray decode mismatch appeared during reset overlap.

Debug branches

• Pointer sync audit

• formal liveness checks

• reset interaction review

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

Protocols, not flops alone, guarantee coherent transfer across domains.