高级形式验证工程师（LPU方向）

Senior Formal Verification Engineer - LPU

加拿大 · Canada, Remote · 远程 · 全职 · 高级

全球远程资深中国可申请

薪资未说明

注册后可查看中文摘要、要点、完整原文并直接申请

免费注册

SystemVerilog AssertionsSVAformal property verificationJasperGoldVC FormaltclpythonASIC verificationformal verification

原文节选

NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. It’s a unique legacy of innovation that’s fueled by great technology—and amazing people! Today, we’re tapping into the unlimited potential of AI to define the next era of computing. An era…

免费注册

以上摘要与要点由 AI 生成，可能有误，请以原文为准。

本功能的检索理解与中文摘要由「豆包大模型（云雀）」生成，模型备案号 Beijing-YunQue-20230821，算法备案号网信算备110108823483901230065号，服务提供方为北京火山引擎科技有限公司。

来源方或用人单位如需删除、更正岗位信息，请发邮件至 contact@fintegrity.cn，我们将在 24 小时内处理。