Formal Verification Engineer

Principal ASIC Verification Recruitment Specialist

Salary: Very attractive hourly rate based on Seniority

Location: N/A

Experience & Skills

• 5+ years industry experience with strong System Verilog/UVM based verification skills & experience with assertion & coverage-based verification methodology.
• Assertion coding and converging on Formal tools.
• Must have worked on Jasper Gold or VC Formal tools.
• Understanding of common flows, such as sequential equivalence checks, register verification using formal is a plus.
• Experience in dynamic verification methodologies will be a plus.
• Experience with scripting languages such as Perl, Python is a plus.