产出该输出的 Skills：Timing report (setup and hold)

★ 207 · 更新于 2026-06-30

从 RTL 到门级网表执行逻辑综合，包括 SDC 约束验证、编译与优化、网表质量检查及 LEC 等价性验证。