CPU形式验证工程师(J11062)

AI 摘要智能生成

负责高性能CPU模块级/子系统级FPV及Conn

职位描述

1.负责高性能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和质量标准

任职要求

• 本科及以上，微电子/EE/计算机相关，5年以上芯片验证经验且其中2年以上形式验证经验；或3年以上纯形式验证经验2.精通Cadence JasperGold（FPV、Connectivity Check、X-Prop、UNR等App）；有Synopsys VC Formal或Siemens Questa Formal等同类工具深度经验者亦可3.精通SVA/SystemVerilog
• 熟悉形式验证方法学：constraints/assumes、blackboxing、k-induction、proofconvergence调试5.熟悉CPU微架构（流水线、store buffer、Cache一致性协议（MESI/CHI）、MMU/TLB）
• 熟悉Python/TCL/Shell脚本
• 加分项
• CPU关键Unit FPV完整开发流片经验2.AXI/CHI 协议formal经验3.多核一致性协议formal经验4.RISC-V formal/ISA级formal经验4.有formal tool技术支持经验