形式验证工程师

NVIDIA GPU 时钟组正在寻找优秀的资深形式验证工程师加入团队。该团队负责 GPU 时钟各方面的打造。团队与前端设计团队协作，了解芯片的时钟需求。我们也了解后端团队对时钟施加的物理限制。GPU 时钟组负责时钟 RTL 的架构、设计和验证。时钟 RTL 的复杂度已成倍增加，以支持我们的各项特性，这些特性为从消费级图形到自动驾驶汽车以及不断增长的人工智能领域的产品线提供动力。 您将要做的工作： 从形式验证的角度理解关键设计行为，编写清晰的测试计划，并使用最新的形式技术实施这些计划，包括开发环境假设、断言和覆盖属性。 开发抽象模型以克服复杂性挑战并获得完整证明，或获得具有足够覆盖率的有界证明。 调试 RTL 以确定失败场景的原因并完成覆盖率签核。 推动工具发挥其最佳性能。 参与流程和脚本开发以提高团队效率。 与架构师、设计师及其他人员合作，确保交付物质量良好。 我们期望您具备： 计算机…… 完整岗位描述与官方投递入口,请登录后在岗位详情页查看。

本站当前在招 24807 个上海岗位（全城各职能合计），其中 1207 个公开标注了薪资。按这些标注统计：月薪（税前）主流区间 8K ~ 20K（25~75 分位），中位约 12K，最低 0.8K、最高 113K。