CDC / RDC · All levels
RDC Structural Checks: Step-by-Step Walkthrough
Step-by-Step Walkthrough for RDC Structural Checks.
Step-by-step analysis walkthrough
Use this sequence when owning RDC Structural Checks in a signoff review.
Inspect warning class and severity.
Trace crossing endpoints and domains.
Check protocol/reset assumptions against spec.
Review synchronizer or FIFO implementation detail.
Run focused assertion or formal check.
Draft fix options with risk and schedule impact.
Execute regression and publish closure memo.
Artifacts to collect
RDC structural report, reset intent annotation, waiver log
crossing inventory
waiver board notes
regression report
Decision memo template
CDC/RDC DECISION MEMO — RDC Structural Checks
risk class:
mechanism:
evidence:
fix/waiver:
owners: RDC owner, RTL owner, methodology leadReference visuals
RDC structural classes
reset source A controls flop in domain B
|
release relationship legal?
/ \
yes no
pass violation/waiver reviewCDC/RDC deep dive
Reset release ordering is a first-order reliability contract.
Concept diagram
RESET RELEASE FLOW
assert global -> clocks stable -> sync release per domain -> first transactionMetric graph
BOOT STABILITY
passes per 1k boots: 920 -> 980 -> 999Reports and artifacts
reset dependency matrix
RDC warning classes
boot stress logs
waiver aging
Mini case study
Domain B released before producer A was valid, causing rare startup deadlock.
Debug branches
Correlate reset and clock timelines
verify async assert/sync release
exercise skewed release tests
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.
Principal CDC/RDC review addendum
RDC tools detect reset-origin and release-domain mismatches; violations must be triaged by intent, not mechanically waived.
Metric: unsafe reset crossing count, unresolved RDC warnings, waiver backlog