达摩院-存储系统验证工程师-计算技术
Company 阿里巴巴
Focus 技术 · 后端
上海
July 29, 2026
岗位职责
- 搭建模块级验证环境，制定数据通路和算法功能验证策略
- 执行形式验证/动态仿真等有效验证方法来确保设计满足规格要求
- 分析和解决故障与问题，确保验证进度，交付完全验证的数据和算法通路相关功能设计
任职要求
- 有数据通路RAS模块，冗余修复模块验证经验，了解parity/ECC等数据通路RAS算法
- 有memory controller相关验证经验
- 有协议转换相关验证经验，精通AXI/frame/flit等常用数据通路协议，以及数据通路reorder机制
- 熟练掌握systemverilog，精通UVM验证方法学，有验证平台复用经验
- 有使用formal工具（C2RTL/FPV）进行算法模块验证的经验
岗位标签
NEW