See references/cdc-patterns.md for synchronizer types, common violations, and SDC constraint templates.
Prerequisites
RTL modules required with multiple clock domains:
rtl/**/*.svfiles must exist with{domain}_clksignals
If prerequisite is missing: WARNING — recommend running /rtl-agent-team:rtl-p4-implement.
Proceed with available artifacts — orchestrator will adapt scope.
Execution
Task(subagent_type="rtl-agent-team:p5s-cdc-orchestrator", prompt="Execute CDC verification. User input: $ARGUMENTS")
Do not perform any work directly. The orchestrator agent manages clock domain identification, cross-domain analysis, SDC constraint generation, and optional commercial CDC tool integration.
Output
reviews/phase-5-verify/{module}-cdc-report.md— CDC analysis with VIOLATION/CAUTION/PASS verdictsyn/constraints/cdc_constraints.sdc— generated SDC constraints for identified crossings