InvenSense, Inc. since May 2013
Senior Verification Engineer
InvenSense, Inc. - Sunnyvale, CA Oct 2012 - May 2013
Verification Engineer
Blue Pearl Software - Santa Clara Apr 2011 - Sep 2012
Application Engineer
San Jose State University Aug 2010 - Dec 2010
ISA - Instructional Student Assistant
SJSU Jul 2008 - Dec 2010
Student
Education:
San Jose State University 2008 - 2010
Master of Science, Electrical Engineering; Digital Design
UTL 2007 - 2008
Diploma in Embedded Systems, Embedded Systems
University of Pune 2002 - 2006
Bachelor of Engineering, Electronics Engineering
Skills:
Verilog Perl Embedded Systems Fpga Vlsi Asic C Systemverilog Debugging Arm Integrated Circuit Design Logic Synthesis Cadence Virtuoso Rtl Design
Interests:
Linux (User Space) Embedded Systems Asic Soc Verilog System Verilog
Apr 2011 to 2000 Application Engineer,San Jose State University San Jose, CA Aug 2008 to Dec 2010 ASIC Engineer (Student)Literacy Bridge San Jose, CA Nov 2008 to Feb 2009 Embedded Engineer (Volunteer)Wifi-Soft Sol. Pvt. Ltd Pune, Maharashtra Aug 2007 to Oct 2008 Embedded Engineer
Education:
San Jose State University San Jose, CA Jan 2008 to Jan 2010 MSEE in Digital Logic Design (ASIC)UTL Technologies Jan 2007 to Jan 2007 Diploma in Embedded SystemsV.I.T. Pune University B.E.E.E Aug 2006UCSC [Extension] Santa Clara, CA 2012 Advance Verification with SystemVerilog
San Jose State University San Jose, CA Aug 2008 to Dec 2010 ASIC Design Engineer (Student)Literacy Bridge San Jose, CA Nov 2008 to Feb 2009 Embedded EngineerWifi-Soft Sol. Pvt. Ltd Pune, Maharashtra Aug 2007 to Oct 2008 Embedded Engineer
Education:
San Jose State University San Jose, CA Jan 2008 to Jan 2010 MS in Electrical EngineeringUTL Teechnologies Pune, Maharashtra Jan 2007 to Jan 2007 Diploma in Embedded SystemsV.I.T. Pune University Pune, Maharashtra Jan 2002 to Jan 2006 BE in Electronics Engineering
- Mountain View CA, US Arunava Saha - Sunnyvale CA, US Pratik Mahajan - Cupertino CA, US Per Bjesse - Portland OR, US Alfred Koelbl - Hillsboro OR, US
International Classification:
G06F 17/50
Abstract:
The fault analysis problem is modelled by automatically creating additional properties (fault properties) and constraints based on the injected faults and the existing user assertions. These fault properties and constraints are sent to formal verification in a single run to qualify all of the faults together, rather than sequentially checking each fault in a separate formal verification run.
Symbiosis Institute of Media and Communication (UG) - Media Studies
About:
I go with the wind. I am a silent observer, a tresspasser, a walker, a do-er, a Traveller.
Bragging Rights:
Nothing.
Pratik Mahajan
Education:
NSESK, KBPIMSR - Administration, SCOEM - HR and Marketing
Pratik Mahajan
Education:
S. K. Somaiya College of Engineering - Commerce, Swami Vivekanand Vidyamandir, Dattanagar
Pratik Mahajan
Work:
I am student
Pratik Mahajan
About:
If you ever start taking things too seriously, Just remember that we are talking monkeys on an organic spaceship flying through the Universe. -- Joe Rogan :D
Pratik Mahajan
Pratik Mahajan
Pratik Mahajan
Youtube
VS fighters Miraj Song Mix By Dj Tejas & Prat...
Like Shere and Subscribe My YouTube Channel #Miraj #Vsfighter.
Duration:
2m 26s
V T M BOY'S MIRAJ 2019 MIX BY PRatik Mahajan
PRaikMahajan.
Duration:
2m 33s
SK SARKAR NEW SONG DJ PRatik Mahajan Miraj 95...
DJPRatikMahajan.
Duration:
2m 16s
Surgery For ROP
Video from Pratik MAHAJAN.
Duration:
2m 19s
true friends
In this vidio... Adil Khan, Ali Bubere, Amit Mehta, Amjad Chaudhary , ...
Category:
Entertainment
Uploaded:
19 Mar, 2011
Duration:
1m 54s
PEDOUROCON Dhule TV news reel.wmv
:Paedourocon a comprehensive course of paediatric urology was held for...