Qualcomm
Formal Verification Engineer, Senior Staff - Greece
Qualcomm, San Diego, California, United States, 92189
Overview
As a leading technology innovator, Qualcomm pushes the boundaries of what\'s possible to enable next-generation experiences and drives digital transformation to help create a smarter, connected future for all. As a Qualcomm GPU ASIC Engineer, you may architect, design, implement, verify, and/or optimize the performance and power of GPU cores. Qualcomm Engineers collaborate with cross-functional teams to meet and exceed customer needs.
Minimum Qualifications
Verification skills: Formal verification (Static) and Dynamic (simulations)
Formal tools – Jasper, VC-formal, OneSpin, QuestaFormal
System Verilog/SVA, Verilog or VHDL, scripting skills
Minimum degree requirements are listed below. If a candidate has equivalent experience, they will be considered.
Preferred Qualifications
Knowledge of abstractions, constraints, equivalence checking etc
Apps in formal tools (Low power, X-prop, Connectivity checking etc)
Design debug, deep bug hunting
Design knowledge of CPU, GPU, Bus/Noc/Interconnect, Memory Controllers, Caches
Principal Duties and Responsibilities
Deploying industry-leading verification methodologies
Test plan development based on design documents and interaction with design/systems engineers
Writing and debugging SystemVerilog assertions
Analyzing coverage data and working with design teams to address coverage holes
Develop/augment framework for running regressions
Running/debugging power-aware simulations
Debugging regression failures with design/Systems teams
Support integration of design in higher-level subsystem including test planning, test vector delivery, and debug of test vectors at the integration level
Python/Perl automation for improving workflows and team efficiency
Participate in project reviews
Level of Responsibility
Provides supervision/guidance to other team members
Decision-making is significant in nature and affects work beyond immediate work group
Tasks require planning, problem-solving, and prioritization to complete effectively
Requires verbal and written communication skills to convey complex information
Has influence over key organizational decisions (e.g., is consulted by senior leadership to make key decisions)
Minimum Qualifications (Education and Experience)
• Bachelor\'s degree in Science, Engineering, or related field and 6+ years of ASIC design, verification, validation, integration, or related work experience. OR Master\'s degree in Science, Engineering, or related field and 5+ years of ASIC design, verification, validation, integration, or related work experience. OR PhD in Science, Engineering, or related field and 4+ years of ASIC design, verification, validation, integration, or related work experience.
*References to a particular number of years experience are for indicative purposes only. Applications from candidates with equivalent experience will be considered, provided that the candidate can demonstrate an ability to fulfill the principal duties of the role and possesses the required competencies.
Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, Qualcomm is committed to providing an accessible process. You may provide disability accommodation information via email. Qualcomm is also committed to making our workplace accessible for individuals with disabilities.
Qualcomm expects its employees to abide by all applicable policies and procedures, including security and other requirements regarding protection of confidential information, to the extent those requirements are permissible under applicable law.
To all Staffing and Recruiting Agencies: Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies are not authorized to submit profiles, applications or resumes. Qualcomm does not accept unsolicited resumes or applications from agencies.
#J-18808-Ljbffr
Minimum Qualifications
Verification skills: Formal verification (Static) and Dynamic (simulations)
Formal tools – Jasper, VC-formal, OneSpin, QuestaFormal
System Verilog/SVA, Verilog or VHDL, scripting skills
Minimum degree requirements are listed below. If a candidate has equivalent experience, they will be considered.
Preferred Qualifications
Knowledge of abstractions, constraints, equivalence checking etc
Apps in formal tools (Low power, X-prop, Connectivity checking etc)
Design debug, deep bug hunting
Design knowledge of CPU, GPU, Bus/Noc/Interconnect, Memory Controllers, Caches
Principal Duties and Responsibilities
Deploying industry-leading verification methodologies
Test plan development based on design documents and interaction with design/systems engineers
Writing and debugging SystemVerilog assertions
Analyzing coverage data and working with design teams to address coverage holes
Develop/augment framework for running regressions
Running/debugging power-aware simulations
Debugging regression failures with design/Systems teams
Support integration of design in higher-level subsystem including test planning, test vector delivery, and debug of test vectors at the integration level
Python/Perl automation for improving workflows and team efficiency
Participate in project reviews
Level of Responsibility
Provides supervision/guidance to other team members
Decision-making is significant in nature and affects work beyond immediate work group
Tasks require planning, problem-solving, and prioritization to complete effectively
Requires verbal and written communication skills to convey complex information
Has influence over key organizational decisions (e.g., is consulted by senior leadership to make key decisions)
Minimum Qualifications (Education and Experience)
• Bachelor\'s degree in Science, Engineering, or related field and 6+ years of ASIC design, verification, validation, integration, or related work experience. OR Master\'s degree in Science, Engineering, or related field and 5+ years of ASIC design, verification, validation, integration, or related work experience. OR PhD in Science, Engineering, or related field and 4+ years of ASIC design, verification, validation, integration, or related work experience.
*References to a particular number of years experience are for indicative purposes only. Applications from candidates with equivalent experience will be considered, provided that the candidate can demonstrate an ability to fulfill the principal duties of the role and possesses the required competencies.
Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, Qualcomm is committed to providing an accessible process. You may provide disability accommodation information via email. Qualcomm is also committed to making our workplace accessible for individuals with disabilities.
Qualcomm expects its employees to abide by all applicable policies and procedures, including security and other requirements regarding protection of confidential information, to the extent those requirements are permissible under applicable law.
To all Staffing and Recruiting Agencies: Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies are not authorized to submit profiles, applications or resumes. Qualcomm does not accept unsolicited resumes or applications from agencies.
#J-18808-Ljbffr