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

1. 搭建模块级验证环境，制定数据通路和算法功能验证策略 2. 执行形式验证/动态仿真等有效验证方法来确保设计满足规格要求 3. 分析和解决故障与问题，确保验证进度，交付完全验证的数据和算法通路相关功能设计 【任职要求】 1. 有数据通路RAS模块，冗余修复模块验证经验，了解parity/ECC等数据通路RAS算法 2. 有memory controller相关验证经验 3. 有协议转换相关验证经验，精通AXI/frame/flit等常用数据通路协议，以及数据通路reorder机制 4. 熟练掌握systemverilog，精通UVM验证方法学，有验证平台复用经验 5. 有使用formal工具（C2RTL/FPV）进行算法模块验证的经验

本站当前在招 3032 个上海技术研发岗位，其中 100 个公开标注了薪资。按这些标注统计：月薪（税前）主流区间 12K ~ 23K（25~75 分位），中位约 20K，最低 4K、最高 100K。