CPU形式验证工程师
岗位摘要
负责高性能CPU模块级/子系统级FPV及Connectivity Check、X-Prop、UNR等多种formal检查流程；搭建和维护形式验证环境（FPV环境），包括编译流程、时钟/复位建模、约束文件、blackbox策略及分层验证结构
岗位职责
- 负责高性能CPU模块级/子系统级FPV及Connectivity Check、X-Prop、UNR等多种formal检查流程
- 搭建和维护形式验证环境（FPV环境），包括编译流程、时钟/复位建模、约束文件、blackbox策略及分层验证结构
- 编写SVA断言，覆盖关键微架构性质
- 使用ConnectivityApp验证pinmux/pad连接、寄存器字段连接、电源/时钟域连接
- 使用XPropApp进行X注入与传播检查，发现未初始化、case不完整等问题
- 使用UNRApp分析不可达逻辑，缩小COI，支撑覆盖率收敛与sign-off
- 解决proof不收敛问题，包括cutpoint、abstraction、assume-guarantee及BMC调优
- 分析counter example，与设计团队协同进行debug
- 使用Python/TCL/Makefile开发formal回归流程与自动化脚本
- 制定formal sign-off checklist和质量标准
任职要求
- 本科及以上学历，微电子/电子工程/计算机相关专业
- 5年以上芯片验证经验且其中2年以上形式验证经验；或3年以上纯形式验证经验
- 精通Cadence JasperGold（FPV、Connectivity Check、X-Prop、UNR等App）；具备Synopsys VC Formal或Siemens Questa Formal等同类工具深度经验者亦可
- 精通SVA/SystemVerilog
- 熟悉形式验证方法学，包括constraints/assumes、blackboxing、k-induction及proof收敛调试
- 熟悉CPU微架构，包括流水线、store buffer、Cache一致性协议（MESI/CHI）、MMU/TLB
- 熟悉Python/TCL/Shell脚本开发
加分项
- CPU关键Unit FPV完整开发流片经验
- AXI/CHI 协议formal经验
- 多核一致性协议formal经验
- V formal/ISA级formal经验
- 有formal tool技术支持经验
福利待遇
- 薪资范围40K–70K，共16薪
- 工作地点可选北京、上海、深圳或成都
- 加分项：具备CPU关键Unit FPV完整开发流片经验
- 加分项：具备AXI/CHI协议formal验证经验
- 加分项：具备多核一致性协议formal验证经验
- 加分项：具备RISC-V formal/ISA级formal验证经验
- 加分项：具备formal工具技术支持经验
工作地址
北京朝阳区望京国际研发园I座