Hanish Singla — CTO
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
Stackforce AI infers this person is a leader in semiconductor design and verification technologies.
Location: Noida, Uttar Pradesh, India
Experience: 23 yrs 4 mos
Career 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.
Work Experience
Synopsys
R&D Sr. Director (13 yrs 11 mos)
Magma Design Automation
Member of Consulting Staff (MCS) (3 mos)
Microsoft India (R&D) Pvt. Ltd.
Software Development Engineer II (SDE II) (1 yr 10 mos)
Cadence Design Systems
Senior Member Of Technical Staff (SMTS) (5 yrs 9 mos)
Centre For Developement Of Telematics (C-DOT)
Research Engineer (1 yr 9 mos)
Education
B.E at Punjab Engineering College