岗位描述（节选）
与国内顶尖的架构师和设计验证团队工作，主要从事以下内容：
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、具有良好的团队合作精神，能独立思考和解决问题，有责任心和上进心，工程师素养高。