Certified Formal Verification Expert

6 days ago

Bengaluru, Karnataka, India beBeeVerification Full time ₹ 15,00,000 - ₹ 20,00,000
Formal Verification Specialist

About The Role

We are seeking a skilled Formal Verification Specialist to join our team. As a key member of our verification group, you will be responsible for conducting formal verification of IP and/or SoC microarchitecture using advanced tools, methodologies, and technologies based on model checking and equivalence checking algorithms.

Your primary objective will be to create comprehensive formal verification test and coverage plans, including defining the formal verification scope, strategy, and techniques.

You will work closely with architects, RTL developers, and physical design teams to improve the verification of complex architectural and microarchitectural features.

Key Responsibilities:

  • Conduct formal verification of IP and/or SoC microarchitecture using advanced tools and methodologies.
  • Create comprehensive formal verification test and coverage plans.
  • Develop formal proofs to implement the verification plan and review completed proofs.
  • Foster collaboration with architects, RTL developers, and physical design teams to improve verification.

Qualifications:

To be considered for this position, you must have:

Minimum Qualifications:

  • 5+ years of experience in the verification of IPs.
  • Hands-on experience in applying formal property verification for IPS signoff at least for 3 years.
  • Hands-on experience in resolving convergence issues using FV on multiple designs.
  • Experience in managing and guiding juniors in their verification tasks.

Preferred Qualifications:

  • Expertise in FV verification planning and strategies.
  • Good understanding of FV tools and capabilities.

  • Formal Verification Expert

    2 weeks ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 20,00,000 - ₹ 25,00,000

    Job Opportunity:We seek an experienced functional formal verification expert to lead our company's formal verification efforts for complex digital designs.As a formal verification leader, you will play a key role in ensuring the quality and reliability of our digital products.Requirements:Bachelor's or Master's degree in electrical/electronics engineering,...

  • Expert Formal Verification Specialist

    2 weeks ago

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

    Formal Verification ExpertWe are seeking an experienced formal verification expert to join our team.This is a challenging role that requires expertise in formal verification methodologies and tools.About the RoleThe successful candidate will be responsible for developing comprehensive formal verification test plans, collaborating with design engineers, and...

  • Formal Verification Specialist

    2 weeks ago

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

    Formal Verification ExpertWe are seeking a skilled formal verification expert to join our team. As a formal verification engineer, you will be responsible for developing and implementing formal models and verification codebase.Key ResponsibilitiesWork closely with design teams to develop comprehensive formal verification test plans.Prove properties of the...

  • 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

    4 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 ₹ 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

    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

    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 Specialist Position

    2 weeks ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 22,34,740 - ₹ 25,18,029

    Job Title: Formal Verification ExpertOverview:The role of Formal Verification Expert entails the ownership of property-based formal verification of CPU core, pipeline stages, and subcomponents with exhaustive proof goals.Key Responsibilities:Leading planning and methodology for control logic, pipelines, and memory subsystems to ensure comprehensive formal...

  • Senior Formal Verification Specialist

    1 week ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 15,00,000 - ₹ 28,00,000

    Formal Verification ExpertWe are seeking a seasoned Formal Verification Expert to join our team.The ideal candidate is someone with extensive experience in applying formal verification methods to complex IPs for CPU, GPU, and high-speed protocols.Responsibilities include:Complete ownership and execution of formal verification of cache controllers,...