Sr. CAD Engineer – Logic Equivalence

Haifa, Israel


Role Number:200121549
Do you love creating elegant solutions to highly complex challenges? Do you intrinsically see the importance in every detail? As part of our Silicon Technologies group, you’ll help design and validate our next-generation, high-performance, power-efficient system-on-chip (SoC) designs. You’ll ensure Apple products and services can seamlessly and efficiently handle the tasks that make them beloved by millions. Joining this group means you’ll be responsible for crafting and building the technology that fuels Apple’s devices. We are seeking someone to develop, maintain, and improve logic equivalence checking flows. You will support the software and scripts that design teams are using to verify implementation flows and complete ECOs and will get to explore the possibility of applying machine learning techniques to improve logic equivalence tools and flows. You will work directly with EDA vendors to address tool issues and own issue closure on projects.

Key Qualifications

  • The ideal Candidate Will Have 5+ years of experience working in an EDA/CAD tool development/support role
  • Expertise in Formality and/or Conformal is required (Conformal ECO is a plus)
  • Expertise in Design Compiler or Genus is a plus
  • Prior experience scripting in PERL, TCL, or Python
  • Strong communication skills and previous customer support desired


Developing, maintaining, and improving CAD applications for logical equivalence Supporting multiple frontend and physical design teams Triaging and solving CAD flow problems, and working around 3rdparty EDA tool problems Driving bug fixes and enhancements to EDA tools Collaborating with CAD engineers to integrate your solutions into their flows General logic equivalence related flow development and support

Education & Experience

MS or BS Degree in technical discipline

Additional Requirements