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