Apple
CPU Logic Equivalence Check (LEC) Engineer
$185K–$325K
Santa Clara, California · Full-time · Posted Dec 4, 2025
- Experience
- 10+ years of relevant industry experience.
- Education
- Minimum BS.
About the job
Own logic equivalence checking and sign-off for Apple CPU projects, developing verification flows and supporting design teams in verification and debug.
What you'll do
- Develop and improve logic equivalence-checking flows; run and sign off block- and top-level equivalence, structural gate, and low-power checks.
- Support block-level verification and debug, and collaborate with design and CAD teams on verification methodology and flow improvements.
- Create scripts to automate verification runs and track results; work with tool vendors on new features and issues.
What they ask for
- At least a BS degree.
- 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 tools and debug techniques, Conformal ECO, VCLP, synthesis tools and flows, and Perl and TCL scripting.
Pay
$184,700 and $324,800 (base salary range)
Tools
Conformal, Formality, TCL, Python, Perl, Conformal ECO, VCLP
Model-written summary · the original posting is authoritative