CPU Formal Verification Engineer

22 hours ago

Bengaluru, Karnataka, India beBeeFormalVerification Full time ₹ 5,00,000 - ₹ 8,00,000
Job Title: CPU Formal Verification Specialist

We are seeking a skilled CPU Formal Verification Specialist to join our team. This role involves working with the design team to understand design intent and develop verification plans and schedules for the end-to-end formalization of the refinement from architecture to micro-architecture.

The successful candidate will have a strong background in model checking or theorem proving, with experience in writing assertions and associated modeling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methods.

In addition to technical expertise, the ideal candidate will have excellent communication skills and be able to work effectively in a collaborative environment.

Key Responsibilities:
  • Work with the design team to understand design intent and develop verification plans and schedules
  • Define formal verification architecture and develop test plans
  • Build end-to-end formal sign-off environments for Qualcomm CPU components
  • Engage in full-spectrum deployment of model-checking technology to hardware designs
Requirements:
  • BA/BS degree in CS/EE with 8+ years of practical experience in application of formal methods in hardware or software
  • 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
Preferred Qualifications:
  • MS/PhD degree in CS/EE; 4+ years of practical experience
  • Strong foundation in formal methods and in their application to hardware specifications and/or implementations
  • 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
Benefits:

This is an exciting opportunity to work on cutting-edge projects and contribute to the development of innovative technologies. We offer a competitive salary and benefits package, as well as opportunities for professional growth and development.

  • CPU Formal Verification Specialist

    2 weeks ago

    Bengaluru, Karnataka, India beBeeHardwareVerification Full time US$ 1,50,000 - US$ 2,50,000

    Job Title: CPU Formal Verification SpecialistWe are seeking a seasoned CPU Formal Verification Specialist to join our team. As a key member of our design team, you will be responsible for developing and implementing formal verification strategies for Qualcomm CPU components.The ideal candidate will have a strong background in formal methods, model checking,...

  • CPU Formal Verification Professional

    7 days ago

    Bengaluru, Karnataka, India Qualcomm Full time ₹ 1,04,000 - ₹ 1,30,878 per year

    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 generation of formal methodologies in this space? Qualcomm'sCPU team has some of the best CPU architects and engineers on the...

  • CPU Formal Verification Leadership Position

    2 weeks ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,50,00,000 - ₹ 2,50,00,000

    **Formal Verification Lead**: We are seeking an experienced Formal Verification Engineer to lead the development of our CPU core and pipeline stages.Key Responsibilities:Develop formal verification methodologies for control logic, pipelines, and memory subsystemsDefine safety and liveness properties, model check for corner case behaviorGuide designers in...

  • Formal CPU Expert

    1 week ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 2,00,00,000 - ₹ 2,50,00,000

    Senior Formal Verification Engineer (CPU)">">With 8+ years of experience, you will be responsible for owning property-based formal verification of the CPU core, pipeline stages, and subcomponents with exhaustive proof goals.">">Main Responsibilities:">">Lead formal planning and methodology for control logic, pipelines, and memory subsystems">Define safety...

  • Formal Verification

    2 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    2 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)- Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    3 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    1 week ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.) Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    7 days ago

    Bengaluru, Karnataka, India L&T Technology Services Full time ₹ 9,00,000 - ₹ 12,00,000 per year

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    4 days ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...