Senior Formal Verification Engineer

Careernet

5 - 10 years

40 - 60 Lacs

bengaluru

Posted:15 hours ago| Platform:

Apply

Skills Required

formal verification functional verification frontend verification

Work Mode

Work from Office

Job Type

Full Time

Job Description

Key Skills:

Roles and Responsibilities:

Develop detailed formal verification (FV) test plans based on design specifications.
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.

Skills Required:

Strong experience in Frontend Verification, Formal Verification, and Functional Verification
Good understanding of System Verilog, Verilog, and UVM
Knowledge of Assertion-Based Verification techniques
Scripting skills in Python or Perl
Experience with EDA tools used for formal verification

Education:

More Jobs at Careernet

Devops Engineer

Pune

6 - 11 yrs

INR 10 - 20 Lacs

Servicenow Developer

Chennai, Bengaluru, Hyderabad

4 - 6 yrs

INR 10 - 18 Lacs

RDS Engineer

Bengaluru

6 - 9 yrs

INR 8 - 18 Lacs

Senior ML Software Engineer

Bengaluru

7 - 11 yrs

INR 30 - 40 Lacs

ICC System Architect

Bengaluru

12 - 17 yrs

INR 22 - 37 Lacs

Mock Interview

Practice Video Interview with JobPe AI

Start Job-Specific Interview

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.