Lantiq makes semiconductor products for computer networks used by common carrier telecommunications companies in access networks and home networking. 

It was acquired by Intel Corporation in 2015.

Title of my project: ‘Formal Verification - Property and Equivalence checking for Wave500’

•  The work included writing test cases for the verification of various components of the chip and also to write and develop functional coverage models. I also performed Logic Equivalence checks (LEC), Clock domain crossing (CDC) checks, Formal connectivity checks, and Lint checks on an active company project.

Honda Motorcycle & Scooter India, Pvt. Ltd., abbreviated as HMSI, is the wholly owned Indian subsidiary of Honda Motor Company, Limited, Japan. It was established in 1999 at Manesar, Gurgaon, India.

Title of my project: ‘Study of Electrical Breakdowns in CNC and PLC Machines'.