Shruthakeerthi S

Software Engineer

Bengaluru, Karnataka, India8 yrs 5 mos experience

Highly StableAI Enabled

Key Highlights

Expert in formal verification and EDA technologies.
Proven track record in improving software performance.
Strong background in C++ and algorithm development.

Stackforce AI infers this person is a semiconductor design expert with a focus on EDA technologies.

Contact

Skills

Core Skills

C++Kernel Programming

Other Skills

AlgorithmsLinuxUnixCursor AISConsData StructuresDesign PatternsKernel DebuggingMultithreadingGDBVerilogC

About

Experienced in DFX technologies, retiming, JTAG, formal verification, solver technologies, RTL design, library cells, and synthesis. I specialize in understanding customer needs and translating them into effective, high-impact EDA technology solutions.

Experience

8 yrs 5 mos

Total Experience

3 yrs 10 mos

Average Tenure

8 mos

Current Experience

Nvidia

Senior software engineer (DFT)

Oct 2025 – Present · 8 mos · Bengaluru, Karnataka, India · On-site

C++Algorithms

Synopsys inc

3 roles

R & D Engineer, Sr II

Jan 2024 – Oct 2025 · 1 yr 9 mos

C++Linux

R & D Engineer, Sr I

Apr 2021 – Jan 2024 · 2 yrs 9 mos

C++Linux

R & D engineer, II

Jul 2018 – May 2021 · 2 yrs 10 mos

As a member of the Formality R&D (India) team, I'm responsible for designing, developing, and driving technology in a state-of-the-art formal equivalence checking tool used in Electronic Design Automation. I design, develop, and implement improvements to the formal verification technology, supporting existing functionalities and enhancing software versatility, performance, and memory utilization. Additionally, I engage with Formality tool customer support to understand customer needs and product goals.

C++Algorithms