处理器验证实习生

Job description

与国内顶尖的架构师和设计验证团队工作，主要从事以下内容

• 处理器验证环境开发和白盒验证工作，主要集中于乱序处理器执行单元，访存单元，硬件预取单元，取指单元等模块的验证工作；
• 业界先进的Data Path算子formal证明方法，包括单双精度，整型乘除法等复杂算子的prove；
• Top level用例开发，基于ISG工具，分析处理器架构和微架构，开发用例Template等。

Qualifications

• 微电子、集成电路、电子工程、计算机科学或相关专业；
• 熟悉Verilog或SystemVerilog，了解UVM，有实际项目经验优先；
• 掌握至少一种脚本语言（如Python, Perl, TCL），熟悉Linux操作系统；
• 熟悉RISCV指令集或者ARM指令集优先；
• 具有良好的团队合作精神，能独立思考和解决问题，有责任心和上进心，工程师素养高。