Gpu Formal Verification Engineer

Description:

Microtech Global is looking for a GPU Formal Verification Engineer to join their fast-growing GPU Hardware team. This role offers the opportunity to work on cutting-edge designs and key building blocks for market-leading chips.

Key Responsibilities:

• Lead formal verification activities for GPU components or sub-systems from the planning stage to sign-off.

• Design and implement formal verification strategies to meet design quality goals.

• Collaborate with engineers to root-cause design issues.

• Research new formal verification techniques to expand the scope of what can be achieved.

• Create verification plans, develop and maintain formal methodology and complex benches.

• Track and report verification metrics and closure.

• Provide feedback from the verification perspective during design specification definition.

• Estimate and track your own work efforts and influence GPU verification methodology.

• Lead, coach, and mentor team members.

• Participate in design and verification reviews and recommend improvements.

• Share knowledge through open discussions and presentations.

The Candidate:

• Strong knowledge of Formal Verification concepts, methodologies, and tools.

• Experience deploying Formal Verification on complex micro-architectures.

• Ability to develop bespoke techniques for exhaustive proofs and deep bug-hunting.

• Exposure to advanced Formal Verification techniques like abstractions, invariants, SEC, etc.

• Knowledge of complex bus protocols and ABVIP integration.

• Working knowledge of ASIC design methodologies, flows, and tools.

• Ability to plan, estimate, and track personal work.

Desirable Skills (Optional):

• Knowledge of GPU/CPU architecture.

• Familiarity with standard bus protocols (e.g., AMBA5 CHI, AMBA4 ACE, AXI).

• Experience with other verification technologies (UVM, etc.).

• Knowledge of scripting languages and/or C/SystemC.

• Understanding of functional safety standards (ISO26262).