Logic Equivalence Check (LEC) Engineer

Join a cutting-edge and well-funded hardware startup in Silicon Valley as a Logic Equivalence Check (LEC) Engineer at Rivos. Our mission is to reimagine silicon and create computing platforms that will transform the industry with the most advanced technologies. You will have the opportunity to work with some of the most talented and passionate engineers in the world to create designs that push the envelope on performance, energy efficiency, and scalability.

As an LEC Engineer, you will be responsible for building and automating formal verification flow and supporting multiple design teams to consolidate resolutions. Your role will involve developing and improving existing flow for logical equivalent checks, working with ABORT/NEQ debugging processes, and using logical equivalence tools such as Conformal LEC and/or Formality.

Key responsibilities include:

• Collaborating with tool vendors for tool issues debugging and resolving
• Working with cross-functional RTL/PD/DFT teams to develop custom solutions
• Developing and maintaining in-house CAD tools and flow
• Proficiency in programming languages such as TCL, Python, and Perl

Additional valuable experience includes:

• Conformal ECO/Formality ECO
• Conformal Lowpower/VCLP
• Low Power implementation flows (UPF)
• Physical Synthesis/PNR and DFT implementation

We offer a fun, creative, and flexible work environment with a shared vision to build products that will change the world. Join us in pushing the boundaries of silicon technology and making a significant impact in the industry.

Required Education:

• BS (preferred in EE) plus 8 years of experience, or
• MS (preferred in EE) plus 5 years of experience

If you're passionate about hardware engineering, formal verification, and want to be part of a team creating next-generation computing platforms, we encourage you to apply for this exciting opportunity at Rivos.