CPU Formal Verification Engineer

Reposted 8 Hours Ago
Be an Early Applicant
Austin, TX
Senior level
Hardware • Manufacturing
The Role
The Staff Engineer, CPU Formal Verification will apply formal verification techniques to identify bugs in specifications and RTL implementation for a high-performance CPU. Responsibilities include developing verification plans, assertions, cover properties, and automating testbenches using both industry-standard and open-source tools.
Summary Generated by Built In

Tenstorrent is leading the industry on cutting-edge AI technology, revolutionizing performance expectations, ease of use, and cost efficiency. With AI redefining the computing paradigm, solutions must evolve to unify innovations in software models, compilers, platforms, networking, and semiconductors. Our diverse team of technologists have developed a high performance RISC-V CPU from scratch, and share a passion for AI and a deep desire to build the best AI platform possible. We value collaboration, curiosity, and a commitment to solving hard problems. We are growing our team and looking for contributors of all seniorities.

CPU Formal Verification engineer will be responsible for applying various formal verification techniques to source bugs in specifications and RTL implementation for a high performance data center class CPU.

This role is hybrid, based out of Austin, TX or Santa Clara, CA.

We welcome candidates at various experience levels for this role. During the interview process, candidates will be assessed for the appropriate level, and offers will align with that level, which may differ from the one in this posting.

Responsibilities:

  • Drive formal verification for block across CPU design by interacting with the team and scoping out the complexity of the problem at hand
  • Develop detailed verification plans to highlight the checks and constraints
  • Develop assertions, cover properties and connectivity checks as a part of formal verification flows and debug any failures in regressions 
  • Create formal verification flows and deploy techniques that leverage on both industry standard and open-source tools. Drive automation of formal testbenches and ensure they are a part of regressions 
  • Deploy scripts and automation to support formal, review setups and proofs with Microarchitecture and DV engineers

Experience & Qualifications:

  • BS/MS/PhD in EE/ECE/CE/CS with at least 5 years of experience 
  • Prior experience with formal verification methods and techniques 
  • Strong knowledge of computer architecture with some experience on CPU, GPU, Cache designs 
  • Hands-on experience with formal verification tools such as Jasper, VC-Formal, Yosys, IFV, Questa, etc. 
  • Proficiency in programing/scripting languages 
  • Strong experience with hardware description languages (Verilog, VHDL) and simulators (VCS, NC, Verilator), experience capturing design specification in a temporal assertion language such as SVA 
  • Strong problem solving and debug skills for complex logic and digital designs


Compensation for all engineers at Tenstorrent ranges from $100k - $500k including base and variable compensation targets. Experience, skills, education, background and location all impact the actual offer made.

Tenstorrent offers a highly competitive compensation package and benefits, and we are an equal opportunity employer.

Due to U.S. Export Control laws and regulations, Tenstorrent is required to ensure compliance with licensing regulations when transferring technology to nationals of certain countries that have been licensing conditions set  by the U.S. government.

Our engineering positions and certain engineering support positions require access to information, systems, or technologies that are subject to U.S. Export Control laws and regulations, please note that citizenship/permanent residency, asylee and refugee information and/or documentation will be required and considered as Tenstorrent moves through the employment process.

If a U.S. export license is required, employment will not begin until a license with acceptable conditions is granted by the U.S. government.  If a U.S. export license with acceptable conditions is not granted by the U.S. government, then the offer of employment will be rescinded.

Am I A Good Fit?
beta
Get Personalized Job Insights.
Our AI-powered fit analysis compares your resume with a job listing so you know if your skills & experience align.

The Company
HQ: Toronto, ON
389 Employees
On-site Workplace
Year Founded: 2016

What We Do

Tenstorrent is a next-generation computing company that builds computers for AI.

Headquartered in Toronto, Canada, with U.S. offices in Austin, Texas, and Silicon Valley, and global offices in Belgrade and Bangalore, Tenstorrent brings together experts in the field of computer architecture, ASIC design, advanced systems, and neural network compilers.

Join us: www.tenstorrent.com/careers

Similar Jobs

Micron Technology Logo Micron Technology

Senior Verification Engineer/Architect- HBM

Artificial Intelligence • Hardware • Information Technology • Machine Learning • Semiconductor
Richardson, TX, USA
40000 Employees

Micron Technology Logo Micron Technology

Principal/MTS SOC Pre-Silicon Verification Engineer- HBM

Artificial Intelligence • Hardware • Information Technology • Machine Learning • Semiconductor
Richardson, TX, USA
40000 Employees

NVIDIA Logo NVIDIA

ASIC Verification Engineer, GPU - New College Grad 2025

Artificial Intelligence • Computer Vision • Hardware • Robotics • Metaverse
3 Locations
21960 Employees

Similar Companies Hiring

True Anomaly Thumbnail
Software • Machine Learning • Hardware • Defense • Artificial Intelligence • Aerospace
Colorado Springs, CO
131 Employees
Caliola Engineering Thumbnail
Software • Machine Learning • Hardware • Defense • Data Privacy • App development • Aerospace
Colorado Springs, CO
53 Employees
Red 6 Thumbnail
Virtual Reality • Software • Hardware • Defense • Aerospace
Orlando, Florida
113 Employees

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account