Sr. Formal Verification Engineer

7 years

0 Lacs

Posted:1 month ago| Platform: Linkedin logo

Apply

Work Mode

On-site

Job Type

Full Time

Job Description

Baya Systems is seeking an experienced Formal Verification specialist to join the DV team in Bengaluru. This position is full onsite in the Whitefield office. Overall, we are looking for at least 6/7 years of industry experience.


Develop detailed formal verification (FV) test plans based on design specifications and collaborate with design teams to refine micro-architecture specifications.


Identify key logic components and critical micro-architectural properties essential for ensuring design correctness.


Implement formal verification models, abstractions, assertions, and utilize assertion-based model checking to detect corner-case bugs.


Apply complexity reduction techniques using industry-standard EDA tools or academic formal verification tools to achieve proof convergence or sufficient depth.


Develop and maintain scripts to enhance FV productivity and streamline verification processes.

Assist design teams with the implementation of assertions and formal verification testbenches for RTL at unit/block levels.


Participate in design reviews and collaborate with design teams to optimize design quality and performance, power, area (PPA) metrics based on formal analysis feedback.


Strong proficiency in System Verilog/Verilog.


Good scripting abilities with Python or Perl.


Preferred Experience:


Hands-on experience with formal verification tools such as Synopsys VCFormal and Cadence JasperGold.

Experience with both bug hunting and static proof verification techniques.

Familiarity with automating formal verification workflows within a CI/CD environment.



For those interested, please apply to the job posting below or contact:

Richard Goldstein

Manager, Talent Acquisition

Baya Systems

Email: rich.goldstein@bayasystems.com

Mock Interview

Practice Video Interview with JobPe AI

Start Python Interview
cta

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.

Job Application AI Bot

Job Application AI Bot

Apply to 20+ Portals in one click

Download Now

Download the Mobile App

Instantly access job listings, apply easily, and track applications.

coding practice

Enhance Your Python Skills

Practice Python coding challenges to boost your skills

Start Practicing Python Now

RecommendedJobs for You