英伟达
Formal Verification Engineer
Formal Verification Engineer
发布于 1 天前普通员工/个人贡献者
全职员工仅现场办公芯片设计
芯片设计
Asic
Formal Verification
Rtl
Tcl
芯片验证
Jasper Gold
Vc Formal
值不值得投
76综合评分
综合评分 76
前沿芯片验证岗位，技术挑战大、成长性高，薪资预期较好，但工作生活平衡信息不足。
从薪资福利、成长空间、工作节奏和岗位方向综合评估，方便横向比较。
薪资怎么样
40K
比芯片设计中位数高
发布情况
新岗位 · 昨天发布
公司情况
这家公司招聘很活跃
约 140 个在招 · 其中芯片设计 7 个
市场机会
选择面较广
上海 · 芯片设计 · 约 300 个在招
职位详情
关于这个职位
这是英伟达GPU时钟组的高级形式验证工程师岗位
你将负责GPU时钟RTL的架构、设计和验证工作，支持从消费级图形、自动驾驶到人工智能等多种产品线
你需要运用前沿的形式验证技术，确保芯片时钟系统的复杂性与可靠性
最低要求
计算机科学/计算机工程/电子工程/数学或相关领域的学士/硕士学位，并拥有3年以上ASIC验证经验
了解形式验证方法与技术，优先考虑使用过形式验证工具（例如Jasper Gold, VC Formal）的经验
能够实施抽象技术以实现有效验证
精通TCL、Perl和Python脚本编写
熟悉单元/子系统/SOC级别的验证方法、工具与流程
出色的人际交往能力，能与分布式团队有效协作
工作职责
从形式验证角度理解关键设计行为，编写清晰的测试计划，并使用最新形式技术实施，包括开发环境假设、断言和覆盖属性
开发抽象模型以克服复杂性挑战并获得完全证明或具有足够覆盖率的有界证明
调试RTL以识别故障场景的原因并完成覆盖签收
驱动工具以实现其最佳性能
参与流程和脚本开发以提高团队效率
与架构师、设计师等合作以确保交付物质量良好
优先资格
出色的分析与解决问题的能力，能快速理解复杂设计或拥有不同验证方法的经验是加分项
在不同协议/数据传输验证方面拥有扎实的先验知识或经验是加分项
流利的英语（书面和口头）和出色的沟通能力
良好的团队合作精神，易于与团队成员合作
AI 洞察
优缺点分析
优点
- 在英伟达这样的行业领军公司工作，接触最前沿的GPU和AI芯片技术
- 形式验证是芯片设计的关键环节，技能专业且市场需求高
- 团队负责核心模块（时钟系统），工作成果直接影响产品性能与可靠性
- 与分布式团队协作，可能需要跨时区沟通，对协作能力要求高
- 适合拥有扎实ASIC验证背景、擅长逻辑分析与问题解决、对芯片设计底层技术有热情，并希望在顶尖技术平台深耕的工程师
缺点 / 挑战
- 需要处理极高复杂度的RTL验证，技术挑战大，要求持续学习
- 岗位属于硬核技术领域，项目周期紧、质量要求严，可能有工作压力
角色解读
- 成为形式验证领域专家，深入掌握复杂芯片系统的验证方法
- 向技术领导或架构师方向发展，负责更大规模的验证项目与流程建设
- 在英伟达等顶级公司积累经验，可向芯片设计、验证管理或跨领域技术岗位拓展
- 编写和执行形式验证测试计划，使用断言、覆盖属性等技术验证芯片时钟RTL
- 开发抽象模型以处理复杂设计，确保验证的完备性或有效覆盖率
- 调试RTL代码定位问题，并与设计、架构团队协作提升交付质量
- 优化验证工具和流程，通过脚本开发提高团队效率
- 形式验证方法与工具（如Jasper Gold, VC Formal）的熟练使用
- ASIC验证经验，特别是RTL级验证
- 脚本编程能力（TCL, Perl, Python）
- 良好的团队协作与沟通能力，适应分布式工作模式
申请策略
- 研究英伟达在AI、自动驾驶等领域的最新产品动态，理解时钟验证在其中的作用
- 准备STAR法则（情境-任务-行动-结果）的行为面试案例，突出解决问题与协作能力
- 若英语为工作语言，需确保书面和口语沟通能力达标
- 重点突出3年以上ASIC验证项目经验，特别是形式验证相关案例
- 详细列出使用的形式验证工具（如Jasper Gold）和掌握的脚本语言（TCL, Perl, Python）
- 强调在复杂RTL调试、抽象模型开发或验证流程优化方面的具体成果
- 体现团队协作经验，如参与分布式团队项目或跨职能合作
- 系统学习形式验证理论与高级技巧，关注行业新工具与方法
面试指南
- 使用STAR法则结构化回答行为问题，清晰说明背景、任务、行动和结果
- 技术问题结合理论原理与实际项目案例，展示系统性思维
- 协作类问题强调主动沟通、数据支撑和寻求共赢的解决思路
- 请描述一个你使用形式验证解决复杂RTL问题的经历
- 你如何为一个新模块设计形式验证测试计划？
- 在抽象模型开发中，你遇到过哪些挑战，如何克服？
- 当与设计团队对验证结果有分歧时，你如何沟通和解决？
- 你常用的脚本语言有哪些？请举例说明如何用脚本提高验证效率
职位点评
薪资福利80
成长发展90
工作生活50
使命价值75
薪资福利
80较高
该职位为上市科技巨头的高级工程师岗位，薪资竞争力预计较强，但JD未披露具体福利信息。
薪资信号未披露（AI估算：30K-50K/月）
成长发展
90较高
岗位涉及前沿芯片验证技术，对技能深度和广度有高要求，提供接触行业领先技术与复杂项目的机会。
技术前沿前沿/新兴技术
技术栈Formal Verification、ASIC、TCL、Perl、Python、Jasper Gold、VC Formal
业务类型profit_center
工作生活
50较低
JD未提及工作模式、弹性工时或加班相关说明，工作生活平衡情况无法判断。
工作模式未明确
办公地点未明确
加班情况未提及（无法判断）
使命价值
75中等
岗位处于半导体与人工智能高速增长赛道，技术创新属性强，但JD未强调社会使命或价值观。
行业发展高速增长赛道
社会影响中性/一般
创新程度开拓性创新（行业首创）
英伟达 的其他在招职位
相似职位推荐
Watch Jobs