Logic Equivalence Check (LEC) Engineer

Join a cutting-edge and well-funded hardware startup in Silicon Valley as a PD/CAD Engineer. 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. We offer a fun, creative, and flexible work environment, with a shared vision to build products to change the world. You will be responsible for building and automating formal verification flow and also support multiple design teams to consolidate resolutions.

• Develop and improve existing flow for logical equivalent check
• Experience with ABORT/NEQ debugging process
• Experience with logical equivalence tools such as Conformal LEC and/or Formality
• Collaborate with tool vendors for tool issues debugging and resolving
• Collaborate with cross-functional RTL/PD/DFT teams to come up with custom solutions
• Developing and maintaining in-house CAD tools and flow
• Experience with Conformal ECO/Formality ECO is a plus
• Experience with Conformal Lowpower/VCLP is a plus
• Experience with Low Power implementation flows (UPF) is a plus
• Experience with Physical Synthesis/PNR and also DFT implementation is a plus
• Proficient in programming languages, TCL, Python, Perl

• BS (preferred in EE) plus 8 years
• MS (preferred in EE) plus 5 years