Work Experience

1. Period: March 2007 - present, Company: Sponsored Research and Industrial Consultancy (SRIC), IIT Kharagpur
   Designation: Research Consultant
   Sponsored Research Projects during PhD period:
   
   
   • "Formal verification of post silicon bug fixes" sponsored by Intel Technology India Pvt. Ltd., Bangalore
   
   
   • "Leveraging Simulation Dumps and Failure Traces for Formal Property Verification" sponsored by Intel Technology India Pvt. Ltd., Bangalore
   
   
   • "Formal Methods for Power Intent Verification in Multi-Voltage Designs" sponsored by Synopsys Inc., Bangalore
   
   
   • "Coverage Metrics for Design Intent Coverage" sponsored by Intel Technology Pvt. Ltd.



2. Internship:
   Period: February 22, 2010 to September 22, 2010, Company: Intel Technology India Pvt. Ltd. ,Bangalore
   Designation: Research Intern
   Role: Did a research internship at Intel and worked in the Platform Validation Engineering (PVE) group.



3. Period: June 22, 2006 - March 15, 2007, Company: IXIA Technologies Pvt. Ltd., Kolkata
   Designation: Software Engineer, Development
   Roles and Responsibilities: I have worked in the Video Team of the network testing product IxLoad. The domain of work includes layers 4 to 7 in networking domain. I worked on enhancement support of existing features and on developing new features of this product.

Computer Skills:

• Programming Languages: C, C++, Verilog, SystemVerilog
• Operating Systems: Linux, Windows, Solaris
• Tools:
  
  • General Coding Tools: cscope, ctags, gdb
  • Circuit Simulator Tool: Spice circuit simulator
  • Network Analyzer Tool: Ethereal Network Analyzer
  • Formal Property Verification Tools: vis (CU Boulder), ABC (Berkeley USA), NUSMV (CMU), Magellan (Synopsys), IFV (Cadence)
  • Simulator Tool: VCS simulator (Synopsys)
  • BDD Package: Cudd (Colorado University USA)
  • SAT Solver: zchaff (Princeton University USA)