CPU Logic Equivalence Check (LEC) Engineer
Core
Own logic equivalence check (LEC) and sign-off for Apple's high-performance CPU projects, ensuring functional verification standards are met.
Role type
Senior IC CPU verification engineer (LEC)
Builds
High-performance CPU designs
Domain
Semiconductor / CPU Design
Required skills
RTL-to-gate formal verification tools (Conformal, Formality), digital logic design, TCL scripting, Python scripting, Perl scripting
Preferred skills
CPU implementation and verification experience, low power structural verification tools (VCLP), synthesis tools and flows knowledge, cross-functional collaboration with RTL/PD/DFT teams
Technologies
Conformal, Formality, VCLP, synthesis tools
Responsibilities
Develop and improve existing LEC flows; Run and sign off block and top-level LECs, structural gate checks, and low power checks; Support design team in block-level verification runs and debug; Create scripts to automate verification runs and track results; Collaborate with CAD teams on verification methodology; Work with tool vendors on new features and issues
Seniority
Senior, hands-on IC
