【工作职责】
1. 验证策略与测试环境搭建
- 制定芯片级或模块级验证计划,定义功能覆盖率目标和验证策略(定向测试 vs. 随机测试)。
- 搭建基于UVM(Universal Verification Methodology)的验证平台,开发可复用的验证组件(Agent、Scoreboard、Monitor)。
2. 测试用例开发与仿真
- 编写复杂场景的测试用例(如极端条件、边界值、错误注入),验证设计是否符合协议规范(如PCIe、DDR、AMBA、USB)。
- 运行仿真(VCS),分析波形(Verdi),定位设计缺陷并推动设计团队修复。
3. 覆盖率分析与闭环
- 跟踪代码覆盖率(Code Coverage)、功能覆盖率(Functional Coverage)和断言覆盖率(Assertion Coverage),确保验证完备性。
- 针对未覆盖场景优化测试用例或补充约束随机激励。
4. 先进验证技术应用
- 使用形式验证(Formal Verification)工具(JasperGold/VC Formal)验证关键模块的时序和协议一致性。
- 支持FPGA原型验证和硬件加速(Palladium/Zebu),加速硅前系统级验证。
5. 跨团队协作与流程优化
- 与设计团队协同分析验证结果,提供设计改进建议(如接口时序优化)。
- 开发自动化脚本(Python/Perl/TCL)管理回归测试、结果分析和报告生成。
【任职要求】
1. 教育背景:硕士,微电子、计算机、通信工程相关专业。
2. 工作经验:3-8年以上ASIC/SoC验证经验,主导过复杂模块(如CPU/GPU/NPU)或全芯片验证。
【关键能力要求】
1) 精通SystemVerilog/UVM验证方法学,熟悉断言(SVA)和覆盖率驱动验证(CDV)。
2) 深入理解常见总线协议(AXI/AHB/APB、PCIe/USB/Ethernet)和存储协议(DDR/LPDDR)。
3) 问题定位调试能力。快速定位跨模块交互问题(如死锁、数据丢失)及异步时序问题(亚稳态、CDC违例)。 通过波形分析和日志解析,复现偶发性故障并提炼根本原因。
4)系统级验证思维。 理解芯片应用场景,设计针对性验证用例。预测设计缺陷对系统级功能的影响。
5)熟练使用EDA工具(VCS、VERDI、Synopsys VIP)。 熟悉版本控制、回归测试管理等。