What are the responsibilities and job description for the Formal Verification Engineer position at L&T Technology Services?
Job Description:
We are looking for formal verification experts to ensure design correctness using mathematical verification techniques and advanced formal tools.
Key Responsibilities:
- Develop formal verification strategies and methodologies
- Write SystemVerilog Assertions (SVA)
- Perform property checking, equivalence checking, and CDC/RDC analysis
- Identify corner cases missed in simulation
- Collaborate with RTL teams for design improvements
Required Skills:
- Strong knowledge of formal verification tools (Jasper, VC Formal, etc.)
- Expertise in SVA and property specification
- Solid understanding of digital design and logic reasoning
Good to Have:
- Experience in low-power/CDC verification
Exposure to security verification
The expected salary range for this position is between $120K - $170K annually. The actual salary may vary based upon several factors including, but not limited to, relevant skills/experience, time in role, base salary of internal peers, prior performance, business line, and geographic/office location.
Paid Leave, Health Insurance, Group life Insurance, Disability, 401(K)
Salary : $120,000 - $170,000