Lead Formal Verification Engineer

THE ROLE:

Execute formal verification for complex blocks for AMD s graphics processor IP, resulting in no bugs in the final design.

THE PERSON:

Good knowledge of formal verification along with understanding of complex designs.

KEY RESPONSIBILITIES:

• Understand the design to be verified
• Plan and execute formal verification. Formal test plan documentation.
• Estimate the time required for formal verification, coverage and clock gating checks.
• Build the formal property verification/datapath verification environments.

PREFERRED EXPERIENCE:

• 7+ years of formal verification experience .
• Familiarity with CPUs/GPUs/Cache is desirable.

ACADEMIC CREDENTIALS:

• Bachelors or Masters degree in computer engineering/Electrical Engineering