岗位职责
- 参与高性能处理器验证平台的搭建与维护，探索前沿验证方法学与自动化工具，持续提升验证效率；
- 参与微架构的制定，主导某一领域验证计划的制定与执行，系统性提取测试点，编写并维护用例和Checker；
- 深入理解定/浮点复杂ALU运算单元的算法设计，理解Formal工具原理，完成运算单元data-path的全空间证明;
- 深度探索微架构，完成访存/取指/分支预测/乱序和发射等多个处理器关键模块的特性交付工作；
- 基于ISG编写单核/多核用例模板，覆盖架构/微架构所有场景，包括但不限于异常，中断，调试，weakly memory model，context switch，安全，执行流水线，定点浮点等多个领域；
- 撰写专用性能用例实现EDA层面的快速性能迭代和校准，通过EDA仿真在RTL开发阶段发现各类性能瓶颈，不断推动CPU微架构调优
- 建立基于EMU原型的性能验证平台，与模型团队协作通过典型切片和Cycle accurate Performance model校准性能，基于Top down的指标实现快速性能迭代
职位要求
- 微电子、集成电路、电子工程、计算机科学或相关专业本科及以上学历；
- 掌握 Verilog/SystemVerilog/UVM，理解芯片设计与验证的基本概念；
- 熟悉计算机体系结构，理解流水线、Cache、分支预测、乱序执行等基本原理；
- 熟悉 RISC-V 或 ARM 指令集，了解相关汇编与工具链（GCC/LLVM、Spike ，Gem5等）优先；
- 熟悉ISG/ISS 等CPU核专用验证工具，有Formal验证经验更佳。
