Formal Verification Engineer

6 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

    6 days ago

    Bengaluru, India MediaTek Full time

    Job DescriptionJob FunctionFunctional Formal Verification Engineer – LeadWe 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...

  • Formal Verification Engineer

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

    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

    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

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

    16 hours ago

    Bengaluru, India L&T Technology Services Full time

    L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.Job Location: Bangalore, India. Job Description is mentioned in details:: 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...

  • Formal Verification Engineer

    21 hours ago

    Bengaluru, India L&T Technology Services Full time

    L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.Job Location: Bangalore, India. Job Description is mentioned in details:: 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...

  • Formal Verification Engineer

    17 hours ago

    Bengaluru, India L&T Technology Services Full time

    L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.Job Location: Bangalore, India. Job Description is mentioned in details:: 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...

  • Formal Verification Engineer

    10 hours ago

    Bengaluru, India L&T Technology Services Full time

    L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience. Job Location: Bangalore, India. Job Description is mentioned in details:: 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...

  • Formal Verification Engineer

    12 hours ago

    Bengaluru, India L&T Technology Services Full time

    L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience. Job Location: Bangalore, India. Job Description is mentioned in details:: 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...