摩尔线程
CPU形式验证工程师(J11062)
岗位职责
负责高性能CPU模块级/子系统级FPV及Connectivity Check、X-Prop、UNR等多种formal检查流程2.搭建和维护形式验证环境（FPV环境）：编译流程、时钟/复位建模、约束文件、blackbox策略、分层验证结构3.编写SVA断言，覆盖关键微架构性质4.使用ConnectivityApp验证pinmux/pad连接、寄存器字段连接、电源/时钟域连接5.使用XPropApp做X注入与传播检查，发现未初始化、case不完整等问题6.使用UNRApp分析不可达逻辑，缩小COI、支撑覆盖率收敛与sign-off7.解决proof不收敛问题（cutpoint、abstraction、assume-guarantee、BMC调优）8.分析counter example，与设计团队协同debug9.用Python/TCL/Makefile开发formal回归流程与自动化脚本10.制定formal sign-off checklist和质量标准
任职要求
1. 本科及以上，微电子/EE/计算机相关，5年以上芯片验证经验且其中2年以上形式验证经验；或3年以上纯形式验证经验2.精通Cadence JasperGold（FPV、Connectivity Check、X-Prop、UNR等App）；有Synopsys VC Formal或Siemens Questa Formal等同类工具深度经验者亦可3.精通SVA/SystemVerilog4.熟悉形式验证方法学：constraints/assumes、blackboxing、k-induction、proofconvergence调试5.熟悉CPU微架构（流水线、store buffer、Cache一致性协议（MESI/CHI）、MMU/TLB）6.熟悉Python/TCL/Shell脚本
加分项
1. CPU关键Unit FPV完整开发流片经验[外部招聘链接已隐藏] 协议formal经验3.多核一致性协议formal经验4.RISC-V formal/ISA级formal经验4.有formal tool技术支持经验
信息来自企业官方招聘渠道
OfferSeek 对公开岗位信息进行聚合、去重和结构化整理，最终申请以企业官方页面为准。