Staff Formal Verification Engineer

Senior / Staff Formal Verification Engineer

About The Role
 
Our GPU takes PC platforms and mobile UI, games, and advanced graphics applications to the next level, providing users with stunning visuals and high-performance video streaming, enabling enhanced AI processing, and next-gen mobile gaming while optimizing power consumption.
 
In the fast-moving world of GPU Verification, Formal Methods are becoming crucial to the success of today’s ever-accelerating development cycle. Our GPU team is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of applied formal methods. We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of GPU designs. This is an opportunity to influence design & verification decisions and shape the future of technology that will fuel billions of devices world-wide!
 
In the role of GPU Formal Verification Engineer, your project responsibilities will include the following,

• Develop deep understanding of 3-D Graphics hardware pipeline, feature sets, data paths, block functionalities & interfaces
• Strategize, brainstorm, and develop Formal Property Verification (FPV) test-plan, develop an assertion-based verification testbench, debug all RTL artefacts, and achieve formal sign-off matrices
• Collaborate with global GPU system architecture, RTL design, and DV teams to achieve the project goals
• Engage with EDA vendors, explore new and innovative DV methodologies to push the limits of sign-off quality
• Required proficiency with industry standard formal tools, hands-on experience writing SystemVerilog Assertions, solving formal proof complexity by applying variaous abstraction techniques, deep bug-hunting, coverage closure and achieving sign-off
• Knowledge of GPU Architecture is not required, but a plus
• Hands-on experience in other formal applications like DPV, C-to-RTL SEQ, RTL-to-RTL SEQ, etc. is a plus
• Strong communication skills, ability to learn, improve, and deliver

Senior / Staff Formal Verification Engineer

About The Role
 
Our GPU takes PC platforms and mobile UI, games, and advanced graphics applications to the next level, providing users with stunning visuals and high-performance video streaming, enabling enhanced AI processing, and next-gen mobile gaming while optimizing power consumption.
 
In the fast-moving world of GPU Verification, Formal Methods are becoming crucial to the success of today’s ever-accelerating development cycle. Our GPU team is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of applied formal methods. We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of GPU designs. This is an opportunity to influence design & verification decisions and shape the future of technology that will fuel billions of devices world-wide!
 
In the role of GPU Formal Verification Engineer, your project responsibilities will include the following,

• Develop deep understanding of 3-D Graphics hardware pipeline, feature sets, data paths, block functionalities & interfaces
• Strategize, brainstorm, and develop Formal Property Verification (FPV) test-plan, develop an assertion-based verification testbench, debug all RTL artefacts, and achieve formal sign-off matrices
• Collaborate with global GPU system architecture, RTL design, and DV teams to achieve the project goals
• Engage with EDA vendors, explore new and innovative DV methodologies to push the limits of sign-off quality
• Required proficiency with industry standard formal tools, hands-on experience writing SystemVerilog Assertions, solving formal proof complexity by applying variaous abstraction techniques, deep bug-hunting, coverage closure and achieving sign-off
• Knowledge of GPU Architecture is not required, but a plus
• Hands-on experience in other formal applications like DPV, C-to-RTL SEQ, RTL-to-RTL SEQ, etc. is a plus
• Strong communication skills, ability to learn, improve, and deliver