Hanish Singla

CTO

Noida, Uttar Pradesh, India23 yrs 4 mos experience
Most Likely To SwitchHighly Stable

Key Highlights

  • 22+ years of engineering experience in C/C++ programming.
  • Expert in Assertion Based Verification and Digital Logic Design.
  • Leadership role in VC-Formal R&D team.
Stackforce AI infers this person is a leader in semiconductor design and verification technologies.

Contact

Skills

Other Skills

ASICAnalytical SkillsAssertion Based VerificationCode and Functional Coverage Analysis Using FormalComputer ScienceDatapath Verification using FormalDebuggingDigital Logic DesignFunctional VerificationProgrammingProject ManagementRTL codingRegister Verification using FormalSemiconductorsSoftware Development

About

22+ years of industry experience in engineering (C/C++ programming on Linux Platform). Currently leading the VC-Formal R&D team from NCR region. Specialties: C/C++ Programming, Data-Structures/Algorithms, Assertion Based Verification (ABV), Code and Functional Coverage Analysis Using Formal, Register Verification using Formal, Datapath Verification using Formal, Synthesis Frontend, Digital Logic Design, Verilog, Linux Environment

Experience

Synopsys

R&D Sr. Director

Apr 2012Present · 13 yrs 11 mos · Noida

Magma design automation

Member of Consulting Staff (MCS)

Dec 2011Mar 2012 · 3 mos · Noida

  • Worked on the development of Talus Design (the Synthesis Tool) specially the congestion based remapping.

Microsoft india (r&d) pvt. ltd.

Software Development Engineer II (SDE II)

Feb 2010Dec 2011 · 1 yr 10 mos · Hyderabad Area, India

  • Working on the development of a Performance Analysis tool for Windows Phone (called WP7 Profiler). This tool can be used to evaluate and improve (i.e. profile) the performance of Windows Phone applications. The Performance Analysis tool is installed as part of the Windows Phone SDK. It is fully integrated into Visual Studio.

Cadence design systems

Senior Member Of Technical Staff (SMTS)

May 2004Feb 2010 · 5 yrs 9 mos · Noida Area, India

  • Worked on the development of Cadence's Logic Synthesis tool named RC (RTL Compiler). RC reads in a high level hardware description(HDL) (usually written in Verilog/VHDL) and generates an optimized logic gates representation (netlist). I am part of the Frontend Team which is responsible for developing the frontend of the tool i.e. it used to read and interpret the given HDL design, create CDFGs and inferring generic gate level netlist. I also worked on another Synthesis Tool named BG (BuildGates). In addition, I also worked on interesting projects like IP Protection, QoR improving transforms, core data-structure level projects etc.

Centre for developement of telematics (c-dot)

Research Engineer

Aug 2002May 2004 · 1 yr 9 mos · New Delhi Area, India

  • Worked on the Design/Developement of Telecommunication Systems. Worked on the MAP and TCAP layers of the SS7 protocol stack at the MSC (Mobile Switching centre) and SMSC (Short Message Service Centre)

Education

Punjab Engineering College

B.E — Computer Science & Engg.

Jan 1998Jan 2002

Stackforce found 100+ more professionals with ASIC & Analytical Skills

Explore similar profiles based on matching skills and experience