SAED32 PDK 工具级验证报告 20260929-031505

工具级验证

• ✅ dc_synth — DC 综合：读 SAED32 rvt .db，综合最小 RTL 出网表
• rc=0；期望标识 已出现：PDK_VERIFY_OK
• ✅ pt_timing — PT 时序：读同一 .db 与综合网表，报时序
• rc=0；期望标识 已出现：PDK_VERIFY_OK
• ✅ vcs_sim — VCS 仿真：编译 SAED32 标准单元行为模型并跑通最小激励
• rc=0；期望标识 已出现：PDK_VERIFY_OK
• ✅ icc2_lib — ICC2 物理：读取 Milkyway 库与技术文件，列出单元
• rc=1；期望标识 已出现：PDK_VERIFY_OK

库可见性抽查

• ✅ 192.168.31.18：rc=0；期望 'PDK_VERIFY_OK' 已出现
• ✅ 192.168.31.19：rc=0；期望 'PDK_VERIFY_OK' 已出现
• ✅ 192.168.31.20：rc=0；期望 'PDK_VERIFY_OK' 已出现
• ✅ 192.168.31.25：rc=0；期望 'PDK_VERIFY_OK' 已出现
• ✅ 192.168.31.26：rc=0；期望 'PDK_VERIFY_OK' 已出现
• ✅ 192.168.31.27：rc=0；期望 'PDK_VERIFY_OK' 已出现

判定：✅ 通过 / ❌ 未达期望 / ⚠️ 无法判定（连接层或命令不可用）

---

来源：/home/rain/Documents/eda_tools_ins/Synopsys/synopsys_pdk_saed32_20260929/reports/tools-verify-20260929-031505.md ｜ 最后更新：2026-09-29 03:15（由 build/sync.py 同步，请勿在站点侧修改）