CPU Logic Equivalence Check Engineer

What you'll do

• Own the logic equivalence check and sign-off for high-performance CPU projects.
• Develop and improve existing flows for logical equivalence checks.
• Execute and sign off on block and top-level logic, structural gate, and low power checks.
• Support design teams with block-level verification runs and debugging.
• Create scripts to automate verification runs and track results across various checks.
• Work with CAD teams to develop and enhance verification methodologies for new features.
• Collaborate with tool vendors to address issues and integrate new features.

What we're looking for

• Minimum BS degree and 10+ years of relevant industry experience.
• Experience with at least one RTL-to-gate formal verification tool, such as Conformal or Formality.
• Experience in digital logic design.
• Experience with at least one programming language: TCL, Python, or Perl.
• CPU implementation and verification experience (preferred).
• Knowledge of LEC tools, debug techniques, Conformal ECO, and low power structural verification tools (VCLP) (preferred).
• Working knowledge of synthesis tools and flows and Perl and TCL scripting (preferred).
• Ability to collaborate with cross-functional RTL/PD/DFT teams to come up with custom solutions (preferred).