Formal Verification Framework for Hardware IPs Validation

Apple

9h • Onsite

About The Position

Join Apple’s rapidly growing team at its London design center. The AMS IP team owns a broad portfolio of IPs and complete subsystems used across Apple products. The Design Verification Engineer will work with teams across Apple and build knowledge of multiple chips and platforms to bring system-level understanding into the verification flow.

The role covers the verification process end to end, from specification-level planning through verification execution, performance analysis, and signoff against quality metrics. As an intern, you will develop comprehensive property sets to achieve functional coverage of hardware models, formalize properties in SVA, and execute formal proofs using industry-standard tools. You will analyze the trade-off between model accuracy and proof convergence time, then extend the verification framework to integrate properties at higher levels for system verification. You will also document methodology and best practices for the verification flow.

Requirements

• Currently enrolled in Computer Science or an equivalent program.
• Knowledge of formal verification techniques.
• Knowledge of Verilog and/or VHDL.
• Strong mathematical reasoning and analytical sense.
• Knowledge of a scripting language such as Perl or Python.
• Good written and verbal communication skills.
• A Master’s or Bachelor’s degree in Computer Science or an equivalent field.
• Availability for six months or more.

Nice To Haves

• Experience working with international teams.

Responsibilities

• Define comprehensive property sets for functional coverage of hardware models.
• Formalize verification properties using SVA.
• Execute formal proofs and analyze proof convergence behavior, including the trade-off between accuracy and execution time.
• Extend the verification framework to integrate properties at higher levels for system verification.
• Document methodology and best practices for the verification flow.
• Contribute to end-to-end verification, including defining the verification strategy and plan, executing verification, performing performance analysis, and handling quality metrics through verification signoff.

What This Job Offers

• Job Type: Full-time
• Career Level: Intern