职责描述： 与国内顶尖的架构师和设计验证团队工作，主要从事以下内容： 1. 处理器验证环境开发和白盒验证工作，主要集中于乱序处理器执行单元，访存单元，硬件预取单元，取指单元等模块的验证工作； 2. 业界先进的Data Path算子formal证明方法，包括单双精度，整型乘除法等复杂算子的prove； 3. Top level用例开发，基于ISG工具，分析处理器架构和微架构，开发用例Template等。 任职要求： 1、微电子、集成电路、电子工程、计算机科学或相关专业； 2、熟悉Verilog或SystemVerilog，了解UVM，有实际项目经验优先； 3、掌握至少一种脚本语言（如Python, Perl, TCL），熟悉Linux操作系统； 4、熟悉RISCV指令集或者ARM指令集优先； 5、具有良好的团队合作精神，能独立思考和解决问题，有责任心和上进心，工程师素养高。