Are you a highly skilled engineer with a passion for formal verification? Do you have experience in GPU architecture and a strong understanding of computer architecture and design? If so, we have an exciting opportunity for you to join our team at Qualcomm as a GPU Formal Verification Engineer. In this role, you will have the opportunity to work on cutting-edge GPU designs and utilize your expertise in formal verification to help ensure the quality and reliability of our products. We are seeking a driven and detail-oriented individual who can thrive in a fast-paced environment and contribute to the advancement of our GPU technology. If this sounds like you, we encourage you to apply for this role and be a part of our dynamic team.
Conduct formal verification of GPU designs to ensure quality and reliability of products.
Utilize expertise in formal verification to identify and resolve potential design flaws and issues.
Collaborate with GPU architects and designers to understand design specifications and requirements.
Develop and maintain verification plans, test benches, and coverage models.
Run and debug formal verification tests and analyze results to ensure design compliance.
Participate in design reviews and provide feedback for improvement.
Stay updated with industry trends and advancements in formal verification techniques.
Communicate effectively with cross-functional teams to provide updates on verification progress and any potential issues.
Maintain accurate documentation of verification processes and results.
Continuously improve verification methodologies and processes to increase efficiency and effectiveness.
Mentor and train junior engineers on formal verification techniques and methodologies.
Adhere to company policies and procedures, including quality standards.
Work in a fast-paced environment and be able to adapt to changing project priorities.
Contribute to the overall advancement of GPU technology at Qualcomm.
Be a proactive problem-solver and take ownership of assigned tasks.
Where is this job?
This job is located at San Diego, CA, USA
Job Qualifications
Strong Understanding Of Hardware Design And Verification Principles: A Successful Gpu Formal Verification Engineer At Qualcomm Should Possess A Deep Understanding Of Hardware Design And Verification Techniques, Including Knowledge Of Systemverilog, Uvm, And Formal Verification Tools.
Experience With Gpu Architecture And Microarchitecture: Qualcomm Requires Its Gpu Formal Verification Engineer To Have Experience With Gpu Architecture And Microarchitecture, Including A Thorough Understanding Of Graphics Pipeline Stages, Register Sets, And Memory Subsystems.
Proficiency In Formal Verification Methodologies: The Ideal Candidate Should Have Hands-On Experience With Formal Verification Methodologies, Such As Property-Based Verification, Model Checking, And Equivalence Checking, To Ensure Comprehensive And Efficient Verification Of Complex Gpu Designs.
Proficiency In Scripting And Programming Languages: Qualcomm Expects Its Gpu Formal Verification Engineer To Be Proficient In Scripting Languages Like Perl, Python, And Shell Scripts, As Well As Programming Languages Like C++, To Develop Effective And Automated Verification Environments.
Strong Analytical And Problem-Solving Skills: Gpu Formal Verification Engineers At Qualcomm Must Have Strong Analytical And Problem-Solving Skills To Identify And Resolve Complex Design Issues, As Well As To Develop New Methodologies And Techniques For Efficient And Effective Verification Of Gpu Designs.
Required Skills
SystemVerilog
UVM
Verilog/VHDL
FPGA Design
Debug
Formal Verification
Rtl Coding
Assertion-Based Verification
Model Checking
Coverage-Driven Verification
Property Checking
Soft Skills
Communication
Conflict Resolution
Emotional Intelligence
Leadership
Time Management
Creativity
Critical Thinking
Teamwork
Adaptability
Problem-Solving
