Staff Engineer, CPU Formal Verification
Description For Staff Engineer, CPU Formal Verification
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.
As a Staff Engineer for CPU Formal Verification at Tenstorrent, you 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 offers a unique opportunity to work on cutting-edge AI technology and contribute to the development of high-performance computing solutions.
Key responsibilities include:
- Driving formal verification for blocks across CPU design
- Developing detailed verification plans
- Creating and debugging assertions and cover properties
- Implementing formal verification flows using industry-standard and open-source tools
- Automating formal testbenches and integrating them into regressions
The ideal candidate will have:
- BS/MS/PhD in EE/ECE/CE/CS with at least 5 years of experience
- Strong knowledge of computer architecture, especially in CPU, GPU, and Cache designs
- Hands-on experience with formal verification tools and hardware description languages
- Proficiency in programming and scripting languages
- Strong problem-solving and debugging skills for complex logic and digital designs
Tenstorrent offers a highly competitive compensation package, with total compensation ranging from $100k to $500k, including base and variable components. The company values collaboration, curiosity, and a commitment to solving hard problems, making it an excellent environment for those passionate about AI and high-performance computing.
Join Tenstorrent and be part of a team that's shaping the future of AI technology and computing paradigms.
Responsibilities For Staff Engineer, CPU Formal Verification
- 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
Requirements For Staff Engineer, CPU Formal Verification
- 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
