达摩院-Infra & 片上互联验证高级专家-计算技术

岗位职责

1. 验证基础设施架构规划与建设 主导DV Infrastructure的技术演进路线制定，设计支持IP、子系统、SoC多层级复用的通用验证框架。 负责自研VIP（Verification IP）的整体架构规划、核心协议建模及标准化接口定义，确保VIP的高内聚低耦合及广泛适用性。 构建并优化验证自动化流程平台，整合回归测试、覆盖率收集、报告生成等环节，提升工程效率。
2. AI驱动的智能验证体系构建 探索并落地“AI Native”验证新模式，引入AI智能体（Agent）技术改造传统验证流程。 开发基于LLM的辅助工具链，包括但不限于：SystemVerilog/UVM代码自动生成、仿真日志智能诊断、覆盖率空洞分析及测试用例自动补全。 建立验证数据闭环，利用历史验证数据，持续优化验证策略与资源分配。
3. SoC/总线层级验证策略制定与执行 负责大规模SoC芯片及复杂总线互联架构的验证策略制定 主导模块级至芯片级的集成验证，执行功能仿真、形式验证（Formal）及门级仿真（GLS），确保设计在功能、性能及时序上满足Spec要求。 深入分析复杂故障场景，建立系统级的Debug方法论，快速定位软硬件协同问题。
4. 项目管理与团队赋能 负责验证任务的端到端交付管理，制定详细的验证计划，监控关键里程碑，确保按时高质量Tape-out。 建立代码规范、Review机制及技术分享文化，推动团队整体技术水位提升。

任职要求

学历与经验： 微电子、计算机、电子工程等相关专业硕士及以上学历，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项目端到端交付的经验。 优秀的跨部门沟通能力，能有效协调前端设计、后端实现及嵌入式软件团队。

加分条件（Nice-to-haves）： Cache Coherence：有相关协议验证经验，熟悉MESI/MOESI等状态机转换及一致性维护机制验证经验者优先。 形式验证经验：精通JasperGold/VCS Formal等工具，有使用Formal方法解决复杂控制逻辑或协议一致性验证经验者优先。