Cpu Dv Formal Verification

2 weeks ago

Bengaluru Karnataka, India Qualcomm Full time

**Company**: Qualcomm India Private Limited **Job Area**: Engineering Group, Engineering Group > Hardware Engineering **General Summary**: - Roles and Responsibilities: - Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the end-to-end formalization of the refinement from architecture to micro-architecture - Define formal verification architecture, develop test plans and build end-to-end formal sign-off environments for Qualcomm CPU components - To be successful in this position you will need: - Strong model checking or theorem proving background/experience in verification of complex systems - Experience in writing assertions and associated modeling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methods - Working familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOL - MS/PhD degree in CS/EE; 4+ years of practical experience - Domain knowledge in one or more of these areas: Microprocessor architecture and micro-architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, security architectures - Strong software engineering skills with proven ability in automation and proficiency in at least one programming language (C++, Python, TCL etc.) **Minimum Qualifications**: - Bachelor's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 4+ years of Hardware Engineering or related work experience. OR Master's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 3+ years of Hardware Engineering or related work experience. OR PhD in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 2+ years of Hardware Engineering or related work experience. Qualcomm is an equal opportunity employer and supports workforce diversity. 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. If you would like more information about this role, please contact Qualcomm Careers.

  • Dv Cpu Verification Coherency

    3 days ago

    Bengaluru, Karnataka, India Quest Global Full time

    **Job Requirements**Position Overview** We are seeking a highly skilled and experienced Design Verification (DV) Engineer to join our core silicon engineering team. You will be at the forefront of verifying our next-generation, high-performance, and power-efficient CPU complexes and SoCs. This role demands a deep expertise in CPU architecture, coupled with...

  • DV CPU Verification Coherency

    2 weeks ago

    Bengaluru, Karnataka, India Quest Global Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Job Requirements Position OverviewWe are seeking a highly skilled and experienced Design Verification (DV) Engineer to join our core silicon engineering team. You will be at the forefront of verifying our next-generation, high-performance, and power-efficient CPU complexes and SoCs. This role demands a deep expertise in CPU architecture, coupled with...

  • CPU Core Feature Verification

    2 weeks ago

    Bengaluru, Karnataka, India Tenstorrent Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Description : Principal/Senior CPU Core Feature Verification and Debug EngineerLocation : Bangalore, IndiaExperience : 410 yearsAbout the Role : Tenstorrent, a leader in cutting-edge AI technology and high-performance computing, is seeking a highly skilled CPU Core Feature Verification and Debug Engineer to join our team in Bangalore. This role is...

  • CPU Design Verification

    1 week ago

    Bengaluru, Karnataka, India Qualcomm Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    General Summary:Qualcomm is hiring strong DV engineers to verify high performance and low power CPUs in Bangalore. Please forward your profiles if you meet the requirement.Roles and Responsibilitieso Responsible for power management verification includes Boot, Reset, clock gating, power gating, Voltage/frequency management, limit management and throttling.o...

  • CPU Design Verification

    19 hours ago

    Bengaluru, Karnataka, India Qualcomm Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    CompanyQualcomm India Private LimitedJob AreaEngineering Group, Engineering Group > Hardware EngineeringGeneral SummaryQualcomm is hiring strong DV engineers to verify high performance and low power CPUs in Bangalore. Please forward your profiles if you meet the requirement.Roles and ResponsibilitiesResponsible for power management verification includes...

  • Cpu Design Verification Engineer

    4 weeks ago

    Bangalore, Karnataka, India Qualcomm Full time

    Company Qualcomm India Private Limited Job Area Engineering Group Engineering Group Hardware Engineering General Summary Qualcomm is hiring strong DV engineers to verify high performance and low power CPUs in Bangalore Please forward your profiles if you meet the requirement Roles and Responsibilities o Responsible for power management verification includes...

  • CPU Formal Verification

    4 days ago

    Bengaluru, India Qualcomm Full time

    Job Description Company Qualcomm India Private Limited Job Area Engineering Group, Engineering Group > Hardware Engineering General Summary Are you interested in working with a world-class CPU design team Are you interested in the application of formal methods to the verification of application processors In contributing to the development of the next...

  • CPU Design Verification

    2 weeks ago

    Bengaluru, Karnataka, India Qualcomm Full time ₹ 8,00,000 - ₹ 24,00,000 per year

    Company:Qualcomm India Private LimitedJob Area:Engineering Group, Engineering Group > Hardware EngineeringGeneral Summary: Qualcomm is hiring strong DV engineers to verify high performance and low power CPUs in Bangalore. Please forward your profiles if you meet the requirement. Roles and Responsibilities o  Responsible for power management verification...

  • CPU Design Verification Engineer

    2 weeks ago

    Bengaluru, Karnataka, India Qualcomm Full time ₹ 15,00,000 - ₹ 25,00,000 per year

    Company:Qualcomm India Private LimitedJob Area:Engineering Group, Engineering Group > Hardware EngineeringGeneral Summary:Qualcomm is hiring strong DV engineers to verify high performance and low power CPUs in Bangalore. Please forward your profiles if you meet the requirement.Roles and Responsibilitieso Responsible for power management verification includes...

  • CPU Design Verification Engineer

    7 days ago

    Bengaluru, Karnataka, India Qualcomm Full time

    Company:Qualcomm India Private LimitedJob Area:Engineering Group, Engineering Group > Hardware EngineeringGeneral Summary:Qualcomm is hiring strong DV engineers to verify high performance and low power CPUs in Bangalore. Please forward your profiles if you meet the requirement.Roles and Responsibilitieso   Responsible for power management verification...