超威半导体
Silicon Design Engineer
Silicon Design Engineer
发布于 3 小时前基层主管/组长
全职员工仅现场办公芯片设计
芯片设计
Ai辅助验证
Asic
Fpga
Jaspergold
Pcie
Sva
团队管理
形式验证
芯片设计
值不值得投
69综合评分
综合评分 69
前沿芯片验证岗、技术挑战高、领导力机会多，但WLB与办公模式未知。
从薪资福利、成长空间、工作节奏和岗位方向综合评估，方便横向比较。
薪资怎么样
3.5万
比芯片设计中位数低
发布情况
新岗位 · 今天发布
公司情况
这家公司招聘很活跃
约 120 个在招 · 其中芯片设计 11 个
市场机会
选择面较广
上海 · 芯片设计 · 约 400 个在招
职位详情
关于这个职位
该职位是AMD上海办公室的硅片设计工程师，专注于先进形式验证领域
你将负责为多种高性能IP（如PCIe、芯片间高速互连）提供功能与安全验证，使用前沿的形式验证技术确保设计质量
岗位兼具高级技术攻坚与小团队领导职责，是技术专家与团队管理的双重角色
最低要求
电子/电气或计算机工程学士（或以上）学位
具备ASIC或FPGA设计或验证经验
在形式属性验证（FPV）、序列等效性检查（SEC/SEQ/SLEC）和/或学术形式方法方面有扎实背景
精通一种形式属性语言（优选SVA），掌握抽象技术、形式签核及商业形式验证工具（如VC-Formal、JasperGold、Questa Formal等）
拥有验证复杂包或控制型设计的丰富经验
熟悉行业标准高速协议，如PCIe、AXI等
具备硬件-固件交互验证经验
工作职责
与架构师和设计师合作，理解设计意图
为设计模块创建和执行形式验证计划
编写和调试属性以验证设计，分析反例并推动解决
使用形式技术优化运行时间
收集和报告状态及进展
基于审查、指标等反馈改进形式化设置
领导和协调一个小团队的验证活动
培训和指导初级工程师
开发工作流程、流程和基础设施
处理复杂的形式问题
开发AI技能以辅助形式验证，并利用AI使形式验证能够广泛应用于多个IP模块和不同目的的IP团队成员
优先资格
AI辅助工具经验：具备利用AI辅助工具提升形式验证生产力的经验，包括属性开发、证明分析、覆盖率评估和调试
生成式AI应用能力：能够应用生成式AI技术来自动化工程工作流、加速根本原因分析并提高验证效率
AI工具定制经验：具备创建、定制或优化AI提示、技能、代理或工作流以支持工程任务和团队生产力的经验
具备团队领导能力，能够领导和协调一个小型团队的验证活动，培训和指导初级工程师，开发工作流程和基础设施
AI 洞察
优缺点分析
优点
- 岗位融合了深度技术与团队管理，为职业发展提供了技术和管理双通道的可能性
- AMD作为行业巨头，项目规模大，平台资源丰富，有利于个人技术品牌的建立
- 形式验证领域技术门槛高，需要持续学习以应对不断复杂的芯片设计，工作脑力负荷大
- 需要同时平衡高难度技术攻关和团队管理职责，对个人综合能力要求很高
- 适合具备扎实形式验证基础，对高速协议和芯片设计有浓厚兴趣，并希望向技术专家或技术管理方向发展的资深工程师
缺点 / 挑战
- 参与顶尖处理器芯片的核心验证环节，技术挑战高，成长空间大，能接触行业最前沿的技术
- 芯片验证周期长，项目压力可能较大，需要对工作成果有长期的耐心和投入
- 同时，乐于探索AI新工具、不惧技术挑战的候选人尤为匹配
角色解读
- 技术专家路线：深耕形式验证与AI的交叉领域，成为公司内该技术领域的权威，参与架构级决策
- 技术管理路线：凭借出色的团队领导力，逐步承担更大的管理职责，负责整个验证模块或多个团队
- 前沿探索路线：引领AI赋能芯片验证的方法论革新，推动行业验证范式的变革
- 作为形式验证专家，对AMD下一代处理器中的高速接口IP（如PCIe、芯片间互连）进行严格的正确性与安全性验证
- 使用前沿的形式化方法与工具，解决传统验证难以覆盖的复杂设计角落案例，确保芯片设计质量达到最高标准
- 领导一个小型验证团队，负责任务分配、技术指导、流程制定，并探索将AI技术应用于形式验证流程以提升效率
- 必须具备扎实的形式验证理论基础和SVA属性编写能力，精通JasperGold等至少一种商业形式验证工具
- 需要深入理解高速串行协议（如PCIe）或片上总线（如AXI）的规范，并拥有相关验证实战经验
- 具备将AI/机器学习工具应用于工程任务的能力，例如使用或定制AI助手来加速调试或属性生成
- 需要有良好的沟通协调能力，能与架构师、设计团队紧密合作，并具备指导和带领初级工程师的经验
申请策略
- 在申请材料或面试中，明确表达对芯片验证领域技术挑战的热情和长期投入的意愿
- 准备一个能体现你解决问题深度（技术难点）和协作广度（跨团队沟通）的完整项目故事
- 重点突出在形式属性验证（FPV）、序列等效性检查（SEC）方面的具体项目经验与成果
- 详细描述使用商业形式验证工具（如JasperGold、VC-Formal）解决复杂验证问题的案例
- 如有，清晰阐述将AI技术（如提示工程、工作流自动化）应用于验证效率提升的实践
- 强调团队协作、指导初级工程师以及制定验证流程的软技能经历
- 系统复习和深化形式验证理论，尤其是针对时序电路和复杂协议属性的建模方法
- 学习并实践至少一种先进的AI工具（如GitHub Copilot、Cursor），探索其在代码生成或调试辅助中的应用
面试指南
- 对于技术问题，使用STAR法则（情境、任务、行动、结果），重点阐述你的分析过程、技术选型和最终效果
- 对于计划类问题，可采用“理解规范 -> 划分验证范围 -> 制定属性策略 -> 选择工具与方法 -> 定义验收标准”的框架
- 对于AI应用问题，结合具体实例，从“痛点 -> AI工具/技术选型 -> 实施步骤 -> 效果对比（效率/质量）”展开
- 对于管理类问题，体现“倾听 -> 分析根源 -> 提供具体技术指导或资源支持 -> 鼓励总结复盘”的辅导思路
- 请描述一个你解决过的最复杂的形式验证问题，你的思路和使用了哪些工具/技术？
- 如果给你一个新的、复杂的PCIe IP模块，你会如何制定形式验证计划？
- 你如何看待AI工具在形式验证中的应用？请举例说明你尝试过或设想的一种场景
- 作为团队负责人，你如何指导一位在属性调试上遇到困难的初级工程师？
职位点评
薪资福利70
成长发展85
工作生活50
使命价值65
薪资福利
70中等
该职位提供了具有市场竞争力的薪资，并提及有公司福利，能满足基本的补偿需求，但未在JD中明确突出特别优厚的薪酬福利。
薪资信号市场水准 (2.5千–4.5万/月)
福利待遇AMD benefits at a glance
成长发展
85较高
该职位在技术深度（前沿形式验证+AI）和领导力培养方面提供了显著的发展机会，符合追求技术精进和职业晋升的动机。
技术前沿前沿/新兴技术
技术栈Formal Verification、SVA、PCIe、AI-assisted tools、Generative AI、JasperGold、VC-Formal
业务类型profit_center
工作生活
50较低
JD未提及任何工作模式或WLB相关信息，工作地点位于一线城市，通勤和办公灵活性无法从描述中判断，生活化动机满足程度不确定。
工作模式未明确
办公地点未明确
加班情况未提及（无法判断）
使命价值
65中等
该职位处于芯片设计这一对科技产业至关重要的核心环节，技术有创新性，但JD未强调具体的社会使命或宏大愿景。
行业发展稳定成熟行业
社会影响中性/一般
使命信号technology has the power to solve the world’s most important challenges、technology that moves the world forward
创新程度积极采用新技术
超威半导体 的其他在招职位
相似职位推荐
Watch Jobs