Formal Verification Specialist

1 week ago

Bengaluru, Karnataka, India beBeeVerification Full time ₹ 12,00,000 - ₹ 20,15,000
Job Overview

We are seeking a skilled Formal Verification Specialist to join our team. The successful candidate will work on the complete formal verification for single or multiple design blocks and IPs, including CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.

Main Responsibilities:
  • Collaborate with world-class design engineers to develop a formal micro-architecture specification
  • Develop comprehensive formal verification test plans that include unique verification requirements
  • Prove properties of the design, find design bugs, and work closely with design teams to improve the micro-architecture
  • Craft novel solutions for modelling and proving robustness of complex design micro-architectures
  • Develop and implement reusable and optimized formal models and verification code bases
  • Architect correct-by-construction design methodologies for improved formal verification efficiency and productivity
Requirements:
  • Understanding of temporal logic assertions
  • Experience with at least one formal verification tool (e.g., Cadence Jasper, Synopsys VC-Formal)
  • Experience with complex verification projects that used formal techniques for closure
  • Skills in Python, Perl, or Shell scripting (a plus)

Please note that we value diversity and inclusion in our workplace. We encourage all qualified applicants to apply.

  • Formal Verification Specialist

    1 week ago

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

    Job Title: Formal Verification SpecialistWe are seeking a skilled Formal Verification Specialist to join our team. As a Formal Verification Specialist, you will be responsible for working with world-class design engineers to develop formal micro-architecture specifications. You will also create comprehensive formal verification test plans that include unique...

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

    2 weeks ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 12,00,000 - ₹ 18,00,000

    Embark on a fulfilling career in formal verification and push the boundaries of innovation.Key ResponsibilitiesYou will be working with our team of world-class design engineers to develop formal micro-architecture specifications.Develop comprehensive formal verification test plans that incorporate unique verification requirements.Prove properties of designs,...

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

  • Certified Formal Verification Expert

    5 days ago

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

    Formal Verification SpecialistAbout The RoleWe 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...

  • 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...