Formal Verification Engineer

Job Title

Formal Verification Engineer

Role Summary

Responsible for formally verifying complex RTL and micro-architectural designs using formal property proving, coverage analysis, and abstraction techniques. Works closely with design, architecture, validation teams, and internal formal verification R&D to define scope, develop testplans, and deliver sign-off for target features.

Position is part of the hardware verification organization and operates in a hybrid model based in Bengaluru, India.

Experience Level

Mid-level — experience guidance: 2+ years of relevant formal verification or hardware verification experience.

Responsibilities

Key responsibilities include planning and executing formal verification tasks and building verification infrastructure to prove functional correctness of RTL units.

• Analyze specifications and define formal verification scope and sign-off criteria.
• Create high-quality formal verification testplans and develop formal testbenches.
• Write assertions and constraints; apply abstraction and complexity-reduction techniques to achieve proofs.
• Use formal coverage analysis to identify over-constraints and measure functional coverage.
• Design and develop verification flows integrating vendor and internal formal tools.
• Collaborate closely with design, architecture, and validation teams to diagnose counter-examples and iterate on fixes.

Requirements

Must-have technical skills and experience for successful performance in this role.

• Strong understanding of hardware micro-architecture and RTL design.
• Practical experience with formal verification technologies and complexity reduction techniques.
• Experience applying formal property verification on multiple complex units.
• Proficiency in building formal testbenches, writing assertions/constraints, and root-causing counter-examples.

Nice-to-have:

• Scripting skills (Python, Perl, shell) for automation and tooling.
• Strong debugging/problem-solving skills and effective communication within cross-functional teams.

Education Requirements

B.Tech. or M.Tech. degree (engineering) required as listed; the posting specifies 2+ years of relevant experience in addition to the degree.