Full-Time

CPU Formal Verification Engineer

Confirmed live in the last 24 hours

Tenstorrent

Tenstorrent

501-1,000 employees

Builds advanced computers for AI applications

Hardware
AI & Machine Learning

Compensation Overview

$100k - $500kAnnually

Senior

No H1B Sponsorship

Austin, TX, USA + 1 more

More locations: Santa Clara, CA, USA

Hybrid role based out of Austin, TX or Santa Clara, CA.

US Citizenship Required

Category
Hardware Engineering
Computer Hardware Engineering
Required Skills
Verilog
VHDL
Requirements
  • 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
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

Tenstorrent builds advanced computers specifically designed for artificial intelligence applications. Their products include high-performance computing systems that utilize specialized hardware and software solutions, leveraging technologies like ASIC design and RISC-V architecture. Unlike many competitors, Tenstorrent focuses on integrating neural network compilers into their systems, enhancing the efficiency of AI computations. The company's goal is to advance the capabilities of AI computing, serving clients in the AI and computing sectors while generating revenue through the sale of their specialized systems and services.

Company Stage

Series D

Total Funding

$1.3B

Headquarters

Toronto, Canada

Founded

2016

Growth & Insights
Headcount

6 month growth

-3%

1 year growth

-6%

2 year growth

-4%
Simplify Jobs

Simplify's Take

What believers are saying

  • RISC-V architecture's growth aligns with Tenstorrent's open-source AI software focus.
  • Automotive AI chip market growth offers lucrative opportunities for Tenstorrent's BOS partnership.
  • Increasing demand for HPC systems could expand Tenstorrent's reach beyond tech industries.

What critics are saying

  • Competition from established AI hardware companies like Nvidia could impact market share.
  • Reliance on open-source software may delay product development timelines.
  • Geopolitical tensions in South Korea and Japan could disrupt Tenstorrent's supply chains.

What makes Tenstorrent unique

  • Tenstorrent leverages RISC-V technology for flexible, open-source AI hardware solutions.
  • The company partners with BOS Semiconductors to develop next-gen automotive AI chips.
  • Tenstorrent's global presence includes offices in key tech hubs like Silicon Valley and Tokyo.

Help us improve and share your feedback! Did you find this helpful?

Benefits

Hybrid Work Options