What problem does it solve?
Provides a consistent, auditable way to aggregate and normalize clock domain crossing (CDC) and connectivity tool outputs so that automated gate decisions and LLM assessments can be made with quantitative support and traceable rationale.
Core Features & Use Cases
- Quantitative + Qualitative Gate Philosophy: Combines svlens numeric reports with LLM-driven contextual judgments so gates require both metrics and documented rationale.
- svlens Modes: Covers svlens cdc, conn, and metrics modes for structural CDC checks, port connectivity, and RTL transformation complexity.
- Commercial Tool Wrappers: Defines invocation conventions for spyglass, vc_cdc, and questa_cdc and normalizes outputs into a common JSON schema.
- Normalized Results: Produces consistent fields such as tool, violations_count, cautions_count, info_count, report_path, and replay_path for CI/regression checks.
Quick Start
Run the CDC tool profiles to generate normalized svlens or commercial CDC JSON reports and a classification summary for the specified top-level design.