中级数字验证简历最常见的一页：一长串 testcase 数量、VIP 名称、覆盖率又一次 98%，再加「负责模块级/子系统级验证」。面试官看完仍不知道：vplan 是你维护的还是你执行的，夜间回归 fail 谁在 4 小时内分诊，覆盖率最后 5% 是补场景还是堆 waiver。
负责 DMA/总线子系统 UVM 验证，集成 AXI VIP，编写大量随机与定向用例，覆盖率收敛至 98%，推动设计修复若干 bug，维护回归测试，参与验证报告输出。
这段话三年经验和七年经验都能用。中级岗要的不是「会写 sequence」，而是一条 IP 从特性清单到可评审闭环的负责人痕迹。
中级 IC 验证简历的核心坑：用执行量（用例数、跑过回归）代替机制（vplan 追踪、缺口分类、分诊门槛、可复用 agent）。
他会被问：「功能覆盖最后卡在什么类型的点？你怎么决定定向还是改约束？VIP checker 不够用时你补在哪一层？」如果简历只有「集成 VIP」，现场只能描述菜单点击。
先搞清楚：中级 IC 验证简历要证明什么
大约 3–7 年、能独立扛一块 IP 或子系统的人，面试官看这六样（和初级不重叠）：
第一，你是不是这条验证链的负责人。 vplan 条目、覆盖率模型、回归集、签核差距表，至少有一块你说了算，而不是「按计划执行用例」。
第二，你有没有留下机制。 可复用 UVC、RAL 生成、fail 分类脚本、covergroup 命名规范——别人能接着用，而不是只有你能跑。
第三，覆盖率闭环是策略不是蛮跑。 unhit / illegal / unreachable 分类，定向、约束权重、waiver 评审各管一类。
第四，跨团队对齐有记录。 和设计对 spec 歧义、和 VIP 厂商对 checker 缺口、和 DFT/后端对 GLS 范围，有结论而不是「沟通能力强」。
第五，回归是受控的。 nightly 规模、失败率、分诊时限、超时 vs 断言 vs scoreboard 的分类。
第六，不要写成验证经理。 带一个新人用检查单，可以写；定全公司方法论、tapeout 门禁，留给高级。
一、验证计划：写追踪关系，不要写「参与制定 vplan」
中级和初级的分界，经常就是 vplan 在不在你手里。
改前
根据设计规格制定验证计划，分解测试点并开发用例。
改后
描述符 DMA IP 的 vplan 维护（我为 owner）
规格 86 条功能拆成 120 个 coverpoint / 18 个 cross，表里每条有：规格段落号、对应 sequence 或 SVA、当前 hit、缺口处理（补测 / illegal / waiver）。RTL drop 改了「描述符链式中断」语义后，我把 6 个点标红，两周内补 3 条定向、改 1 组约束，缺口清零。签核会用这张表，而不是一句「覆盖率 98%」。
我不管全芯片系统场景；那些行在表里标为 SoC 团队责任，避免假闭合。
写完能被追问：规格改了谁有义务更新 vplan？你如何防止用例还在、点已经过时？
二、可复用环境与 VIP：写你抽的边界和 checker 缺口，不要写「集成 VIP」
「集成 AXI VIP」是中级简历最高频空话。要写：哪些 agent 是你抽的，VIP 的 checker 哪里不够、你补在哪。
改前
搭建可复用 UVM 环境，集成 AXI/APB VIP，完成子系统验证。
改后
AXI master UVC 抽取 + VIP checker 补洞（子系统级）
把三个子系统重复的 AXI master agent 抽成公司内 UVC（sequence item、driver 时序、monitor TLM）。VIP 自带 protocol checker 不查「4KB 跨界 + 窄传输」组合，我在 scoreboard 上一层加了边界检查，拦到 1 个 DUT 在 4KB 边界拆 beat 时写 strobe 错误。UVC 后来被另外两个 IP 复用；接口变更走 changelog，禁止直接改 VIP 加密库。
买 VIP 的决策不在我；我负责的是「VIP 覆盖声明 vs 我们 vplan」的差集清单（当时差 7 条，关闭 5 条，2 条接受为系统级再测）。
机制 = 差集清单 + 补洞层级 + 复用约束。不是 VIP 品牌名。
三、覆盖率收敛：给缺口分类和手段，不要给最终分数
中级面试官听「收敛到 98%」会问：那 2% 是什么。简历里先答。
改前
负责覆盖率分析与收敛，补充测试用例直至达标。
改后
中断控制器功能覆盖收敛（我定分类规则）
把未命中点分成三类：①unhit 合法场景（改约束权重或加定向）；②illegal（DUT 规格禁止，vplan 标记，不进目标）；③unreachable（死代码或 generate 关掉的参数）。某次 line coverage 卡在 93%，toggle 更低：其中 11 个点是 reserved IRQ 号，illegal；4 个是仿真加了
ifdef的 DFT 桩，unreachable，waiver 绑 DFT 同事 owner。合法 unhit 只剩「同时 4 个 IRQ 嵌套」。纯随机 2000 seed 仍打不中，我写了 virtual sequence 在同一拍拉 4 根 irq。功能覆盖从 91% 到 97%；剩下 3% 是芯片不实现的安全扩展，项目经理在缺口表签字接受。
收敛故事的高潮是分类规则，不是数字本身。
四、夜间回归：写失败率、分诊和分类，不要写「负责回归」
回归农场的负责人痕迹是：失败不再是「有人看 log」。
改前
负责验证回归测试管理，保证回归稳定运行。
改后
DMA 子系统 nightly（我维护集与分诊门槛）
约 800 test × 各 5 seed。引入时 fail rate 约 12%（大量超时和已知 RTL 未合入）。我做了三件事：①按 fail 头部分类 timeout /
uvm_fatal/ scoreboard / SVA；②已知 bug 用+UVM_MAX_QUIT_COUNT和 skip 列表绑定 Jira 号，禁止无票 skip；③工作日 10:00 前分诊完毕，P0（环境无法启动）当天必须有 owner。两周后新 fail 率约 3%，其中一半是 RTL drop 当天引入。仿真器是 VCS；覆盖率 merge 用 Urg。我不写「管理回归农场」——那是公司 IT 的机器；我写的是测试集和分诊规则。
五、寄存器：RAL 要对上硬件语义，不要写「使用 UVM RAL」
RAL 人人会生成。中级要写一次 frontdoor/backdoor 不一致。
改前
使用 UVM RAL 完成寄存器验证，覆盖读写与复位值。
改后
从 IP-XACT 生成 regmodel（我维护映射）
复位值、W1C、RO 字段与规格表对齐。某次 backdoor 读状态寄存器与 frontdoor 不一致：W1C 的
xfer_done在 frontdoor 写 1 后 RTL 没清，VIP 寄存器模型却清了。根因是 IP-XACT 把该 bit 标成 RW。我改模型并给设计提规格勘误；补了「W1C 写 1 后必须再读 0」的定向。此后寄存器 regress 从「看复位值」改成「按访问类型各至少一条」。
六、断言：写协议不变量，不要写「具备 SVA 经验」
改前
编写 SystemVerilog Assertion，提升验证完备性。
改后
AXI 握手不变量（挂在 interface 上的 concurrent SVA）
valid && !ready |=> valid（valid 在等待期间不得掉）拦到 RTL 在 retry 时把awvalid拉低一拍，功能测试因为 driver 恰好同拍 ready 而漏掉。断言失败直接uvm_error，回归第 2 天必现。我还加了 cover property 统计 stall 周期直方图，给性能同事一份「写通道平均 stall 3.2 拍」——这是验证副产品，不是我负责性能签核。
SVA 的简历写法：不变量原文级别的描述 + 漏检过的功能测 + 固化方式。
七、门级与 X 态：写范围和多抓到的 bug，不要写「具备 GLS 经验」
没有做过就整节删掉。做过就写范围，避免听起来像全芯片后仿负责人。
改前
具备门级仿真经验，理解 SDF 反标与 X 态传播。
改后
DMA 模块 GLS（SDF 反标，我负责的范围）
范围：模块网表 + 本模块 SDC 意图，不包含顶层 PAD。复位释放后 X 传播进描述符指针，功能仿因为 2 态模型看不到。我加了 X-prop 检查并和设计约定「复位后 4 拍内指针必须为已知值」。GLS 额外抓到 2 个问题：一是异步复位释放未同步，二是门控时钟使能与 valid 同拍。两者都不是覆盖率数字能替代的。
八、缺陷闭环：写可复现包和规格条款，不要写「推动设计修 bug」
改前
定位仿真 bug 并主动推动设计端完成闭环。
改后
缺陷单标准（我要求验证侧发出去的最小包）
必带：复现命令与 seed、Verdi 时间戳、对应规格章节、TB/RTL/spec 三选一的初步判断、是否已有回归用例。设计说「复现不了」时，我用同一 seed 在干净树跑出波形再贴。平均关闭周期从约 11 天降到约 5 天（仅统计我所在 IP，N≈40 单）。规格歧义不强制设计改代码：先开 spec ticket，vplan 对该点暂停闭合。
九、让执行可交接：检查单，而不是「指导初级同事」
中级可以写带人，但证据是模板，不是人格。
改前
指导初级验证工程师完成环境搭建和用例开发。
改后
sequence / covergroup 评审检查单（组内采用）
新人提交必须回答：约束有没有排除 vplan 已标 illegal；coverpoint bin 是否与规格枚举一致；fail 时 objection 会不会挂死。我用这张单 review，而不是「帮他改代码到能跑」。两个新人独立合入的 sequence 不再出现「随机打到 reserved 地址却当 OKAY」的问题。
可写进简历的量化词典（中级数字验证）
- vplan 追踪：例如「86 条规格 → 120 coverpoint，RTL 变更后 6 点标红并在两周闭合」。注意：写你是 owner 还是执行。
- VIP 差集：例如「VIP 声明 vs vplan 差 7 条，关闭 5 条」。注意：不要只写 VIP 品牌。
- 覆盖率分类：例如「91%→97%，剩余 3% 安全扩展由项目经理签字」。注意：illegal/unreachable 分开。
- nightly fail rate：例如「12%→3%，10:00 前分诊，skip 必须绑 Jira」。注意：写测试集规模口径。
- RAL 语义：例如「W1C 被标成 RW，frontdoor/backdoor 不一致」。注意：访问类型比寄存器个数重要。
- SVA 漏检：例如「valid 掉拍，功能测因同拍 ready 漏掉」。注意：写不变量，不写断言条数。
- GLS 增量 bug：例如「X 传播、异步复位，功能仿 2 态看不到」。注意：写范围（模块网表）。
- 缺陷包：例如「seed+时间戳+规格章节，关闭周期 11→5 天」。注意：N 和范围。
- 复用：例如「AXI master UVC 被 3 个 IP 用」。注意：changelog 约束。
本岗高频坑
坑一：用例数冒充闭环
看起来像什么：200+ testcase、3000 seed。面试怎么穿帮：问 vplan 最后红的是哪类点。改成什么：写缺口分类和闭合手段。
坑二：VIP 名称当能力
看起来像什么：PCIe/USB/DDR VIP 列表。面试怎么穿帮：问 checker 覆盖了 vplan 的哪一条、哪一条没有。改成什么：差集清单。
坑三：覆盖率只给终点
看起来像什么：子系统 98%。面试怎么穿帮：问 waiver owner。改成什么：分类 + 签字人。
坑四：回归=拥有农场
看起来像什么：负责大规模回归。面试怎么穿帮：问机器调度和 license。改成什么：测试集、分类、分诊 SLA。
坑五：把初级故事加长
看起来像什么：又一段 Verdi 定位。面试怎么穿帮：中级面问机制，你还在讲单次 debug。改成什么：把单次 debug 收成「分诊规则里的一类 fail」。
坑六：夸大 GLS/形式化
看起来像什么：一句「具备门级与形式验证经验」。面试怎么穿帮：问 bounded proof 深度、COI。改成什么：没做过就删；做过写范围。形式化若只是跑过 lint 级 app，不要写 FPV sign-off。
写好之后不确定效果？好简历的免费诊断可以从项目陈述、成果量化、匹配度和表达清晰度做一次扫描，并给出改进建议。