highlisted
Sign in

Senior CPU Formal Verification Engineer

SiFive·Hyderabad

Pay not stated5–9 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

We are seeking a Senior Design Formal Verification Engineer to own formal strategies for advanced out‑of‑order (OoO) CPU cores . You will work closely with micro‑architects and RTL designers to verify complex execution pipelines.

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

  • 5–9 yrs of experience
  • Verilog
  • Maintenance
  • Test cases
  • M.Tech or B.Tech or B.E.

Similar jobs

Senior Design Verification Engineer

Quest Global·Hyderabad

Can I apply
Needs B.Tech or B.E. · Senior level
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 12 h ago on their own site

Intern Bachelors Hardware Eng

Icfcjb·Hyderabad

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

DFT - Senior Engineer

Qualcomm·Hyderabad, Bengaluru

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

Associate Engineer - RF SW

Qualcomm·Hyderabad

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