IC 验证周报｜2026 年第 39 周
信息覆盖范围
- 时间范围：2026-09-21 00:00 至 2026-09-27 23:59（北京时间，ISO 2026 年第 39 周）。
- 收录原则：仅收录覆盖期内正式发布或合入上游主线、能从原始页面核对时间且与数字 IC 验证直接相关的内容。
- 事实边界：dvSim 两项为正式版本；Verilator 两项仅确认已合入
master，不等同于已进入稳定版。工程落地建议均为编辑判断。
本周速览
本周的有效增量集中在开源验证基础设施。lowRISC 的 dvSim 1.54.0 新增 Verilator 仿真插件，随后 1.54.1 补上外部命令失败时的输出回报；Verilator 主线则优化了 covergroup 大量 bins 的生成方式并增加运行时上限，同时修复 disable fork、wait fork 错误影响待处理 NBA 更新的问题。对验证团队最直接的启示是：把新后端接入回归矩阵时，既要验证通过路径，也要专门验证失败日志、覆盖率规模和并发调度语义。
标准与方法学
本周暂无值得单独收录的更新。
工具与开源项目
dvSim 1.54.0 正式加入 Verilator 后端
已确认事实（发布时间：2026-09-22，北京时间）：lowRISC 在 dvSim v1.54.0 发布页列出两项功能：增加 Verilator 仿真工具插件，并把 Verilator 注册为可选仿真工具。这是正式版本发布，而不是尚未合入的提案。
编辑判断：已经用 dvSim 管理多工具回归的项目，可以开始评估同一 testlist 在 Verilator 上的编译、运行和结果归一化；但不应默认现有商用仿真器选项能够原样迁移。建议先选纯数字、无 SDF、少量 DPI/VPI 的冒烟集，对比退出码、seed、超时、波形和覆盖率产物，再逐步扩大范围。
dvSim 1.54.1 补齐失败命令输出
已确认事实（发布时间：2026-09-24，北京时间；GitHub published_at 为 2026-09-23 16:41:31 UTC）：lowRISC 在 dvSim v1.54.1 发布页说明，当 run_cmd 执行失败时会报告命令输出。该修复在 1.54.0 后约一天发布。
编辑判断：这项变化虽小，却直接影响 CI 首轮分诊。升级后可故意制造一次编译失败和一次工具缺失，确认日志中保留实际命令输出，同时检查凭据和绝对路径是否需要脱敏。
Verilator 主线改善大规模 covergroup bins
已确认事实（合入时间：2026-09-26，北京时间）：Verilator 的 PR #8499 已合入 master。维护者说明，新实现把数组 bins、bins auto[N] 和隐式自动 bins 转换为算术区间查找，避免 sample() 为每个 bin 生成一个 if；PR 给出的项目内测量中，16,384 bins 的 C++ 编译时间由 g++ 81 秒降至 1.1 秒，clang 从内存不足变为约 1.0 秒，并新增 --coverage-max-bins 与 --coverage-max-real-bins 运行时限制。该数字是项目方在 PR 中给出的结果，本刊未独立复现。
编辑判断：依赖大枚举空间或自动 bins 的团队可在后续正式版本出现后，用真实 covergroup 比较生成代码体积、编译峰值内存和采样吞吐；在此之前，不建议生产回归仅为此特性直接追踪主线。
Verilator 修复 fork 控制误伤 NBA 更新
已确认事实（合入时间：2026-09-26，北京时间）：Verilator 的 PR #8483 修复了 disable fork 和 wait fork 会影响待处理 nonblocking assignment（NBA）更新的问题。提交者称已在 VCS、Questa 和 Xcelium 上对照测试；这属于项目方说明，尚未由本刊独立验证。
编辑判断：使用 fork/join、事件触发与 NBA 混合调度的 UVM 环境，应把最小复现加入跨仿真器语义回归。判定标准应包括同一时间槽内的更新顺序和最终状态，而不只是测试是否退出成功。
工程实践
为新仿真后端准备三层验收
结合本周更新，建议把后端接入验收拆成三层：第一层检查编译、运行、超时和失败日志；第二层检查 seed、波形、覆盖率数据库和结果归档；第三层用 fork/NBA、零延迟事件、DPI/VPI 及复杂 covergroup 等语义敏感用例做跨工具对照。前两层保证流水线可运维，第三层才回答“结果是否等价”。这是编辑建议，不是 dvSim 或 Verilator 的官方兼容性承诺。
行业与岗位动态
本周暂无值得单独收录的更新。
本周推荐
推荐从 dvSim v1.54.0 的 Verilator 插件开始，配合 v1.54.1 一并评估。重点不是立即替换现有仿真器，而是建立一组可重复的后端准入测试：失败是否可诊断、结果是否可归档、语义是否能与基准工具对齐。
来源与说明
本期采用 4 个一手来源页面，均在覆盖期内发布或完成合入：
- lowRISC dvSim v1.54.0（发布时间：2026-09-22，北京时间；正式版本）。
- lowRISC dvSim v1.54.1（发布时间：2026-09-24，北京时间；正式版本）。
- Verilator PR #8499：Optimize covergroup bin generation and add runtime limits（合入时间：2026-09-26，北京时间；开发主线）。
- Verilator PR #8483：Fix disable fork and wait fork affecting pending NBA updates（合入时间：2026-09-26，北京时间；开发主线）。
本期没有发现覆盖期内值得单独收录的标准发布或可靠岗位动态。Verilator 项尚未作为稳定版本发布，使用者应等待后续 release notes，或在隔离环境中自行验证主线提交。