Senior Formal Verification Engineer

5 - 10 years

40 - 60 Lacs

Posted:1 hour ago| Platform: Naukri logo

Apply

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:

Mock Interview

Practice Video Interview with JobPe AI

Start Job-Specific 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 Skills

Practice coding challenges to boost your skills

Start Practicing Now
Careernet logo
Careernet

Recruitment & Staffing

Tech City

RecommendedJobs for You