Company:
Qualcomm India Private Limited
Job Area:
Engineering Group, Engineering Group > Hardware Engineering
General Summary:
Job Description:
We are seeking a motivated and analytical College Graduate to join our Formal Verification team. In this role, you will apply mathematical and static analysis techniques to verify complex digital logic designs, ensuring they meet rigorous quality and functional safety standards. You will work alongside experienced designers and verification engineers to prove the correctness of hardware behaviors, identify corner-case bugs that simulation often misses, and validate architectural protocols.
This position offers a unique opportunity to work with industry-standard formal tools (Cadence JasperGold, Synopsys VC Formal) and develop expertise in advanced verification methodologies like Connectivity, Register Verification, and Property Checking.
Minimum Qualifications:
- Bachelor's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field.
Key Responsibilities
- Formal Property Verification (FPV): Develop and implement formal test plans to verify design blocks using SystemVerilog Assertions (SVA).
- Assertion Generation: Write properties (assertions, assumptions, and covers) to verify design specifications, architectural protocols, and standard interfaces (e.g., AXI, AHB).
- Debugging: Analyze formal proofs and counter-examples to root-cause design bugs; collaborate with RTL designers to fix issues.
- Specialized Checks: Perform focused formal apps checks, including Register Verification (FRV), Connectivity Checking, and deadlock/livelock detection.
- Automation: Develop scripts (Python, Tcl, Shell) to automate formal verification flows and regression environments.
- Coverage Analysis: Analyze formal coverage to ensure verification completeness and identify gaps in the design specification.
Minimum Qualifications
- Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or Computer Science.
- Strong understanding of Digital Logic Design and Computer Architecture.
- Proficiency in HDLs (Verilog or SystemVerilog).
- Familiarity with functional verification concepts (simulation, testbenches, assertions).
- Basic scripting skills in Python, Perl, or Tcl.
Preferred Qualifications
- Coursework or project experience specifically in Formal Verification or Static Analysis.
- Knowledge of SystemVerilog Assertions (SVA) or Property Specification Language (PSL).
- Exposure to industry-standard formal tools (e.g., Cadence JasperGold, Synopsys VC Formal, or Mentor Questasim Formal).
- Understanding of standard on-chip bus protocols (AMBA, AXI, APB) or memory consistency models.
- Experience with Linux/Unix environments and version control systems (Git, Perforce).
Soft Skills
- Strong analytical and problem-solving skills.
- Ability to communicate technical details clearly to cross-functional teams.
- Eagerness to learn new tools and verification methodologies.
Applicants: Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail [Confidential Information] or call Qualcomm's toll-free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).
Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary 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 and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.
If you would like more information about this role, please contact Qualcomm Careers.
