Anshul singhal

Software Engineer

Saharanpur, Uttar Pradesh, India13 yrs 11 mos experience
Highly Stable

Key Highlights

  • Expert in Formal Verification and Safety Solutions.
  • Proven track record in leading technical support initiatives.
  • Strategic thinker driving innovative solutions.
Stackforce AI infers this person is a Formal Verification and Safety Solutions expert in the SaaS industry.

Contact

Skills

Core Skills

Formal VerificationSafety SolutionsSimulationTechnical Support

Other Skills

Jasper Formal solutionsFunctional Safety solutionsCadence simulatorTechnical assistanceLow powerPerformanceDebug solutionsCadence Incisive Platform toolsVerilogSystem VerilogUVMTCLNCSimHALLinux

About

Experienced Application Engineer with a demonstrated history of working with industry leader. Skilled in Simulation, Formal and Safety solutions/flow. Leads development and delivery of solutions to meet and exceed customer requirements. Explore new ideas leading to new opportunities with a strategic mind-set and explore what’s possible

Experience

13 yrs 11 mos
Total Experience
13 yrs 11 mos
Average Tenure
13 yrs 11 mos
Current Experience

Cadence design systems

6 roles

Senior Principal Application Engineer

Promoted

Jul 2024Present · 1 yr 11 mos

Principal Application Engineer

Promoted

Jul 2021Jul 2024 · 3 yrs

  • Accountable to drive the Jasper Formal solutions and Functional Safety solutions
  • Leads development and delivery of solutions to meet and exceed customer requirements
  • Explore new ideas leading to new opportunities with a strategic mind-set and explore what’s possible
Jasper Formal solutionsFunctional Safety solutionsFormal VerificationSafety Solutions

Lead Application Engineer

Jul 2018Jun 2021 · 2 yrs 11 mos

  • Accountable to drive the Jasper Formal solutions and Functional Safety solutions
Jasper Formal solutionsFunctional Safety solutionsFormal VerificationSafety Solutions

Sr Application Engineer

Promoted

Jul 2015Jul 2018 · 3 yrs

  • Working closely with customer using the cadence simulator(incisive/xcelium) and providing technical assistance for simulation, low power, performance and debug solution to address issues related to various aspects of HDLs, HVL and the tools during the design and verification cycle.
  • Building quality solution that anticipate the customer's changing and challenging businesses need and strive to win with winners
  • Acting as an interface between cadence R&D team and the customers, playing major role in providing valuable feedback to improve the tool qualiy and feature set.
Cadence simulatorTechnical assistanceSimulationLow powerPerformanceDebug solutions+1

Application Engineer

Promoted

Nov 2013Jun 2015 · 1 yr 7 mos

  • Providing Technical Support for Cadence Incisive Platform tools.
  • Responsible for working with customers and providing technical assistance to resolve issues related to various aspects of HDLs, HVL and the tools during the design and verification cycle.
Technical SupportCadence Incisive Platform tools

Consultant

Apr 2012Oct 2013 · 1 yr 6 mos

Education

Bharat Institute of Technology, Meerut

B.Tech. — Electronics and Communication

Jan 2007Jan 2011

S.D. Public School, Muzaffarnagar

10+2

Jan 2006Jan 2007

D.A.V. Public School, Saharanpur

High School

Jan 2004Jan 2005

Stackforce found 100+ more professionals with Formal Verification & Safety Solutions

Explore similar profiles based on matching skills and experience