Senior Staff Formal Verification GPU Engineer
UK - Bristol
On-Site
Permanent
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 tee@microtech-global.com
#LI-TM1
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 tee@microtech-global.com
#LI-TM1
19003U80
| Digital IC Design / Verification: | Verification |
