S
逻辑综合official
SDC 与综合规划
从时钟树、I/O 时序、异步路径、mode/corner 和综合目标出发,生成可审查的 SDC 草案、约束风险表和综合前检查计划。
SDCSynthesisSTAConstraint
公开摘要
When to use
当 RTL 基本稳定,需要进入综合或 STA 约束准备阶段时使用。它帮助工程师把时钟、I/O、false path、multicycle、generated clock、mode/corner 和不确定性整理成可评审的 SDC 草案。
Inputs
- 时钟源、频率、generated clock 关系。
- I/O 接口时序、外部器件假设和 board delay。
- CDC/RDC 路径、异步 reset 和 test mode。
- 面积、功耗、频率目标及综合工具版本。
- 既有 SDC、约束 waiver 和 STA 报告。
Workflow
- 先列出所有 clock domain 和 generated clock 关系,不急着写 exception。
- 区分真实异步、逻辑互斥、测试模式、scan 模式和设计 bug。
- 对每条 false/multicycle exception 给出原因、起点、终点和验证证据。
- 生成 SDC 草案和 review checklist。
- 输出综合前风险:未约束路径、过度约束、mode 漏洞、I/O 假设缺失。 6
完整 SKILL.md 正文和真实下载包需要下载授权
页面公开摘要、元数据、版本历史和审核结论;登录并接受许可后,系统会生成带有效期的签名下载链接。
Benchmark
37/40 cases passed,等级 A。
安全扫描
format-check / secret-scan / static-analysis
版本
v1.1.0,更新于 2026-06-03
自动审核报告
IC Hub 为每个 Skill 版本保留格式校验、依赖检查、风险扫描、Benchmark 和人工复核证据。
审核状态
已通过
Benchmark
90
检查项
7/7
文件数
1
SKILL.md format and section validation: 通过Hardcoded secret scan: 通过High-risk behavior scan: 通过Declared dependency inventory: 通过Sandbox dry-run readiness: 通过Benchmark evidence completeness: 通过Human review gate: 通过
CLI / MCP 一键安装
该 Skill 提供 Codex、Claude Code、Cursor 和 MCP 安装计划。安装前可先 dry-run 检查路径与写入范围,下载包由签名链接授权。
Codex dry-run
pnpm ichub install sdc-synthesis-planner --agent codex --scope user --dry-run
正式安装
pnpm ichub install sdc-synthesis-planner --agent codex --scope user
写入 Codex 官方 Agent Skills 目录,保留完整 SKILL.md 与参考资料。
- 格式
- Skill directory
- 目标路径
- user: ~/.agents/skills/sdc-synthesis-plannerproject: .agents/skills/sdc-synthesis-planner
- 1读取本地 skills/ 目录并校验 SKILL.md 元数据。
- 2复制 Skill 目录到 Codex Agent Skills 目标路径。
- 3保留 references、scripts、assets 等随包资源,便于 Codex 按描述自动触发。
- 4该 Skill 已通过当前静态审核门禁;安装前仍建议核对版本和 SHA256。
兼容旧版 Codex Desktop 的 .codex/skills 路径可用 CLI 的 --agent codex-legacy 兜底。
版本历史
v1.1.0当前版本
2026-06-03- 通过当前格式校验、安全扫描、依赖校验和 Benchmark 记录。
- 同步 Skill metadata、安装说明和下载包审计信息。
sha256:sdc11090
v1.0.9历史版本
2026-05-20- 补齐 Guardrails 与 Compliance 段落。
- 增加 IC Coder 官方维护标识和兼容 Agent 标记。
sha256:72658f7d
v1.0.8历史版本
2026-04-29- 首次进入静态 registry。
- 完成基础摘要、标签、分类和公开元数据整理。
sha256:72658f7e
下载记录预览
平台保留脱敏下载记录、版本、许可确认和授权状态,便于企业内部审计追溯。
记录申请方版本许可状态
DL-DA4C6053ry***@pyjtkj.comv1.1.0待确认待账号
DL-DA4C6054fpga-team-01v1.0.9已接受已签名
DL-DA4C6055edu-lab-trialv1.0.8已接受已过期