Formal Verification Engineer

Role: 

The ideal candidate is a person with extenstive experience in applying formal verification methods to complex IPs for cpu, gpu and high speed protocols.

Responsibilities:

Complete ownership and execution of formal verification of cache controllers, computational IPs, floating point units, etc

In this role, he/she would be responsible for formal verification of GPU Design by meeting the demands of the constantly evolving project schedule. The successful candidate will be a member of the GFX team. He/she will demonstrate passion towards design, design verification, be a teammate, a problem solver with independence, creativity, and interpersonal skills.

Complete ownership and execution of formal verification of cache controllers, computational IPs, floating point units, etc.

PREFERRED EXPERIENCE:

• Vast and deep experience of formal verification methods
• Domain knowledge in cpu, gpu, serial protocols
• Must be able to do compexity reduction, bug hunting or similar methods

ACADEMIC CREDENTIALS:

• Bachelors or Masters degree in computer engineering/Electrical Engineering