Formal Verification Lead

4 weeks ago

Bengaluru India Blueberry Semiconductors Full time

Job Description Company Description Blueberry Semiconductors is a VLSI Design services company specializing in Design, Physical Implementation, Formal Verification, Design for Test (DFT), Verification and Silicon validation, FPGA Implementation, Rapid Prototyping, and embedded software and systems, including firmware verification. The company has employee-friendly policies that ensure high levels of employee satisfaction. The leadership team has extensive experience from large multinational companies and leading service providers. The Founders and Core team members are committed to transforming innovative concepts into silicon and leveraging the talent in India to elevate its status in the global semiconductor industry. Role Description Key Responsibilities - Leadformal verificationof complex IP-level RTL designs using property checking methodologies. - Develop, code, and maintainSystem Verilog Assertions (SVA)for design properties. - Buildformal verification environments/testbenches from scratchand integrate with RTL designs. - Dive deep intomicroarchitecture specifications, extract verification requirements, and craft formal test plans. - Applydivide-and-conquer, abstraction, and complexity reduction techniquesto tackle large designs effectively. - Drive verification toclosure with clear sign-off criteria. - Collaborate with design teams and provideearly bug detection and root-cause analysisusing formal. - Leverage and verifyindustry-standard protocols(AMBA AXI/AHB/APB, PCIe, USB, I2C, SPI, etc.). - Mentor and coachengineers in formal verification tools, flows, and best practices, building team strength. What We're Looking For - 4+ yearsof strong hands-on experience inFormal Verificationat the IP level. - Proficiency inSystem Verilog Assertions (SVA). - Proven track record of buildingformal verification testbenchesfrom scratch. - Ability to comprehendmicroarchitecture specsand map them into verification requirements. - Skill in applyingformal abstraction, modularization, and scalability techniques. - Mandatory:Hands-on experience with at least one commercial formal verification tool (Cadence JasperGold, Synopsys VC Formal, Siemens Questa Formal, OneSpin). - Solid understanding ofAMBA protocolsand other high-speed/serial protocols. - Strong communication and documentation skills. - Passion formentoring and enabling engineersto excel in formal verification. What's In It For You - Be part of anewly formed consulting teamspecializing in Formal Verification. - Learn directly from industry veteransand accelerate your technical depth. - Opportunity todefine methodologies and influence best practicesin formal verification. - Exposure tonext-generation semiconductor designsand industry-leading IPs. - A culture that celebratesinnovation, ownership, and growth. - Build aflourishing career pathin one of the most in-demand and high-impact areas of VLSI verification. Qualifications - Expertise in Formal Verification - Strong Analytical Skills and Communication abilities - Experience in Customer Service and Insurance Verification - Able to lead a team and work collaboratively with cross-functional teams - Experience in the semiconductor industry is a plus - Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or related field

  • Formal Verification Lead

    2 weeks ago

    Bengaluru South, Karnataka, India Blueberry Semiconductors Full time ₹ 12,00,000 - ₹ 24,00,000 per year

    Company DescriptionBlueberry Semiconductors is a VLSI Design services company specializing in Design, Physical Implementation, Formal Verification, Design for Test (DFT), Verification and Silicon validation, FPGA Implementation, Rapid Prototyping, and embedded software and systems, including firmware verification. The company has employee-friendly policies...

  • Formal Verification

    6 days ago

    Bengaluru, Karnataka, India Quest Global Full time

    **Job Requirements** **Formal Verification Engineer Job Description**: **Overview**: We're looking for a highly skilled **Formal Verification Engineer** to join our team. You'll be responsible for using formal methods to ensure the correctness and functional safety of our cutting-edge hardware designs. This role requires a deep understanding of digital...

  • Functional Formal Verification Engineer – Lead

    3 weeks ago

    Bengaluru, India Whatjobs IN C2 Full time

    Functional Formal Verification Engineer – Lead We are seeking an experienced Functional Formal Verification Engineer to join our team and lead formal verification efforts for complex digital designs. As a Lead Formal Verification Engineer, you will play a critical role in ensuring the quality and reliability of our digital designs. Qualifications:...

  • Lead Formal Verification Engineer

    4 weeks ago

    Bengaluru, India Advanced Micro Devices (AMD) Full time

    Job Description THE ROLE: Execute formal verification for complex blocks for AMD s graphics processor IP, resulting in no bugs in the final design. THE PERSON: Good knowledge of formal verification along with understanding of complex designs. KEY RESPONSIBILITIES: - Understand the design to be verified - Plan and execute formal verification. Formal test plan...

  • Lead Formal Verification Engineer

    1 week ago

    Bengaluru South, Karnataka, India Blueberry Semiconductors Full time ₹ 6,00,000 - ₹ 18,00,000 per year

    We're hiring for Formal Verification engineer position Join our BLUEBERRY SEMICONDUCTORS team.Job: Formal Verification EngineerLocation: BengaluruJob Type: Full- TimeExperience: 2 to 6 yearsEducation:B.tech/M.tech, B.EKey Responsibilities:Lead formal verification of complex IP-level RTL designs using property checking methodologies.Develop, code, and...

  • Formal Verification Engineer

    4 weeks ago

    Pune, India Best NanoTech Full time

    Job Description Designation: Formal Verification Engineer Experience: 4+ Relevant in FV Location: Bengaluru and Pune Roles & Responsibilities : Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification). Experience with programming languages (e.g.,...

  • Formal Verification Engineer

    3 weeks ago

    Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification EngineerLocation: BangaloreExperience: 4+YearsJob Type: Full-timeIndustry: Semiconductor / ASIC Design / EDAEducation: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer EngineeringJob Description:We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...

  • Formal Verification Engineer

    2 days ago

    Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification Engineer Location: BangaloreExperience: 4+YearsJob Type: Full-timeIndustry: Semiconductor / ASIC Design / EDAEducation: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer EngineeringJob Description:We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...

  • Formal Verification Engineer

    2 weeks ago

    Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification EngineerLocation: BangaloreExperience: 4+YearsJob Type: Full-timeIndustry: Semiconductor / ASIC Design / EDAEducation: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer EngineeringJob Description:We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...

  • Formal Verification Engineer

    4 weeks ago

    Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification EngineerLocation: Bangalore Experience: 4+Years Job Type: Full-time Industry: Semiconductor / ASIC Design / EDA Education: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer EngineeringJob Description:We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...