Senior Staff Formal Verification GPU Engineer
UK [United Kingdom] - South-West England - Bristol
Permanent
Position: Senior Staff Formal Verification GPU Engineer
Location: Kings Langley
Contract: Permanent
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
About You:
Committed to making your customers, stakeholders and colleagues successful, you’re an excellent communicator, listener and collaborator who builds trusted partnerships by delivering what you say, when you say. You’re curious, solutions orientated and a world-class problem solver who constantly seeks opportunities to innovate and achieve the best possible outcome to the highest imaginable standard.
Location: Kings Langley
Contract: Permanent
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
About You:
Committed to making your customers, stakeholders and colleagues successful, you’re an excellent communicator, listener and collaborator who builds trusted partnerships by delivering what you say, when you say. You’re curious, solutions orientated and a world-class problem solver who constantly seeks opportunities to innovate and achieve the best possible outcome to the highest imaginable standard.
19003t5q
Digital IC Design / Verification: | Verification |