AI智能简历诊断!

想知道你的简历存在什么问题吗?

从简历规范度、职业形象塑造、职场经历、核心能力、职场竞争力五个维度综合评估,为你的求职保驾护航!

立即诊断

形式验证工程师

1.8-2.5万·13薪
上海市本科不限经验

职位描述

KEY RESPONSIBILITIES:62
Identify formal friendly modules/features across Data Fabric unit/subsystem and work with different stake holders in getting a thorough understanding of microarch/high level spec and get clarification (if any).
Evaluate cross-feature/cross-unit dependency impact.
Populate detailed testplan (planned checks, abstraction, coverage) post feature analysis and get it reviewed & incorporate feedback.
Create Formal Testbench with assertions/assumptions with necessary level of abstraction in place to verify a complete feature.
Debug failures to root cause issues/fix constraints, deal with tool issues efficiently in collaboration with concerned AE from Synopsys/Cadence.
On a need basis, work on Post-Si bug recreation.
On a need basis, work on Flow automation related to Formal flow.
62
PREFERRED EXPERIENCE:62
5+ years of experience on Formal verification on Complex IP's.
Proficiency in overall Formal Verification methodology with tools like (VC-FORMAL/JASPER).
Proficiency in creating testplans, building formal testbenches from scratch.
Good understanding about computer architecture/microarchitecture and ability to deal with complex sequential logic and datapath.
Good understanding of Verilog, System Verilog, SVA. Some knowledge of shell/perl/python scripting is a plus.
Should have leadership quality, quick thinker, pro-active, adaptable & outspoken/approachable.
Must communicate well both written and orally.
Must be well-organized and should be able to multitask well with due diligence on closing his/her tasks.
62
ACADEMIC CREDENTIALS:62
Bachelor’s or master’s degree in Electronics or Electrical or Computer engineering

20,861+ 岗位更新等你来订阅

一键订阅最新的岗位,每周送达

您可以在邮箱中随时取消订阅