Senior Staff Formal Verification GPU Engineer - #1798637

Job Description

Position: GPU Formal Verification Engineer

Contract: Permanent

Salary: Negotiable + 20% variable

The Role

The role is for our fast-growing GPU Hardware team. Our mission is to create through constant innovation the best-in-class GPU

IP, for a wide range of market segments and applications.

By joining our team, you will have the opportunity to exercise your skills on cutting-edge designs, work on key building blocks for

market-leading chips and deliver significant impact to the future success of our wider team.

You Will

• Be responsible for the delivery of formal verification activities related to a GPU component or sub-system from
  
  

early stages of verification planning to sign-off

• Design and implement formal verification strategies to achieve our design quality goals.
• Root-cause design issues in collaboration with other engineers.
• Research new formal verification techniques and continuously drive the scope of what can be achieved with formal
  
  

verification.

• Create verification plans, develop and maintain formal methodology and complex benches
• Track and report verification metrics and closure
• Participate in all stages of design specification definition providing feedback from the verification perspective
• Be responsible for the definition, effort estimation and tracking of your own work
• Be able to influence and advance our GPU verification methodology
• Have the opportunity to lead, coach and mentor other members of the team
• Participate in design and verification reviews and recommend improvements
• Contribute to team shared knowledge via open discussions and presentations
  
  

You'll Have

• Have good knowledge on Formal Verification concepts, methodology and tools
• Have experience in deploying Formal Verification on complex micro-architectures
• Be able to come up with bespoke techniques to drive exhaustive proofs and perform deep bug-hunting
• Have exposure of advanced Formal Verification techniques like abstractions, invariants, SEC, etc.
• Have knowledge of complex standard bus protocols and relevant ABVIP integration
• Have working knowledge of ASIC design methodologies, flows and tools
• Be able to plan, estimate and track your own work
  
  

You Might Also Have

• Knowledge of GPU/CPU architecture
• Knowledge of standard bus protocols (e.g., AMBA5 CHI, AMBA4 ACE or AXI)
• Experience in wider verification technologies (UVM, etc.)
• Knowledge of a scripting language and/or C/SystemC
• Understanding of functional safety standards such as ISO26262
  
  

If you could be interested in this opportunity, please send over your CV [email protected]