CPU Formal Verification Engineer
2 weeks ago
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
-
Senior Formal Hardware Verification Engineer
2 weeks ago
Austin, United States Correct Designs Full timeSenior 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...
-
Cpu Design Verification
6 days ago
Austin, United States Rivos Full timeFull-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...
-
Sr. Verification Engineer, CPU
4 weeks ago
Austin, United States Fabric of Truth, Inc Full timeFabric 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...
-
Silicon Logic Formal Verification
2 weeks ago
Austin, United States Rivos Full timePositions 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. ...
-
CPU Load/Store Verification Engineer
3 weeks ago
Austin, United States Tenstorrent Inc Full timeThis 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...
-
CPU Core Feature Verification and Debug Engineer
4 weeks ago
Austin, United States Tenstorrent Inc Full timeWe 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 timeTenstorrent 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...
-
Design Verification Engineer
3 days ago
Austin, United States Wipro Full timeJob 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...
-
Design Verification Engineer
4 weeks ago
Austin, United States Wipro Full timeJob 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...
-
Design Verification Engineer
4 weeks ago
Austin, United States Wipro Full timeJob 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...
-
Design Verification Engineer
7 days ago
Austin, United States Platform Recruitment Full timeDesign 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...
-
Senior Verification Engineer
3 weeks ago
Austin, United States NVIDIA Full timeWe 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...
-
Design Verification Engineer
7 days ago
Austin, United States Platform Recruitment Full timeDesign 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:...
-
Design Verification Engineer
1 week ago
Austin, United States Platform Recruitment Full timeDesign 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:...
-
Staff Digital Processor Verification Engineer
2 weeks ago
Austin, United States Fabric of Truth, Inc Full timeFabric 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...
-
Design Verification Engineer
2 weeks ago
Austin, United States Correct Designs Full timeDesign 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...
-
Principal Design Verification Engineer
6 days ago
Austin, United States Tenstorrent Full timeTenstorrent 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...
-
Principal Design Verification Engineer
2 weeks ago
Austin, United States Tenstorrent Full timeTenstorrent 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 timeFabric 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...
-
Design Verification Engineer
5 days ago
Austin, United States Correct Designs Full timeDesign 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...