with deep expertise in formal methodologies and strong debugging skills.
Key Responsibilities
Perform
Formal Verification
of complex RTL designs using industry-standard tools.
Develop and review
SystemVerilog assertions
and formal test strategies.
Analyze and debug formal failures using trace, trigger, and debug techniques.
Collaborate with design and verification teams to close coverage and correctness gaps.
Required Skills & Qualifications
5+ years of experience in
Formal Verification
.
Expert-level experience with JasperGold
(mandatory).
Strong expertise in
SystemVerilog
and
UVM
(mandatory).
Experience in
debug, trace, and trigger analysis
is a strong plus.
Job Type: Permanent
Pay: ₹2,000,000.00 - ₹5,000,000.00 per year
Work Location: In person
Beware of fraud agents! do not pay money to get a job
MNCJobsIndia.com will not be responsible for any payment made to a third-party. All Terms of Use are applicable.