Agent skill

cdc-analysis

Specialized skill for clock domain crossing analysis and synchronizer design in FPGA designs

Stars 514
Forks 31

Install this agent skill to your Project

npx add-skill https://github.com/a5c-ai/babysitter/tree/main/library/specializations/fpga-programming/skills/cdc-analysis

SKILL.md

CDC Analysis Skill

Overview

Expert skill for Clock Domain Crossing (CDC) analysis and synchronizer design, ensuring metastability-safe multi-clock FPGA designs.

Capabilities

  • Identify all clock domain crossings in RTL
  • Design 2FF and 3FF synchronizers with ASYNC_REG
  • Implement Gray code counters for async FIFOs
  • Design handshake protocols (req-ack, valid-ready)
  • Calculate MTBF for synchronizers
  • Generate CDC constraints (set_false_path, set_max_delay)
  • Detect CDC violations (reconvergence, data stability)
  • Support Xilinx CDC-aware design flows

Target Processes

  • cdc-design.js
  • reset-strategy.js
  • clock-network-design.js
  • timing-constraints.js

Usage Guidelines

Synchronizer Types

  • 2FF Synchronizer: Standard single-bit synchronization (MTBF > 100 years typical)
  • 3FF Synchronizer: High-reliability applications
  • Pulse Synchronizer: Edge detection across domains
  • Handshake Synchronizer: Multi-bit data with control signals

FIFO Design

  • Use Gray code for pointer crossing
  • Ensure proper empty/full flag generation
  • Consider almost-empty/almost-full for flow control
  • Apply correct FIFO depth calculation

Constraint Guidelines

  • set_false_path for 2FF synchronizer paths
  • set_max_delay for data bus with valid synchronization
  • set_clock_groups for asynchronous clocks
  • Apply ASYNC_REG attribute to synchronizer flip-flops

CDC Violations to Detect

  • Combinational logic between synchronizer stages
  • Fan-out from unsynchronized signals
  • Reconvergence of synchronized signals
  • Data stability violations

Dependencies

  • CDC analysis tool integration
  • Vendor-specific CDC rule knowledge
  • Metastability theory understanding

Expand your agent's capabilities with these related and highly-rated skills.

a5c-ai/babysitter

gsd-tools

Central utility skill for GSD operations. Provides config parsing, slug generation, timestamps, path operations, and orchestrates calls to other specialized skills. Acts as the unified entry point that the original gsd-tools.cjs provided via its lib/ modules (commands, config, core, init).

514 31
Explore
a5c-ai/babysitter

model-profile-resolution

Resolve model profile (quality/balanced/budget) at orchestration start and map agents to specific models. Enables cost/quality tradeoffs by selecting appropriate AI models for each agent role.

514 31
Explore
a5c-ai/babysitter

verification-suite

Plan structure validation, phase completeness checks, reference integrity verification, and artifact existence confirmation. Provides the structured verification layer ensuring GSD artifacts are well-formed and complete.

514 31
Explore
a5c-ai/babysitter

state-management

STATE.md reading, writing, and field-level updates. Provides cross-session state persistence via .planning/STATE.md with structured fields for current task, completed phases, blockers, decisions, and quick tasks.

514 31
Explore
a5c-ai/babysitter

git-integration

Git commit patterns, formats, and conventions for GSD methodology. Provides atomic commits per task, structured commit messages, planning file commits, branch management, and milestone tag operations.

514 31
Explore
a5c-ai/babysitter

frontmatter-parsing

YAML frontmatter parsing and manipulation for .planning/ documents. Provides read, write, update, query, and validation operations on frontmatter blocks in GSD markdown artifacts.

514 31
Explore

Didn't find tool you were looking for?

Be as detailed as possible for better results