
Senior Formal Verification Engineer

Search by job, company or skills

Formal Verification:
5 to 9 Yrs
Location: Bengaluru /Vizag/Kochi/Ahmedabad
Qualifications:
Bachelor's or Master's degree in Electrical Engineering,
Formal Verification:
- Ensuring that the design meets functional, performance, and correctness specifications.
- Utilizing formal methods to overcome any design flaws and meet performance goals.
- Experience range: 4 to 8 years.
Responsibilities include:
- Formal verification planning
- Equivalence checking
- Property specification
- Testbench (TB) development
- Bug identification and debugging
- Proficiency with tools like JasperGold, VC Formal, and Questa
Job ID: 151460631
Skills:
Tcl, Python, Perl, JasperGold, VC Formal, Questa Formal, formal verification methodologies