BITSILICA | Formal Verification Engineer

1 week 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, 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...


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

    At BITSILICA, we're seeking a seasoned digital IP verification expert to join our team.The ideal candidate will possess over 8 years of experience in digital IP verification, with a deep understanding of advanced ASIC/SOC Design flow and cutting-edge verification flow concepts.Proficiency in Verilog, System Verilog, and UVM is a must, along with expertise in...


  • hyderabad, India BITSILICA Full time

    ASIC/SOC/IP Verification plan definition, testbench environment development in SystemVerilog/UVMDesign verification at RTL/Gate level, DV Coverage analysis, Coverage improvement at block and Chip levelSupport of assertion and coverage-driven methodologyDevelop test cases to verify functional operation of that the system levelExperience in PCIe or NVMe or UFS...


  • Hyderabad, Telangana, India BITSILICA Full time

    Bitsilica is seeking a highly skilled Microprocessor Architecture Designer to join our team in Hyderabad, India. We offer an attractive salary range of ₹1500,000 - ₹4500,000 per annum.Job DescriptionWe are looking for a talented individual with experience in Logic design and RTL coding. The ideal candidate will have expertise in SoC design and...


  • Hyderabad, Telangana, India BITSILICA Full time

    Job OverviewBITSILICA is a leading provider of cutting-edge solutions, and we're seeking an exceptional Distinguished Design Verification Expert to join our team.


  • hyderabad, India BITSILICA Full time

    About the Company Bitsilica is a company that specializes in physical design implementation of large ASIC’s. Our mission is to provide cutting-edge solutions in the semiconductor industry while fostering a culture of innovation and collaboration. 1. Experience : 4 Years 2. Location : India /Singapore Job Description: Experience in PD multiple high speed...


  • Hyderabad, Telangana, India BITSILICA Full time

    BITSILICA is seeking an experienced Digital IP Verification Engineer to join our team. This role will focus on the design and verification of advanced digital circuits.The ideal candidate will have a strong background in ASIC/SOC Design flow and state-of-the-art verification flows, with expertise in Verilog, SystemVerilog, and UVM.Responsibilities...


  • Hyderabad, India BITSILICA Full time

    Bitsilica is hiring talented DSP Engineers to join our team! If you have a passion for audio processing and expertise in embedded systems, we want to hear from you.Experience:3 to 8 yearsKey Skills & Experience Required :DSP Expertise : Hands-on experience withDSPsand decoders processing.Audio Processing : A strong background inaudio technologiesis a...


  • hyderabad, India BITSILICA Full time

    Bitsilica is hiring talented DSP Engineers to join our team! If you have a passion for audio processing and expertise in embedded systems, we want to hear from you. Experience: 3 to 8 years Key Skills & Experience Required : DSP Expertise : Hands-on experience with DSPs and decoders processing. Audio Processing : A strong background in audio technologies ...


  • hyderabad, India BITSILICA Full time

    Bitsilica is hiring talented DSP Engineers to join our team! If you have a passion for audio processing and expertise in embedded systems, we want to hear from you.Experience: 3 to 8 years Key Skills & Experience Required:DSP Expertise: Hands-on experience with DSPs and decoders processing.Audio Processing: A strong background in audio technologies is a...


  • Hyderabad, Telangana, India BITSILICA Full time

    At BITSILICA, we are seeking a highly skilled Lead Verification Specialist to join our team. This role offers a unique opportunity to work on cutting-edge projects and collaborate with experienced engineers.The ideal candidate will have extensive experience in test bench development, UVM/C based test case creation, and power-aware testing. Additionally, they...


  • Hyderabad, Telangana, India BITSILICA Full time

    Job DescriptionBITSILICA is seeking a talented Application Specific Integrated Circuit (ASIC) Design Engineer to join our team. The ideal candidate will have extensive experience in designing and integrating complex System-on-Chip (SoC) projects.Key ResponsibilitiesLogic Design Expertise: Proven experience in creating efficient RTL code and design...