Formal Verification Expertise Seeker

5 days ago

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

As a Formal Verification Engineer, you will play a crucial role in developing and executing formal verification strategies for IP and SoC blocks. Your primary responsibility will be to design and implement effective verification plans that ensure the correctness of complex designs.

Key Responsibilities:
  • Develop and execute formal verification strategies for IP and SoC blocks
  • Write and prove assertions using SystemVerilog Assertions (SVA) or PSL
  • Use tools like JasperGold, VC Formal, or OneSpin to verify complex designs
  • Collaborate with design and DV teams to integrate formal early in the cycle
  • Identify corner-case bugs that are hard to detect via simulation
Required Skills and Qualifications

To succeed in this role, you will need the following skills and qualifications:

  • 4-12 years of experience in formal verification
  • Strong knowledge of SystemVerilog Assertions (SVA) or PSL
  • Experience with tools like JasperGold, VC Formal, or OneSpin
  • Excellent collaboration and communication skills
  • Ability to work effectively in a team environment
Benefits

We offer a competitive salary and benefits package, including:

  • Opportunity to work on challenging projects and develop your skills
  • Collaborative and dynamic work environment
  • Professional growth and development opportunities
  • Recognition and rewards for outstanding performance
About Us

ACL Digital is a leader in digital engineering and transformation. We empower organizations to thrive in an AI-first world by seamlessly integrating AI and data-driven solutions from chip to cloud. Our expertise spans the entire technology stack, and we are committed to helping our clients navigate the complexities of digital transformation.

  • 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

    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

    7 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

    4 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

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

  • Formal Verification Expert

    3 days 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

    3 days 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 Engineer

    2 weeks ago

    Bengaluru, Karnataka, India ACL Digital Full time

    Formal Verification EngineerExperience : 4 to 12 YearsLocation : BangaloreJob DescriptionResponsible for developing and executing formal verification strategies for IP and SoC blocks.Write and prove assertions using SystemVerilog Assertions (SVA) or PSL.Use tools like JasperGold, VC Formal, or OneSpin to verify complex designs.Collaborate with design and DV...

  • Formal Verification Specialist

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