MST · 工程 AI · MPW 准备
MPW 排错手册：日志、环境与报价
通过三个可重复的练习找出阻碍、记录未知信息，并准备下一次工程沟通。
样例由 MST 制作，以 MIT 许可提供，不含客户设计或晶圆厂 PDK。技术标识和原始日志保留源语言。
验证日志排查
先确认受支持的格式，再区分首个错误与重复警告。不要凭消息长度猜测根因。
逐步操作
- 打开验证日志排查，保留带标签文本格式，载入教学样例。
- 运行后有四条记录、三组问题。PSM-0038 出现两次，首个错误位于第 4 行；可查看原始消息。
- 切换到 KLayout 格式并重新载入样例。三条记录属于两类规则，保留原始矩形坐标；坐标单位为微米，基于对应单元。
- 下载报告，并在 KLayout 标记浏览器中打开 markers.lyrdb 对照相同记录。处理真实问题时须结合原设计与运行证据。
- 尝试仅含 INFO 的片段、未知文本及截断 XML，均不会被判为验证通过。
预期结果
示例有 4 条带标签问题，或 3 条 KLayout 记录／3 个加权标记。标记数不等于豁免后的缺陷数；标签和注释会保留，不自动批准豁免。
本地复现
脚本使用 KLayout 0.30.12 生成含合成标记的报告数据库，不执行晶圆厂规则文件。在独立虚拟环境运行，再用 verify.py 检查文件。
python3 -m venv .venv .venv/bin/python -m pip install -r requirements.txt .venv/bin/python generate_markers.py .venv/bin/python verify.py
来源与支持版本
PDK 环境对照
节点名称相同还不够。比较运行结果前，先对齐 PDK 变体、来源清单指纹、工具版本和必要模型文件的存在性。
逐步操作
- 载入教学样例。左侧为参考要求，右侧为有差异的环境；两者都是合成数据。
- 运行后可见 PDK 版本与 KLayout 版本不一致、模型文件缺失；ngspice 显示未知，不会被误判为缺失或兼容。
- 使用压缩包中的 observed-match.json 替换右侧输入。记录字段会一致，但这不能证明仿真已经执行。
- 在实际运行 EDA 的同一环境采集证据。采集器只读取所选目录和版本信息，不安装或修改 PDK。
- 由项目负责人提供批准的要求清单。在真实环境修正差异、重新采集，再按对应工具的官方步骤运行批准的参考设计。
预期结果
差异样例产生 2 项不一致、1 项文件缺失、1 项版本未知和 2 项一致；对齐样例有 6 项一致。采集器的 pdk_revision 是 SOURCES 文件的 SHA-256，不是猜测的工艺发布名称。
本地复现
在 EDA 环境中使用 Python 3.9 或更新版本运行采集器，指定真实的 SKY130 变体目录。工具或 SOURCES 不可用时输出 null。模型文件存在不代表已加载。OpenLane 官方文档解释 PDK_ROOT 与版本固定，请遵循所用版本的说明。
python3 collect_environment.py --pdk-dir /path/to/sky130A > observed.json python3 verify.py
来源与支持版本
MPW 报价范围比较
面积单价低，最低计费面积较大时总价仍可能更高。样片形态与测试范围要分开比较。
逐步操作
- 载入虚构样例：设计面积 4 mm²，两份报价都交付 20 个封装样片，封装与测试标识一致。
- A 按 10 mm²、100 USD/mm² 计费；B 按 4 mm²、200 USD/mm² 计费。仅制造费用分别为 1,000 和 800 USD。
- A 的测试费留空，工具只显示已知小计 1,550 USD，不编造总额或与 B 排序。
- 在 A 的测试费填写 100。已填费用类别合计为 1,650 和 1,260 USD，A − B 为 390 USD。
- 修改 B 的币种、封装规格、测试覆盖范围或数量，差额会停止显示，直到输入范围再次一致。
预期结果
A：max(4,10) × 100 + 200 + 300 + 100 + 50 = 1,650 USD。B：max(4,4) × 200 + 0 + 300 + 100 + 60 = 1,260 USD。实际测试内容或排除项不同，仍可能不适合直接作采购比较。
本地复现
verify.py 使用 Python Decimal 独立核对教学合计，浏览器使用整数缩放实现精确计算。两者均不提供供应商报价或假定汇率。
python3 verify.py