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 :

Skills Required

Cpu, Gpu, serial protocols , formal verification