Staff Formal Verification Engineer

Tenstorrent in Bangalore, Karnataka

The Tenstorrent team combines technologists from different disciplines who come together with a shared passion for AI and a deep desire to build great products. We value collaboration, curiosity, and a commitment to solving hard problems. Find out more about our culture .

CPU Formal Verification Engineer
CPU 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
Tenstorrent offers a highly competitive compensation package and benefits, and we are an equal opportunity employer.
    • Drive formal verification for multiple CPU blocks by putting together formal test plans and executing on them
    • 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
    • Develop assertions, cover properties and connectivity checks as a part of formal verification flows and debug any failures in RTL regressions
    • Deploy scripts and automation to support formal, review setups and proofs with Microarchitecture and DV engineers
    • 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
Apply