Senior Formal Verification Specialist

Job Title

Senior Formal Verification Specialist

Role Summary

As a Senior Formal Verification Specialist on the ASIC Digital Design engineering team in Bengaluru, you will develop and apply formal verification techniques to validate digital RTL and system designs. The role focuses on creating properties, running formal analyses, debugging counterexamples, and improving verification flows and methodologies.

You will collaborate with RTL designers and verification engineers to identify design issues early, reduce simulation effort, and integrate formal solutions into the verification strategy.

Experience Level

Senior-level. (No explicit years-of-experience specified in the source.)

Responsibilities

Primary responsibilities include:

• Develop and write formal properties and assertions (SVA/PSL) for RTL designs.
• Plan and execute formal verification strategies to complement simulation and emulation.
• Run formal tools, analyze results, and debug counterexamples to determine root cause.
• Collaborate with design and verification teams to resolve findings and close verification gaps.
• Automate formal runs and contribute to verification scripts and flows.
• Improve verification methodology and mentor junior team members.

Requirements

Must-have and preferred skills:

• Must-have: Practical experience with formal verification methodologies and tools (for example, JasperGold, VC Formal, or equivalent).
• Must-have: Experience writing assertions/properties in SVA or PSL and debugging formal counterexamples.
• Must-have: Strong RTL knowledge (SystemVerilog or VHDL) and digital design fundamentals.
• Must-have: Experience with scripting for automation (Python, Tcl, Perl, or similar).
• Nice-to-have: Experience with assertion-based verification, coverage analysis, or static checks.
• Nice-to-have: Prior ASIC flow experience including synthesis and timing-aware verification.

Education Requirements

Not specified.

About the Company

Company: Synopsys

Headquarters: Mountain View, California, USA

Synopsys is a leading company in electronic design automation (EDA) and semiconductor IP solutions. It provides tools and services for designing and verifying complex semiconductor devices and systems. The company plays a pivotal role in the semiconductor industry, helping engineers innovate and deliver higher-quality products faster. Synopsys is committed to advancing technology standards and offers a range of software and hardware solutions to its clients globally.