highlisted
Sign in

Staff - Formal Verification Engineer

SiFive·Bengaluru

Pay not stated8–14 yrsFull-time
Apply on SiFive's siteTrack your applications and see your fit: start free

Read from the company's own careers page; you apply on their site.

How well do you fit this job?

Upload your resume to see each requirement checked against your profile, in under a minute.

Check my fit
Hard to read?

About the role

Staff - Formal Verification Engineer at SiFive. Identify blocks suitable for applying Formal Verification.

What you'll do

  • Identify blocks suitable for applying Formal Verification
  • Create Formal Test-plan for blocks identifying properties to be implemented and sign-off metrics
  • Implementation and maintenance of Formal Verification environments in Chisel
  • Applying various FV techniques to reduce complexity and prove correctness of DUT
  • Debugging RTL to identify causes of failure scenarios

What you need

  • 8–14 yrs of experience
  • Verilog
  • Maintenance
  • Test cases
  • B.Tech or B.E.

Similar jobs

Senior Embedded Test engineer

Quest Global·Bengaluru (hybrid)

Can I apply
Needs Class 10 or B.Tech or B.E. · 2–4 yrs
Pay
Pay not stated
Source
From the company's careers page · today
How to apply
On Quest Global's site: account needed, ~10–15 min
Early: posted 3 h ago on their own site

IP Verification Lead

AMD·Bengaluru

Can I apply
Needs B.Tech or B.E. or M.Tech · Senior level
Pay
Pay not stated
Source
From the company's careers page · today
How to apply
On AMD's site: account needed, ~10–15 min
Early: posted 3 h ago on their own site

Associate Engineer- Electronics

RTX·Bengaluru

Can I apply
Needs B.Tech or B.E. · 7–10 yrs
Pay
Pay not stated
Source
From the company's careers page · today
How to apply
On RTX's own site
Early: posted 4 h ago on their own site

Technical Lead - PCB Engineer

SolarEdge·Bengaluru

Can I apply
Needs Diploma or B.Tech or B.E. · 6–11 yrs
Pay
Pay not stated
Source
From the company's careers page · today
How to apply
On SolarEdge's own site
Early: posted 5 h ago on their own site