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

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