达摩院-存储系统验证工程师-计算技术

关于这个机会

1. 搭建模块级验证环境，制定数据通路和算法功能验证策略 2. 执行形式验证/动态仿真等有效验证方法来确保设计满足规格要求 3. 分析和解决故障与问题，确保验证进度，交付完全验证的数据和算法通路相关功能设计

任职要求

1. 有数据通路RAS模块，冗余修复模块验证经验，了解parity/ECC等数据通路RAS算法 2. 有memory controller相关验证经验 3. 有协议转换相关验证经验，精通AXI/frame/flit等常用数据通路协议，以及数据通路reorder机制 4. 熟练掌握systemverilog，精通UVM验证方法学，有验证平台复用经验 5. 有使用formal工具（C2RTL/FPV）进行算法模块验证的经验

内推申请说明

本站为独立内推协助平台。申请会交由管理员核实岗位与内推渠道，不等于已在公司官网投递；薪资、岗位状态和实际招聘流程以官方信息为准。