CeresRecruiter Since 2001
the smart solution for Ceres jobs

Senior Formal Verification Engineer

Company: Chelsea Search Group, Inc.
Location: San Jose
Posted on: November 13, 2024

Job Description:

Senior Formal Verification Engineer
San Jose, CA (onsite/hybrid)
US Citizen or US Permanent Resident
6-12 months contract with possible extensions

Required Skills & Experience:

  • Knowledge of SoC/CPU/GPU designs, VLSI, and digital logic design and verification techniques
  • Experience with formal property proofs on industrial strength designs and architectures
  • Deep understanding of SoC design and verification
  • Good understanding of formal verification technologies/abstraction techniques
  • Temporal logic assertion-based languages such as SVA or PSL
  • Experience in using EDA formal tools
  • Proficiency in scripting languages and excellent debugging skills
  • Experience with Cadence Formal Verification tools such as JasperGold
  • System Verilog and UVM methodology expertise
  • Must have 5+ years of experience and BSEE, MSEE preferred

    #J-18808-Ljbffr

Keywords: Chelsea Search Group, Inc., Ceres , Senior Formal Verification Engineer, Engineering , San Jose, California

Click here to apply!

Didn't find what you're looking for? Search again!

I'm looking for
in category
within


Log In or Create An Account

Get the latest California jobs by following @recnetCA on Twitter!

Ceres RSS job feeds