CPU形式验证工程师(J11062)

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回归流程与自动化脚本1…… 完整岗位描述与官方投递入口,请登录后在岗位详情页查看。

本站当前在招 21736 个北京岗位（全城各职能合计），其中 1797 个公开标注了薪资。按这些标注统计：月薪（税前）主流区间 7K ~ 20K（25~75 分位），中位约 12K，最低 1K、最高 300K。