bb-check-cdc

To check for CDC violations in RTL before synthesis, this skill analyzes normalized AST alongside MAS clock-domain data to identify cross-domain signal paths lacking 2-FF synchronizers. It outputs a structured cdc_report.json detailing violations, crossings, and waivers for pre-synthesis remediation.

Conservative CDC verification using AST and MAS data is a method that surfaces cross-domain signal crossings by mapping normalized abstract syntax trees against clock-domain information. It detects paths missing proper 2-FF synchronization to prevent metastability in RTL designs.

You identify RTL signal paths missing 2-FF synchronizers by running a conservative CDC check against AST and MAS clock-domain data. The generated report flags unsynchronized cross-domain crossings and documents valid synchronizers and applied waivers.

Yes, you can integrate CDC checks into an automated RTL design pipeline. It is designed for pre-synthesis steps in Babel's 5-agent pipeline, outputting a structured cdc_report.json that enables downstream agents to evaluate pass/fail status and drive remediation automatically.

Yes, this CDC checker supports waivers for known cross-domain crossings. The generated cdc_report.json explicitly categorizes waivers alongside violations, crossings, and synchronizers, allowing downstream agents to distinguish intentional design choices from actual synchronization failures.

The best way to report clock-domain crossings in RTL designs is using a conservative AST and MAS analysis that outputs a structured cdc_report.json. This report captures violations, identified crossings, synchronizers, and waivers to guide downstream remediation decisions.