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