Design Verification Engineers (Sunnyvale, CA)

Tachyum; Sunnyvale (CA); On-site; USD 130,000 - 280,000; Full time

Benefits offered by this job

Competitive salary and benefits

Professional development and careerAdv

International environment

Exposure to bleeding edge technology

Collaborative work culture

Job summary

Tachyum is seeking a Verification Engineer to join the International Design Verification team in Sunnyvale, CA. The role emphasizes設…

We are looking for candidates with strong SystemVerilog/UVM skills, four years of DV experience, and a track record in debugging complex test scenarios within a Linux environment, using scripting languages and C/C++ for test benches.

Qualifications

• Bachelor’s or Master’s in Electrical or Computer Science required.
• 4 years of Design Verification experience.
• Excellent communication skills.
• Very good knowledge of SystemVerilog and UVM.
• Ability to adapt to a start-up fast-paced dynamic environment.
• Demonstrated debugging of complex test scenarios.

Responsibilities

• Verification environments architecture and implementation.
• Verification tools architecture and implementation.
• Regression infrastructure architecture and implementation.
• Verification process and test plan development.
• Assertion-based verification using SVA/OVA.
• Functional coverage methodology and implementation.
• Formal equivalence checking tools like Jasper.
• Theorem provers like ACL2.

Skills

Design Verification experience

SystemVerilog

UVM

Communication skills

Linux environment

Git

Perl or Python

C

C++

Tcl/Expect

Debugging complex tests

Strong DV goals understanding

Education

Bachelor’s or Master’s in Electrical or Computer Science

Tools

Jasper

ACL2

Job description

Locations

• Sunnyvale, CA

Job Fields

• Testing & DV

We are looking for talented Verification Engineers to expand our International Design Verification team.

Qualifications

• Bachelor’s or Master’s in Electrical or Computer Science
• 4 years of Design Verification experience
• Very good understanding of Design Verification goals and challenges
• Ability to adapt to a start-up fast paced dynamic environment
• Excellent communication skills
• Very good knowledge of SystemVerilog and UVM
• Ability to find what can go wrong when everybody else feels safe

Candidates should be able to demonstrate skills, knowledge and experience on a reasonable subset of the following:

• Verification environments architecture and implementation
• Verification tools architecture and implementation
• Processors architecture with understanding of execution pipelines
• GPUs or vector processing engines architecture
• Cache hierarchy and MMU architecture
• Cache coherency protocols
• Standard protocols like PCIe and DDR4/5
• Regression infrastructure architecture and implementation
• Verification process and test plan development
• Assertion-based verification using SVA/OVA
• Functional coverage methodology and implementation
• Formal equivalence checking tools like Jasper
• Theorem provers like ACL2

Experience

• Debugging complex test scenarios
• Working on FPGA emulated platforms
• Working in a Linux environment
• Using git version control system
• Using a scripting language (Perl or Python)
• Using C programming language
• Using C++ programming language
• Using TCL and Expect

Benefits

• Competitive salary and benefits package.
• Opportunities for professional development and advancement.
• International environment and further career progression.
• Getting in touch with bleeding edge technology.
• Collaborative and supportive work environment.

Compensation Range

The base salary range is $130,000 to $280,000. Your salary will be determined based on your experience and specific skillset.

You will also be eligible for equity and benefits.

About Tachyum

Tachyum is transforming AI, HPC, public and private cloud data center markets with its recently launched flagship product. Prodigy, the world’s first Universal Processor, unifies the functionality of a CPU, a GPGPU, and a TPU into a single processor that delivers industry-leading performance, cost, and power efficiency for both specialty and general-purpose computing. When Prodigy processors are provisioned in a hyperscale data center, they enable all AI, HPC, and general-purpose applications to run on one hardware infrastructure, saving companies billions of dollars per year. With data centers currently consuming over 4% of the planet’s electricity, predicted to be 10% by 2030, the ultra-low power Prodigy Universal Processor is critical to continue doubling worldwide data center capacity every four years.

Tachyum, co-founded by Dr. Radoslav Danilak is building the world’s fastest AI supercomputer (128 AI exaflops) in the EU based on Prodigy processors. Tachyum has offices in the United States and Slovakia.