Formal Verification Engineer

2 days ago

Bengaluru Chennai Noida, India HCLTech Full time ₹ 12,00,000 - ₹ 36,00,000 per year

Role & responsibilities

As a Formal Property Verification (FPV) Engineer at HCLTech, you will play a critical role in ensuring the functional correctness and reliability of complex hardware designs through advanced formal verification techniques. Your expertise will directly contribute to the delivery of high-quality products and solutions, supporting the company's mission to provide innovative and dependable technology services to its global clientele.

Detailed Responsibilities

  • Develop, implement, and execute formal property verification strategies for complex hardware and digital designs.
  • Collaborate closely with design, verification, and architecture teams to define verification requirements and formal properties.
  • Analyze and review design specifications, identify verification gaps, and propose robust formal verification methodologies.
  • Create and maintain formal testbenches, assertions, and properties to validate design intent and uncover functional issues.
  • Debug and resolve property failures, document findings, and provide actionable feedback to design teams.
  • Contribute to the continuous improvement of FPV methodologies, tools, and best practices within the organization.
  • Prepare detailed reports, documentation, and presentations on verification progress and results for internal stakeholders.
  • Participate in code and design reviews to ensure adherence to verification standards and design quality.

Skill Requirements

  • Minimum 5 years of hands-on experience in formal property verification (FPV) for hardware or digital design.
  • Strong proficiency in verification languages and tools such as SystemVerilog Assertions (SVA), PSL, JasperGold, or similar formal verification platforms.
  • Solid understanding of digital design concepts, RTL design, and simulation methodologies.
  • Bachelors or Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related technical field.
  • Excellent analytical, problem-solving, and debugging skills.
  • Strong communication and collaboration abilities.

  • Formal Verification Engineer

    2 weeks ago

    Bengaluru, Chennai, Hyderabad, India ti Steps Full time ₹ 9,00,000 - ₹ 12,00,000 per year

    Formal Verification EngineerJob Title: Formal Verification Engineer Experience: 2-6 years Education: B.E/B.Tech/M.Tech in ECE/EEResponsibilities:Apply formal methods to verify safety-critical logicWrite properties and assertions using SVAUse formal tools (JasperGold, VC Formal, etc.)Collaborate with RTL and functional teams for equivalence...

  • Formal Verification Engineer

    4 weeks ago

    Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification Engineer Location: 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 Engineering Job 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 Engineer Location: 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 Engineering Job Description: We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...

  • Formal Verification Engineer

    3 weeks ago

    Bengaluru, India Whatjobs IN C2 Full time

    Job Title: Formal Verification Engineer Location: 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 Engineering Job Description: We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...

  • Formal Verification Engineer

    3 weeks ago

    Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification Engineer Location: 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 Engineering Job Description: We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...

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

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

  • Formal Verification Engineer

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