from 4 to 9 year(s) of Experience

Job Description

We need a Formal Verification Lead who is hands-on technical expert with excellent debugging skills in implementation issues and ability to come up with creative solutions .Own and manage complete team and provide technical leadership to the team during execution.


  1. Early Joining Bonus/ Buyout Option available to encourage early joining.
  2. Work From Home - till Pandemic situation improves.

Work Location: Bangalore/Pune/Noida

Must Have Skills

  1. Minimum Relevant experience is 4 - 9 Years in System Verilog HVL SVA Assertions.
  2. Must have executed at-least 2-3 SoC/IP Formal Verification signoff projects.
  3. Must have used Synopsys VC Formal ,Cadence Jasper or Questa Formal Tools comprehensively
  4. Hands on experience of developing Formal SV assertion/checkers, coverage register, regressions.
  5. Functional Checks/Assertions based Property coding to verify RTL Structures Data Path, Security, Register, Functional Safety and X Prorogation Verification
  6. Connectivity Checks on IP/SoC connections Fault Analysis using Formal Testbench Analyzer Formal Coverage and Regressions.

Keen to Join the Innovation Driven Team, Please connect at 9898791075.

Salary: Not Disclosed by Recruiter

Key Skills

Desired Candidate Profile

Please refer to the Job description above


UG:B.Tech/B.E. - Electrical, Electronics/Telecommunication

PG:M.Tech - Electrical, Electronics/Telecommunication

Company Profile

einfochips Pvt Ltd

eInfochips, an Arrow company, is a leading global provider of product engineering and semiconductor design services. With over 500+ products developed and 40M deployments in 140 countries, eInfochips continues to fuel technological innovations in multiple verticals. The company€™s service offerings include digital transformation and connected IoT solutions across various cloud platforms, including AWS and Azure.

Along with Arrow€™s $27B in revenues, 19,000 employees, and 345 locations serving over 80 countries, eInfochips is primed to accelerate connected products innovation for 150,000+ global clients. eInfochips acts as a catalyst to Arrow€™s Sensor-to-Sunset initiative and offers complete edge-to-cloud capabilities for its clients through Arrow Connect.

Founded in 1994, our work culture is built over years of experience in providing innovative solutions to our clients and our indomitable spirit to excel in all aspects of our engagement. We believe that our success lies upon the skills and quality of our people we work with.

Silicon engineering services: ASIC / FPGA Design & Development, Design Verification & Validation, Physical Design & DFT
Embedded systems engineering services: Hardware Design, System Software, System Verification & Validation, Multimedia
Software engineering services: Cloud Enablement, IoT & Mobility, Application Software, QA and Test Automation, BI and Data Visualization
Extended services: New Product Development, Lifecycle Management, Product Sustenance
IPs: DevOps for IoT, IoT Gateway Framework, IoT Device Lifecycle Management, Video Management Software, Reusable Camera Framework, Test Automation Framework, Reference Designs & EVMs, Verification IPs, OptiX €“ Physical Design Framework

Corporate Video:
View Contact Details+

Contact Company:einfochips Pvt Ltd

Address:Sector – 4, NOIDA – 201301


Role Category:

Programming & Design


Team Lead/Technical Lead

Employment Type:

Full Time, Permanent