Formal Verification Engineer

L&T Technology Services; Bengaluru; On-site; INR 1,000,000 - 1,400,000; Full time

Job summary

A leading technology services provider in Bengaluru is seeking a Formal Verification Engineer with over 5 years of experience. This full-time position involves working with world-class design engineers to develop formal verification methodologies and ensure the quality of micro-architectures. Candidates should have a strong background in formal verification techniques, familiarity with tools like Cadence Jasper or Synopsys VC-Formal, and skills in programming languages like Python or Perl. Join us to contribute to innovative verification solutions.

Qualifications

• 5+ years of experience in formal verification.
• Experience with complex verification projects using formal techniques.
• Understanding of design methodologies for formal verification.

Responsibilities

• Develop a formal micro-architecture specification.
• Create a comprehensive formal verification test plan.
• Prove properties of the design and find bugs.
• Develop optimized formal models and verification code.
• Implement correct-by-construction design methodologies.

Skills

Formal verification techniques

Temporal logic assertions

Python

Perl

Shell scripting

Tools

Cadence Jasper

Synopsys VC-Formal

Job description

L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.

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 Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.), you will be responsible for:

• Working with Silicon's world-class design engineers to develop a formal micro-architecture specification
• Developing comprehensive formal verification test plan that includes unique verification requirement
• Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture.
• Crafting novel and creative solutions for modelling and proving robustness of complex design micro-architectures
• Developing and implementing re-usable and optimized formal models and verification code base
• Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.
• Understanding of temporal logic assertions
• Experience with at least one formal verification tool (e.g., Cadence Jasper, Synopsys VC-Formal).
• Experience with complex verification projects that used formal techniques for closure
• Skills in Python, Perl, or Shell scripting (a plus).

Seniority level: Mid-Senior level

Employment type: Full-time

Job function: Engineering, Human Resources, and Quality Assurance

Industries: Software Development and IT Services and IT Consulting

Referrals increase your chances of interviewing at L&T Technology Services by 2x.