岗位描述 1. 负责理想汽车通信/接口类IP/NoC等相关模块、SubSystem的验证工作； 2. 负责制定验证计划，使用各种验证方法/策略，保证芯片的signoff； 3. 跟踪业界最先进的验证技术，并将这些新技术引入理想汽车。 要求（满足任意一条即可）： 1. 芯片验证经验，深刻理解验证的流程、目标、方法； 2. Formal验证经验，理解Formal的原理、方法； 3. 硬件背景，有软件开发经验，了解AI Coding开发流程。 任职要求 1. 教育背景： 计算机科学、微电子、电子工程、通信等相关专业，本科及以上学历； 2. 编程能力： 精通 C/C++ 编程，具备扎实的数据结构与算法基础，熟悉面向对象编程（OOP）思想及常用设计模式； 3. 体系结构： 熟悉计算机体系结构，对AI加速器（NPU/TPU）、GPU、DSP或CPU的微架构有一定了解； 4. 软硬协同： 了解数字电路设计与验证基础，熟悉C/C++与SystemVerilog的混合仿真接口（如 DPI-C）； 5. 工具与环境： 熟练使用Linux开发环境，掌握Makefile/CMake，熟悉Python/Shell/Perl等至少一种脚本语言； 6. 综合素质： 具备优秀的逻辑思维能力、问题分析与解决能力，良好的沟通表达能力和团队协作精神。 【加分项】 1. 有过NPU、GPU、DSP或大型SoC芯片CModel/ISS（指令集模拟器）开发经验者优先； 2. 熟悉深度学习算法（如CNN、Transformer等）及主流AI框架（如PyTorch、TensorFlow、ONNX）者优先； 3. 了解UVM验证方法学，有实际RTL验证经验者优先。