Formal Verification Engineer

Job Description:

Looking for

Formal Verification. Where you will be responsible for validating control

intensive designs using formal verification (Property verification). Candidates

with strong DV and formal verification experience preferred. Proficiency

in JasperGold ,VC Formal and good knowledge in System verilog assertion to use

advanced property proving techniques.

The job

involves very close interaction with the design team, DV team, architecture

team and with other RnD groups.

B.Tech /M.Tech with

2+ years of relevant experience.

Good

understanding of hardware micro-architecture, design and protocols like AMBA

AHB, AXI and other standard protocol.

Proficiency

with formal verification technologies, including complexity reduction

techniques and convergence.

Formal property

verification experience on multiple complex units.

Proficiency

in creating high quality test plans, building formal test benches, and

root-causing counter-examples.