阿里巴巴
达摩院-Infra & 片上互联验证高级专家-计算技术
达摩院-Infra & 片上互联验证高级专家-计算技术
发布于 大约 2 小时前基层主管/组长
上海市
专家级经验
全职员工
仅现场办公
硕士
技术管理
Ai Agent
Cache Coherence
Chi
Formal Verification
Jaspergold
Llm
Soc验证
Systemverilog
Tcl
AI 估算 · 80k–120k
高级专家级别，芯片验证领域稀缺，AI+验证复合技能溢价高，阿里平台薪资竞争力强。
职位详情
关于这个职位
作为阿里巴巴达摩院计算技术团队的高级专家，你将负责大规模SoC芯片及复杂总线互联架构的验证策略制定与执行，主导DV基础设施的架构规划与建设，并探索AI驱动的智能验证体系
你将带领团队完成从模块级到芯片级的集成验证，确保设计满足功能、性能与时序要求，同时推动验证流程的自动化与智能化转型
最低要求
学历与经验：微电子、计算机、电子工程等相关专业硕士及以上学历，10年以上数字芯片验证经验，其中至少3年以上大规模SoC验证架构设计或团队管理经验
核心技术栈：
AI/LLM应用经验：有将LLM应用于EDA流程、代码生成或Bug挖掘的实际项目
精通 SystemVerilog 语言及 UVM 验证方法学，具备深厚的OOP编程功底
精通主流总线协议（如 AXI/ACE, CHI等之一或多项），深刻理解SoC数据通路架构及互联拓扑
编程与脚本能力：
熟练掌握 Python/Perl/Tcl/Shell 等脚本语言，具备开发大型自动化脚本及工具链的能力
熟悉Linux开发环境，有Makefile/CMake构建系统维护经验
架构与INFRA经验：
有从0到1搭建或重构大型验证平台（DV Infra）的成功案例，具备自研VIP开发经验
具备极强的系统抽象能力，能够制定清晰的验证分层架构
管理与交付能力：
具备技术领导力，有带领10人以上验证团队完成复杂SoC项目端到端交付的经验
优秀的跨部门沟通能力，能有效协调前端设计、后端实现及嵌入式软件团队
工作职责
验证基础设施架构规划与建设：
主导DV Infrastructure的技术演进路线制定，设计支持IP、子系统、SoC多层级复用的通用验证框架
负责自研VIP（Verification IP）的整体架构规划、核心协议建模及标准化接口定义，确保VIP的高内聚低耦合及广泛适用性
构建并优化验证自动化流程平台，整合回归测试、覆盖率收集、报告生成等环节，提升工程效率
AI驱动的智能验证体系构建：
探索并落地“AI Native”验证新模式，引入AI智能体（Agent）技术改造传统验证流程
开发基于LLM的辅助工具链，包括但不限于：SystemVerilog/UVM代码自动生成、仿真日志智能诊断、覆盖率空洞分析及测试用例自动补全
建立验证数据闭环，利用历史验证数据，持续优化验证策略与资源分配
SoC/总线层级验证策略制定与执行：
负责大规模SoC芯片及复杂总线互联架构的验证策略制定
主导模块级至芯片级的集成验证，执行功能仿真、形式验证（Formal）及门级仿真（GLS），确保设计在功能、性能及时序上满足Spec要求
深入分析复杂故障场景，建立系统级的Debug方法论，快速定位软硬件协同问题
项目管理与团队赋能：
负责验证任务的端到端交付管理，制定详细的验证计划，监控关键里程碑，确保按时高质量Tape-out
建立代码规范、Review机制及技术分享文化，推动团队整体技术水位提升
优先资格
加分条件（Nice-to-haves）：
Cache Coherence：有相关协议验证经验，熟悉MESI/MOESI等状态机转换及一致性维护机制验证经验者优先
形式验证经验：精通JasperGold/VCS Formal等工具，有使用Formal方法解决复杂控制逻辑或协议一致性验证经验者优先
AI 洞察
优缺点分析
优点
- 技术前沿：AI与芯片验证结合，处于行业创新前沿，技能积累价值高
- 平台优势：阿里巴巴达摩院提供顶级资源和项目，职业履历含金量高
- 薪资竞争力：高级专家岗位薪资丰厚，福利完善
- 团队影响力：可塑造验证技术方向，推动团队成长
- 工作强度大：芯片验证项目周期紧，可能面临高强度工作
- 跨部门协作复杂：需协调多个团队，沟通成本高
缺点 / 挑战
- 技术难度高：需要同时掌握传统验证和AI技术，学习压力大
- 适合有10年以上芯片验证经验，对AI技术有浓厚兴趣，具备技术领导力，愿意挑战复杂技术难题的资深专家
角色解读
- 技术专家路线：深化验证架构和AI验证技术，成为行业权威
- 管理路线：晋升为验证团队负责人或技术总监，负责更大规模的芯片项目
- 跨领域发展：可转向芯片设计、架构或AI基础设施等方向
- 负责大规模SoC芯片及总线互联架构的验证策略制定，主导模块级至芯片级的集成验证，确保设计满足功能、性能与时序要求
- 规划并建设验证基础设施，设计通用验证框架，开发自研VIP，构建自动化流程平台，提升验证效率
- 探索AI Native验证模式，开发基于LLM的辅助工具链，实现代码自动生成、日志诊断和测试补全
- 管理验证团队，制定验证计划，监控里程碑，确保按时Tape-out，并推动技术分享与团队成长
- 精通SystemVerilog和UVM验证方法学，具备深厚的OOP编程功底
- 熟悉主流总线协议（AXI/ACE、CHI等），理解SoC数据通路和互联拓扑
- 具备AI/LLM应用经验，能将LLM应用于EDA流程、代码生成或Bug挖掘
- 熟练掌握Python/Perl/Tcl/Shell脚本语言，具备大型自动化工具链开发能力
申请策略
- 关注阿里巴巴达摩院的技术方向，了解AI Native验证战略
- 准备详细的项目案例，展示技术深度和领导力
- 突出10年以上验证经验，重点展示大规模SoC验证架构设计案例
- 强调LLM在验证中的应用项目，如代码生成、Bug挖掘等
- 展示自研VIP开发和DV Infra从0到1搭建的经验
- 体现团队管理能力，如带领10人以上团队完成交付
- 学习LLM在EDA领域的应用，如使用Python开发验证工具
- 熟悉形式验证工具（JasperGold）和Cache Coherence协议
面试指南
- 使用STAR法则：情境、任务、行动、结果，突出技术决策和量化成果
- 强调技术深度和系统思维，展示从架构到实现的完整思路
- 结合具体案例，说明如何解决复杂问题，体现领导力
- 请描述你主导过的最复杂的SoC验证项目，如何设计验证架构？
- 你如何将LLM应用到验证流程中？具体实现和效果如何？
- 如何解决SoC总线互联的验证挑战？
- 你如何管理10人以上的验证团队，确保项目按时交付？
- 你如何设计自研VIP？如何保证其可复用性？
职位点评
76
综合评分
技术前沿、薪资高、发展空间大，但工作强度可能较高，WLB不确定。
从薪资福利、成长空间、工作节奏和岗位方向综合评估，方便横向比较。
更适合这类人
适合追求技术前沿、重视职业发展、能接受高强度工作的资深验证专家。
表现最好
成长发展
相对薄弱
工作生活
薪资福利85
成长发展95
工作生活40
使命价值70
薪资福利
85较高
该职位薪资水平高，福利完善，但JD未明确薪资范围，需面议。
薪资信号面议 (80K-120K/月)
成长发展
95较高
职位处于AI与芯片验证交叉前沿，技术成长空间大，明确要求AI/LLM应用，发展潜力高。
技术前沿前沿/新兴技术
技术栈SystemVerilog、UVM、LLM、AI Agent、Formal Verification、JasperGold
成长机会技术分享文化
业务类型ambiguous
工作生活
40较低
工作地点在上海，但JD未提及远程或弹性工作，芯片验证工作强度可能较大。
工作模式未明确
办公地点未明确
加班情况未提及（无法判断）
使命价值
70中等
芯片验证对科技发展有重要价值，但JD未强调社会影响，行业前景稳定。
行业发展稳定成熟行业
社会影响中性/一般
创新程度积极采用新技术
Watch Jobs