Finding the best job has never been easier
Apple CPU Logic Equivalence Check LEC Engineer United States, California 100233608
14.04.2025
Share
You will own the logic equivalence check and sign-off of Apple’s high-performance CPU projects. Responsibilities include but are not limited to:• Developing and improving existing flow for logical equivalent check• Running and signing off block and top level logic equivalence checks, structural gate checks, and low power checks• Supporting the design team in block level verification runs and debug• Working closely with design/CAD teams on the methodology for verification of new features• Creating scripts to automate verification runs and track the results of our various verification checks• Working with the CAD team to further develop and enhance our verification flows• Collaborate with tool vendors on new tool features and issues
- Minimum BS and 10+ years of relevant industry experience
- Experience in digital logic design
- Experience with at least one of the following programming languages, TCL, Python, or Perl
- The ideal candidate should possess CPU implementation and verification experience
- Knowledge of RTL-to-gate formal verification tools (LEC) and debug techniques, Conformal ECO, and low power structural verification tools (VCLP)
- Working knowledge of synthesis tools and flows and Perl and TCL scripting
- Ability to collaborate with cross-functional RTL/PD/DFT teams to come up with custom solutions
Note: Apple benefit, compensation and employee stock programs are subject to eligibility requirements and other terms of the applicable plan or program.
These jobs might be a good fit
