Formal Verification Specialist

17 hours ago

Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,04,000 - ₹ 1,30,878

Job Summary:

We are seeking a skilled Formal Verification Engineer to join our team.

The ideal candidate will have strong knowledge of formal verification and complex design principles, with experience in executing formal verification for complex blocks.

The successful applicant will be responsible for understanding the design to be verified, planning and executing formal verification, and estimating time required for formal verification.

Key Responsibilities:

  • Understand the design to be verified
  • Plan and execute formal verification. Formal test plan documentation.
  • Estimate the time required for formal verification, coverage and clock gating checks.
  • Build the formal property verification/datapath verification environments.

Requirements:

  • 7+ years of formal verification experience .
  • Familiarity with CPUs/GPUs/Cache is desirable.

Academic Qualifications:

  • Bachelors or Masters degree in computer engineering/Electrical Engineering.

  • CPU Formal Verification Specialist

    4 days 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,...

  • Advanced Formal Verification Specialist

    15 hours ago

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

    As a formal verification specialist, you will play a pivotal role in developing and implementing cutting-edge formal verification solutions for complex design architectures.Key Responsibilities:Collaborate with world-class designers to develop formal architecture specifications.Design and implement comprehensive formal verification test plans that include...

  • Advanced Formal Verification Engineer

    16 hours ago

    Bengaluru, Karnataka, India beBeeFormal Full time ₹ 22,50,000 - ₹ 31,25,000

    Verification SpecialistThe role of a Verification Specialist involves comprehensive formal verification of standalone or interconnected design components and IPs.Proficiency in at least one formal verification tool (e.g., Cadence Jasper, Synopsys VC-Formal).Key responsibilities include:Component Formal VerificationVerify the correctness of CPU, Connectivity...

  • Formal Verification

    5 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.,...

  • Formal Verification

    3 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.,...

  • 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

    23 hours 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.,...

  • A Leading Role in Formal Verification

    14 hours ago

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

    **Job Title:** Formal Verification SpecialistWe are seeking a skilled Formal Verification Specialist to join our team. As a key member of our design engineering team, you will be responsible for developing and implementing formal verification techniques to ensure the correctness and reliability of our designs.The ideal candidate will have a strong background...

  • Senior Formal Verification Specialist

    3 days ago

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

    Job Opportunity: Formal Verification ExpertA highly experienced Formal Verification Engineer with 5+ years of experience is required to work on the complete formal verification for single or multiple design blocks and IP's.Key Responsibilities:Work closely with our world-class design engineers to develop a comprehensive formal micro-architecture...

  • Formal Verification Engineer

    5 days ago

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

    L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.Job Location: Bangalore, India.Job Description is mentioned in details::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...