CPU Formal Verification Engineer

2 weeks ago


Austin, United States Tenstorrent Inc Full time

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

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

Responsibilities

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

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 sanctioned by the U.S. government.

As this position will have direct and/or indirect access to information, systems, or technologies that are subject toU.S. Export Control laws and regulations, please note that citizenship/permanent residency informationand/or documentation will be required and considered as Tenstorrent moves through the employment process.

#J-18808-Ljbffr



  • Austin, United States Correct Designs Full time

    Senior Formal Verification Engineer Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you. Correct Designs is currently seeking talented Formal Verification Engineers with experience working with a formal verification tool: Cadence Jasper, Mentor Quest...


  • Austin, United States Rivos Full time

    Full-time opportunities are available in the areas of design verification for cutting-edge high performance RISC-V CPU from unit level to top level, as well as, all aspects of verification such as functional, microarchitecture, performance, and formal. We are looking for all levels of talent, from entrance to advanced level of...


  • Austin, United States Fabric of Truth, Inc Full time

    Fabric believes hardware determines the boundaries of humanity's collective creativity and imagination. We are building hardware for the next generation of cryptography because we believe in creating a more trustworthy world with secure, private computation at its core. Just as encryption and decryption enabled the Internet as we know it, this new paradigm...


  • Austin, United States Rivos Full time

    Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design Responsibilities As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator design. ...


  • Austin, United States Tenstorrent Inc Full time

    This role is hybrid, based out of Austin, TX or Santa Clara, CA. CPU Load/Store Verification Engineer will focus on Load Store verification for high-performance CPUs. The person coming into this role will help execute the load store verification strategy and the DV plan. Responsibilities: Execute functional and performance verification of the load store...


  • Austin, United States Tenstorrent Inc Full time

    We are looking for a CPU core level feature / testplan verification engineer responsible for ISA and microarchitectural verification. Responsibilities: Functional verification with emphasis on core level testplanning, stimulus development and regression debug for simulation and emulation regressions Understand ISA and microarchitectural specifications for...


  • Austin, United States Tenstorrent Full time

    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...


  • Austin, United States Wipro Full time

    Job Description: 5 to 10 years of Experience in pre-silicon RTL Verification /IP Verification / SOC verification Strong knowledge of System Verilog and working knowledge of recent verification methodologies (UVM). Domain expertise in one or more of the following areas System-on-a-chip verification with multiple CPUs and fixed function units with AXI or NOC...


  • Austin, United States Wipro Full time

    Job Description: 5 to 10 years of Experience in pre-silicon RTL Verification /IP Verification / SOC verification Strong knowledge of System Verilog and working knowledge of recent verification methodologies (UVM).Domain expertise in one or more of the following areas System-on-a-chip verification with multiple CPUs and fixed function units with AXI or NOC...


  • Austin, United States Wipro Full time

    Job Description: 5 to 10 years of Experience in pre-silicon RTL Verification /IP Verification / SOC verification Strong knowledge of System Verilog and working knowledge of recent verification methodologies (UVM).Domain expertise in one or more of the following areas System-on-a-chip verification with multiple CPUs and fixed function units with AXI or NOC...


  • Austin, United States Platform Recruitment Full time

    Design Verification Engineer Competitive Salary Austin, Tx OR Santa Clara, California Im working with an exciting RISC-V Start Up who are keen to onboard full-time SOC Verification Engineers. Im looking for individuals with a range of experience levels. Whether youre a beginner or a seasoned professional, Id love to chat! What you'll do: Work closely with...


  • Austin, United States NVIDIA Full time

    We are currently seeking Verification engineers with strong verification IP development skills to work in Nvidia’s CPU team. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. We have...


  • Austin, United States Platform Recruitment Full time

    Design Verification Engineer – Competitive Salary – Austin, Tx OR Santa Clara, California I’m working with an exciting RISC-V Start Up who are keen to onboard full-time SOC Verification Engineers. I’m looking for individuals with a range of experience levels. Whether you’re a beginner or a seasoned professional, I’d love to chat!What you'll do:...


  • Austin, United States Platform Recruitment Full time

    Design Verification Engineer – Competitive Salary – Austin, Tx OR Santa Clara, California I’m working with an exciting RISC-V Start Up who are keen to onboard full-time SOC Verification Engineers. I’m looking for individuals with a range of experience levels. Whether you’re a beginner or a seasoned professional, I’d love to chat!What you'll do:...


  • Austin, United States Fabric of Truth, Inc Full time

    Fabric believes hardware determines the boundaries of humanity's collective creativity and imagination. We are building hardware for the next generation of cryptography because we believe in creating a more trustworthy world with secure, private computation at its core. Just as encryption and decryption enabled the Internet as we know it, this new paradigm...


  • Austin, United States Correct Designs Full time

    Design Verification Engineer Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you. Correct Designs is currently seeking talented Verification Engineers with prior System Verilog UVM experience to work with our major clients both in Austin, TX, and...


  • Austin, United States Tenstorrent Full time

    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...


  • Austin, United States Tenstorrent Full time

    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...


  • Austin, United States Fabric of Truth, Inc Full time

    Fabric believes hardware determines the boundaries of humanity's collective creativity and imagination. We are building hardware for the next generation of cryptography because we believe in creating a more trustworthy world with secure, private computation at its core. Just as encryption and decryption enabled the Internet as we know it, this new paradigm...


  • Austin, United States Correct Designs Full time

    Design Verification Engineer Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you. Correct Designs is currently seeking talented Verification Engineers with prior System Verilog UVM experience to work with our major clients both in Austin, TX, and...