Formal Verification Engineer

7 days ago


Hyderabad, India BITSILICA Full time

Formal Verification


• Bachelor's or Master's Degree in Electrical/Electronics

• 6+ years of hands-on experience in Formal Verification, developing and implementing formal verification environments

• Implement and improve functional verification in semiconductor IP and design blocks.

• Develop test plans and verification methodologies to verify the microarchitecture and design

• Strong understanding of Formal Verification using SystemVerilog Assertions.

• Experience in logic and SoC Verification from planning to closure

• Good understanding of verification flows and tools especially Formal Verification tools.

• Experience in at least one industry-standard formal verification tool (such as Cadence Jasper Gold, Synopsys VC Formal, or Siemens Questa Formal)

• Demonstrated expertise in Digital Logic Design and Computer Architecture

• Excellent problem-solving skills and ability to work in a team environment

• Prior hands-on work experience in Control and Data Path verification using FV

• Excellent verbal and written communication skills.

• An ability to interact with customers to understand their requirements and deliver high-quality code is expected.



  • Hyderabad, India BITSILICA Full time

    Formal Verification • Bachelor's or Master's Degree in Electrical/Electronics • 6+ years of hands-on experience in Formal Verification, developing and implementing formal verification environments • Implement and improve functional verification in semiconductor IP and design blocks. • Develop test plans and verification methodologies to...


  • Hyderabad, India BITSILICA Full time

    Formal Verification• Bachelor's or Master's Degree in Electrical/Electronics• 6+ years of hands-on experience in Formal Verification, developing and implementing formal verification environments• Implement and improve functional verification in semiconductor IP and design blocks.• Develop test plans and verification methodologies to verify the...


  • Hyderabad, India BITSILICA Full time

    Formal Verification• Bachelor's or Master's Degree in Electrical/Electronics• 6+ years of hands-on experience in Formal Verification, developing and implementing formal verification environments• Implement and improve functional verification in semiconductor IP and design blocks.• Develop test plans and verification methodologies to verify the...


  • Hyderabad, India BITSILICA Full time

    Formal Verification• Bachelor's or Master's Degree in Electrical/Electronics• 6+ years of hands-on experience in Formal Verification, developing and implementing formal verification environments• Implement and improve functional verification in semiconductor IP and design blocks.• Develop test plans and verification methodologies to verify the...


  • Hyderabad, India BITSILICA Full time

    Formal Verification • Bachelor's or Master's Degree in Electrical/Electronics • 6+ years of hands-on experience in Formal Verification, developing and implementing formal verification environments • Implement and improve functional verification in semiconductor IP and design blocks. • Develop test plans and verification methodologies to...


  • Hyderabad, India BITSILICA Full time

    Formal Verification • Bachelor's or Master's Degree in Electrical/Electronics • 6+ years of hands-on experience in Formal Verification, developing and implementing formal verification environments • Implement and improve functional verification in semiconductor IP and design blocks. • Develop test plans and verification methodologies to...


  • Hyderabad, Telangana, India BITSILICA Full time

    **Job Title:** Senior Formal Verification Engineer - Design and Verification Expert **About BITSILICA:BITSILICA is a leading company in the field of digital design and verification. We are currently seeking a highly skilled Senior Formal Verification Engineer to join our team. **Estimated Salary:** $140,000 - $180,000 per year **Job Description:The Senior...


  • hyderabad, India BITSILICA Full time

    Formal Verification• Bachelor's or Master's Degree in Electrical/Electronics• 6+ years of hands-on experience in Formal Verification, developing and implementing formal verification environments• Implement and improve functional verification in semiconductor IP and design blocks.• Develop test plans and verification methodologies to verify the...


  • hyderabad, India BITSILICA Full time

    Formal Verification• Bachelor's or Master's Degree in Electrical/Electronics• 6+ years of hands-on experience in Formal Verification, developing and implementing formal verification environments• Implement and improve functional verification in semiconductor IP and design blocks.• Develop test plans and verification methodologies to verify the...


  • Hyderabad, India Kaizen Full time

    Formal Verification- Create Formal Test-plan for blocks identifying properties to be implemented and sign-off metrics.- Implementation and maintenance of Formal Verification environments in Chisel- Applying various FV techniques to reduce complexity and prove correctness of DUT.- Debugging RTL to identify causes of failure scenarios.- Guide and train team...


  • Hyderabad, India Kaizen Full time

    Formal Verification- Create Formal Test-plan for blocks identifying properties to be implemented and sign-off metrics.- Implementation and maintenance of Formal Verification environments in Chisel- Applying various FV techniques to reduce complexity and prove correctness of DUT.- Debugging RTL to identify causes of failure scenarios.- Guide and train team...


  • Hyderabad, Telangana, India Kaizen Full time

    Formal Verification EngineerWe are seeking a highly skilled Formal Verification Engineer to join our team at Kaizen.About the RoleThe successful candidate will be responsible for creating formal test-plans, implementing and maintaining formal verification environments in Chisel, and applying various formal verification techniques to reduce complexity and...


  • Hyderabad, India TriOptus Full time

    Qualifications: Job Title: Lead Verification Engineer Location: Hyderabad/Ahmedabad/Bangalore Position: Full Time Responsibilities: Looking for a lead with 8+ years of experience and should have managed a team of 3-12 engineers while managing deliverables. Must have expertise in ASIC verification methodologies and ASIC design flow Experience...


  • Hyderabad, India TriOptus Full time

    Qualifications:Job Title: Lead Verification EngineerLocation: Hyderabad/Ahmedabad/BangalorePosition: Full TimeResponsibilities:- Looking for a lead with 8+ years of experience and should have managed a team of 3-12 engineers while managing deliverables.- Must have expertise in ASIC verification methodologies and ASIC design flow- Experience working of SV and...


  • Hyderabad, India TriOptus Full time

    Qualifications:Job Title: Lead Verification EngineerLocation: Hyderabad/Ahmedabad/BangalorePosition: Full Time Responsibilities:Looking for a lead with 8+ years of experience and should have managed a team of 3-12 engineers while managing deliverables.Must have expertise in ASIC verification methodologies and ASIC design flowExperience working of SV and UVM...


  • Hyderabad, India TriOptus Full time

    Qualifications:Job Title: Lead Verification EngineerLocation: Hyderabad/Ahmedabad/BangalorePosition: Full Time Responsibilities:Looking for a lead with 8+ years of experience and should have managed a team of 3-12 engineers while managing deliverables.Must have expertise in ASIC verification methodologies and ASIC design flowExperience working of SV and UVM...


  • Hyderabad, India TriOptus Full time

    Qualifications: Job Title: Lead Verification Engineer Location: Hyderabad/Ahmedabad/Bangalore Position: Full Time Responsibilities: Looking for a lead with 8+ years of experience and should have managed a team of 3-12 engineers while managing deliverables. Must have expertise in ASIC verification methodologies and ASIC design flow Experience working of SV...


  • Hyderabad, Telangana, India Kaizen Full time

    About UsKaizen is a leading company in the field of digital hardware design verification, and we're looking for an experienced professional to join our team. As a Certified Digital Hardware Design Verification Specialist, you will be responsible for creating formal test-plans, implementing and maintaining formal verification environments, applying various...

  • Senior Engineer

    3 months ago


    Hyderabad, India Grizmo Labs Full time

    Job Description :Necessary Qualifications :- Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or related field.- 8 years of experience in ASIC verification, preferably in a senior or lead role.- Strong expertise in SystemVerilog, UVM, OOP concepts and verification methodologies.- Experience with verification tools such...

  • Senior Engineer

    1 month ago


    Hyderabad, India Grizmo Labs Full time

    Job Description : Necessary Qualifications :- Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or related field.- 8 years of experience in ASIC verification, preferably in a senior or lead role.- Strong expertise in SystemVerilog, UVM, OOP concepts and verification methodologies.- Experience with verification tools...