成都·武侯区
职位详情
岗位职责：
1. 负责芯片模块层级的形式验证工作，确保设计实现符合规格定义。
2. 制定形式验证方案，撰写SVA属性与约束条件，构建FPV验证平台。
3. 主导执行FPV验证任务，达成覆盖率收敛与问题追踪，依据FPV流程完成签核目标。
4. 探索利用AI技术提升形式验证效率与自动化水平。
5. 跟进业界主流形式验证工具发展，开展可行性分析并推动落地应用。
任职要求：
1. 微电子、计算机、电子工程等相关专业背景优先考虑
2. 具备1年以上形式验证相关工作经验
3. 熟练运用SystemVerilog Assertions（SVA）描述功能特性
4. 掌握形式验证基本原理，熟悉至少一种主流形式验证流程及工具，有FPV签核经验者优先
1. 负责芯片模块层级的形式验证工作，确保设计实现符合规格定义。
2. 制定形式验证方案，撰写SVA属性与约束条件，构建FPV验证平台。
3. 主导执行FPV验证任务，达成覆盖率收敛与问题追踪，依据FPV流程完成签核目标。
4. 探索利用AI技术提升形式验证效率与自动化水平。
5. 跟进业界主流形式验证工具发展，开展可行性分析并推动落地应用。
任职要求：
1. 微电子、计算机、电子工程等相关专业背景优先考虑
2. 具备1年以上形式验证相关工作经验
3. 熟练运用SystemVerilog Assertions（SVA）描述功能特性
4. 掌握形式验证基本原理，熟悉至少一种主流形式验证流程及工具，有FPV签核经验者优先
2026-09-20 14:13
IP属地：四川成都
职位福利
硕士3-5年
深圳佰维存储科技股份有限公司
已上市 · 1000-9999人
工作地址
鱼泡安全保障
如遇到办证收费、刷单、传销、诱导买车等违规行为，请立即向鱼泡直聘投诉举报投诉举报 >
附近适合您的职位
收藏职位
