rtl-p5s-cdc-verify
CommunityFind CDC risks and generate SDC constraints
Authorbabyworm
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Many multi-clock RTL designs suffer from undetected clock domain crossing (CDC) bugs such as missing synchronizers, improper multi-bit transfers, and reconvergence issues that lead to intermittent metastability and silicon failures. This Skill provides a structured, static-analysis-driven approach to detect those risks early and produce actionable remediation guidance.
Core Features & Use Cases
- Perform structural CDC analysis to map registers to clock domains and enumerate cross-domain signals.
- Verify synchronizer patterns (2-FF, 3-FF, gray-code, handshake, async FIFO) and flag Violations/Cautions with explanations and remediation steps.
- Generate human-readable CDC reports and SDC constraint files for signoff and downstream EDA tools; useful during pre-synthesis sign-off, new clock domain additions, or CDC checklist audits.
Quick Start
Run CDC verification on the top module to produce a CDC analysis report and corresponding SDC constraints.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: rtl-p5s-cdc-verify Download link: https://github.com/babyworm/rtl-agent-team/archive/main.zip#rtl-p5s-cdc-verify Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.