英伟达
Formal Verification Engineer
Formal Verification Engineer
发布于 3 小时前普通员工/个人贡献者
全职员工仅现场办公芯片设计
芯片设计
Asic验证
Gpu架构
Jasper Gold
Rtl调试
Tcl
Vc Formal
形式化验证
芯片验证
值不值得投
76综合评分
综合评分 76
顶尖芯片平台、前沿验证技术、成长空间大，项目节奏紧凑需兼顾技术深耕与高效协作
从薪资福利、成长发展、工作生活和使命价值四个维度综合评估，方便横向比较。
薪资怎么样
6.3万
比芯片设计中位数高
发布情况
新岗位 · 今天发布
公司情况
这家公司招聘很活跃
约 330 个在招 · 其中芯片设计 28 个
市场机会
选择面较广
上海 · 芯片设计 · 约 450 个在招
职位详情
关于这个职位
负责英伟达GPU时钟模块的形式化验证工作
需深入理解设计行为，编写测试计划并运用最新形式化技术（如断言、覆盖属性）进行验证
负责开发抽象模型以解决复杂度问题，调试RTL代码，优化验证流程与脚本，并与架构师、设计师协作确保交付质量
最低要求
计算机科学、电子工程、电气工程或数学等相关专业本科及以上学历
具备3年以上ASIC验证经验
熟悉形式化验证方法论与技术，有Formal Verification Tools（如Jasper Gold、VC Formal）使用经验者优先
能够实施抽象技术以有效应对验证挑战
精通TCL、Perl和Python脚本语言
熟悉单元/子系统/SOC级别的验证方法论、工具与流程
具备优秀的沟通协调能力，能与分布式团队有效合作
工作职责
从形式化验证视角理解关键设计行为，编写清晰的测试计划，并使用最新形式化技术实现，包括开发环境假设、断言和覆盖属性
开发抽象模型以克服复杂度挑战，获取完整证明或具有充分覆盖率的有界证明
调试RTL以识别失败场景的原因，并完成覆盖率签署确认
驱动工具以实现最佳性能
贡献于流程和脚本开发，以提升团队效率
与架构师、设计师及其他人员合作，确保良好的交付质量
优先资格
具备出色的分析与问题解决能力，能快速理解复杂设计或有不同验证方法论经验者更佳
在协议/数据传输验证方面有深厚知识/经验者优先
英语流利（读写俱佳）且沟通能力强
具备良好的团队合作精神，易于协作
AI 洞察
优缺点分析
优点
- 依托全球顶尖GPU研发平台，接触最前沿的芯片时钟架构与AI/自动驾驶应用
- 技术栈高度专业化，形式化验证能力在行业内稀缺且溢价高
- 外企文化注重技术深度与团队协作，提供稳定的职业发展环境
- 形式化验证本身理论门槛高，需持续学习新工具与新算法以应对RTL复杂度激增
- 适合具备扎实数字电路基础、热爱钻研底层验证技术、抗压能力强且英语流利的硬件工程师
缺点 / 挑战
- 分布式团队协作者多，沟通成本较高，对英语书面与口头表达要求严格
角色解读
- 可向高级验证专家或验证架构师方向发展，主导复杂SoC验证策略
- 也可横向拓展至系统级验证或芯片设计领域，成为跨领域的技术负责人
- 深入分析GPU时钟模块的RTL设计，制定形式化验证策略与测试计划
- 开发抽象模型与断言，自动化执行验证流程并调试失败案例
- 优化验证工具与脚本，提升整体验证效率与覆盖率
- 掌握形式化验证方法论及主流工具（Jasper Gold/VC Formal），能熟练运用抽象技术突破验证瓶颈
- 精通TCL/Perl/Python进行自动化脚本开发与流程搭建
- 熟悉ASIC验证全流程，具备扎实的电路设计与数字逻辑基础
申请策略
- 提前研究英伟达GPU时钟架构特点，准备1-2个处理复杂验证瓶颈的项目案例
- 突出3年以上ASIC验证项目经验，量化形式化验证覆盖率提升比例与缺陷发现数量
- 详细列出掌握的验证工具链及TCL/Python自动化脚本开发成果
- 强调复杂模块（如时钟/总线/协议）的验证策略设计能力
- 深入学习SVA/SystemVerilog断言编写技巧，补充形式化证明理论与抽象建模方法
- 强化Python/TCL在CI/CD流水线中的应用，提升验证自动化水平
面试指南
- 采用STAR法则（情境-任务-行动-结果）结构化回答项目经验
- 针对技术问题，先阐述原理与方法论，再结合具体工具参数与数据说明优化过程
- 请分享一个你使用形式化验证解决复杂RTL bug的具体案例
- 如何平衡形式化验证的完备性与计算资源消耗？
- 描述你搭建或优化的验证自动化流程，使用了哪些脚本语言？
- 面对分布式团队的需求变更，你如何调整验证计划并确保进度？
- 复习数字集成电路基础与时钟域交叉（CDC）知识，梳理形式化验证核心概念
- 准备英文自我介绍及技术问答，模拟分布式协作场景的沟通演练
职位点评
薪资福利78
成长发展85
工作生活65
使命价值70
薪资福利
78中等
薪资处于上海硬件行业市场中上水平，岗位技术壁垒较高，薪酬竞争力符合市场标准。
薪资信号市场水准 (4.5千–8.0万/月)
成长发展
85较高
岗位聚焦前沿芯片验证技术，提供接触顶级GPU架构的机会，技术成长空间广阔。
技术前沿前沿/新兴技术
技术栈形式化验证、Jasper Gold、VC Formal、TCL、Perl、Python、RTL、ASIC
业务类型profit_center
工作生活
65中等
外企通常提供较好的工作生活平衡，但芯片研发项目节点密集，实际工作节奏可能偏快，灵活性中等。
工作模式未明确
办公地点科技园/产业园
加班情况未提及（无法判断）
使命价值
70中等
参与AI与自动驾驶核心芯片研发，技术落地具有显著的行业影响力与社会价值。
行业发展高速增长赛道
社会影响正向社会影响力较高
创新程度积极采用新技术
英伟达 的其他在招职位
相似职位推荐
Watch Jobs