Formal Verification Engineer

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.