Formal Verification Engineer

San Jose, CA, US • Posted 6 days ago • Updated 6 days ago
Full Time
Travel Required
On-site
Depends on Experience
Fitment

Dice Job Match Score™

🔢 Crunching numbers...

Job Details

Skills

  • Formal Verification
  • SVA
  • Digital Design
  • Change Data Capture
  • RDC
  • RTL
  • Reasoning

Summary

Job Title: Formal Verification Engineer

Location: San Jose, CA(Onsite)

 

Job Description:

 

We are looking for formal verification experts to ensure design correctness using mathematical verification techniques and advanced formal tools.

 

Key Responsibilities:

 

  • Develop formal verification strategies and methodologies
  • Write SystemVerilog Assertions (SVA)
  • Perform property checking, equivalence checking, and CDC/RDC analysis
  • Identify corner cases missed in simulation
  • Collaborate with RTL teams for design improvements

 

Required Skills:

 

  • Strong knowledge of formal verification tools (Jasper, VC Formal, etc.)
  • Expertise in SVA and property specification
  • Solid understanding of digital design and logic reasoning

 

Good to Have:

 

  • Experience in low-power/CDC verification
  • Exposure to security verification
Employers have access to artificial intelligence language tools (“AI”) that help generate and enhance job descriptions and AI may have been used to create this description. The position description has been reviewed for accuracy and Dice believes it to correctly reflect the job opportunity.
  • Dice Id: 90962964
  • Position Id: 9032251
  • Posted 6 days ago
Contact the job poster
RR

Rajender Reddy

Manager - Recruiting & Operations @ ICS Global Soft, Inc.
Create job alert
Set job alertNever miss an opportunity! Create an alert based on the job you applied for.

Similar Jobs

San Jose, California

Today

Full-time

USD 121,900.00 - 195,000.00 per year

San Jose, California

Today

Full-time

USD 145,600.00 per year

San Jose, California

Today

Full-time

USD 198,200.00 - 297,200.00 per year

San Jose, California

Today

Full-time

USD 190,000.00 - 250,000.00 per year

Search all similar jobs