Lead Formal Verification Engineer

Role Summary

The Lead Formal Verification Engineer plays a critical role in the verification of advanced Ryzen CPU clusters and blocks using formal verification methods. This position involves the creation of formal proofs and models to ensure the accuracy and reliability of CPU designs by collaborating closely with various technical teams.

Experience Level

This position requires candidates with 5-10 years of experience in formal verification, particularly with CPU-related microarchitecture. Ideal candidates will have hands-on experience with formal engines and a strong background in hardware description languages.

Responsibilities

The main responsibilities include:

• Formal Verification & Proof Development: Execute verification through model checking and develop formal proofs to enhance coverage.
• Test Planning & Strategy: Create formal verification plans detailing scope, coverage goals, and proof strategies while leading ROI analyses.
• Collaboration & Debugging: Work alongside architects and design teams to address issues and improve design quality, including post-silicon debugging.
• Methodology & Infrastructure Development: Maintain and upgrade verification infrastructure and investigate new methodologies for reusable verification.

Requirements

Candidates must possess skills in formal verification, specifically:
- Experience with formal engines such as JasperGold and VC Formal.
- Proficiency in assertion languages and HDL modeling.
- Strong programming capabilities in languages like Python, Tcl, or Perl.
- Excellent analytical skills to identify verification gaps in designs.

Education Requirements

A Bachelor’s, Master’s, or Ph.D. in Computer Engineering, Electrical/Electronic Engineering, Computer Science, or a related field is required.