CPU验证工程师

岗位职责：1.验证环境搭建:基于UVM方法学搭建CPU核模块级及子系统级验证环境，开发参考模型、计分板、断言等验证组件；2.指令随机验证:基于RISC-V  DV等随机指令生成框架，构建覆盖指令集全集的随机测试用例，与  Spike/QEMU等指令集模拟器进行逐指令比对；3.微架构验证:针对乱序执行、分支预测、MMU、  Cache一致性等微架构特性设计定向及随机验证场景；4.覆盖率收敛:收集并分析代码覆盖率与功能覆盖率，编写覆盖组，驱动验证闭环；5.形式验证:针对关键控制逻辑(如状态机、仲裁器)开展形式验证，确保设计无死锁、无非法状态；任职要求：1.硕士以上学历，微电子、电子工程、计算机等相关专业；2.掌握SystemVerilog和UVM验证方法学；3.熟悉RISC-V/ARM/x86指令集，了解指令集模拟器(Spike/QEMU/ISS)的使用；4.熟悉VCS/Verdi等EDA工具，掌握Makefile、  Python/Perl等脚本语言；5.熟悉覆盖率驱动验证方法，具备覆盖率收敛实战经验；