get_cdc_report
Parse CDC reports to count violations by clock pair, severity, and rule, returning bounded JSON details for signoff analysis.
Instructions
解析 CDC 报告,按时钟对、严重级别和规则计数并返回有界明细 JSON。
现场执行 report_cdc -details -return_string;离线读取原始 UTF-8 报告。 计数单位为报告检查项,摘要与明细不重复累加,不能当总线位/端点数。 未验证完整时钟/IO 约束覆盖,默认报告可能隐藏豁免;signoff 始终 false, 空结果或 All paths are Safely Timed 不代表 CDC clean。本工具不修改约束。
Args: session_id: 现场查询会话 ID。 report_file: 可选本地原始 report_cdc -details 文本,最多 16 MiB,无需会话。 max_details: 返回明细上限,0..500;超过上限仍统计完整输入并明确截断。
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | No | default | |
| max_details | No | ||
| report_file | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |