About the Unit
TCS IAE is redefining the future of industry by embedding intelligence across engineering, manufacturing, asset, and service value chains. Powered by AI, connected ecosystems, and autonomous operations, it transforms insights into action—creating self-optimizing, resilient, and intelligent enterprises at scale. By seamlessly converging the physical and digital worlds, TCS IAE is enabling a new era of AI-first enterprises where systems continuously learn, adapt, and evolve—driving measurable outcomes and shaping how industries operate for the future.
Role: Formal Verification Engineer (RTL to Netlist / Netlist to Netlist)
Roles & Responsibilities
· Perform formal equivalence checking (LEC) between RTL and synthesized netlists
· Perform Netlist-to-Netlist equivalence across ECO, DFT, low-power, and PnR iterations
· Debug and resolve non-equivalence points (NEPs) and failing cones
· Handle clock-gating, scan, and DFT-related equivalence challenges
· Support UPF-aware and low-power formal verification
· Collaborate with cross-functional teams for signoff readiness
· Develop scripts and automation to improve formal verification efficiency
Tools & Skills
· Formal Verification: Synopsys Formality, Cadence Conformal (LEC / Low Power)
· HDL: Verilog, SystemVerilog
· Low Power: UPF-aware formal verification
· DFT Awareness: Scan logic, clock-gating, test logic
· Understanding of synthesis, STA, and physical transformations
· Scripting: Tcl (mandatory), Shell / Python (preferred)
About the roleSource: Tata Consultancy Services careers — Read the original posting and apply
This role is listed by the employer on its own careers site. Kaam Ki Khoj does not process applications for it.
Tata Consultancy Services is an employer in the IT/Computers - Software, Software Services sector with operations in India. This is a directory listing maintained by Kaam Ki Khoj so that candidates can find the organisation; it is not an official com... Read More
Upload your CV once — we read it, build your profile and put you in front of every employer hiring on Kaam Ki Khoj. No forms, no fees.
