Apple
CPU Logic Equivalence Check (LEC) Engineer
$185K–$325K
Santa Clara, California · Full-time · Posted Apr 14, 2026
- Experience
- 10+ years of relevant industry experience.
- Education
- BS
About the job
Own logic equivalence checking and sign-off for high-performance CPU projects, while developing verification flows and supporting CPU design verification.
What you'll do
- Develop and improve logic equivalence checking flows; run and sign off block- and top-level checks, structural gate checks, and low-power checks.
- Support block-level verification and debug, and work with design and CAD teams on verification methodologies and new features.
- Automate verification runs and results tracking, enhance verification flows, and collaborate with tool vendors on features and issues.
What they ask for
- BS degree and relevant industry experience.
- Experience with at least one RTL-to-gate formal verification tool: Conformal or Formality.
- Experience in digital logic design.
- Experience with at least one programming language: TCL, Python, or Perl.
Nice to have
- CPU implementation and verification experience.
- Knowledge of LEC debug techniques, Conformal ECO, VCLP, synthesis tools and flows, and Perl and TCL scripting; ability to collaborate across RTL/PD/DFT teams.
Pay
$184,700 and $324,800 (base pay range; USD)
Tools
Conformal, Formality, TCL, Python, Perl, Conformal ECO, VCLP
Model-written summary · the original posting is authoritative