Rakesh Reddy

Software Engineer

Hyderabad, Telangana, India5 yrs 2 mos experience

Highly Stable

Key Highlights

Expert in CPU and Formal Verification methodologies.
Proficient in advanced SoC design and validation techniques.
Strong background in digital electronics and verification tools.

Stackforce AI infers this person is a Semiconductor Verification Specialist with expertise in digital design and validation.

Contact

Skills

Core Skills

Cpu VerificationFormal Verification

Other Skills

AXIFormal toolsSilicon ValidationDFXSystem on a Chip (SoC)MMIPFunctional VerificationGraphics Processing UnitPWMUniversal Verification Methodology (UVM)System verilogSystemVerilog AssertionsQuad SPI controllerAMBA AHBAPB

Experience

5 yrs 2 mos

Total Experience

4 yrs 3 mos

Average Tenure

10 mos

Current Experience

Amd

Sr. Silicon Design Engineer

Jul 2025 – Present · 10 mos · Hyderabad · On-site

AXICPU verification

Microchip technology inc.

IP Verification Engineer

Feb 2021 – Jun 2025 · 4 yrs 4 mos · Greater Bengaluru Area · Hybrid

Formal toolsFormal Verification

Education

Sathyabama Institute of Science & Technology, Chennai

Bachelor's degree

Aug 2015 – May 2019

Stackforce found 100+ more professionals with Cpu Verification & Formal Verification

Explore similar profiles based on matching skills and experience

Ridhi Aggarwal

Coordinator

at Indian Game Theory Society(IGTS), IIT Delhi

Delhi, India2 yrs 1 mo exp

algorithm design

Suvajit Das

ASIC Engineer Design Verification

at Meta

Bengaluru, India5 yrs 9 mos exp

EthernetAMBA AXI

Sankalan Palchowdhury

Scientific Assistant

at ETH Zürich

Zurich, Switzerland2 yrs exp

Natural Language Processing (NLP)

Ashutosh Prasad

Hardware Engineering Manager

at NVIDIA

Gurgaon, India12 yrs 8 mos exp

Nikhil GV

Implementation Engineer

at Meta

Bengaluru, India8 yrs 8 mos exp

VARSHA C R

DFT Design Engineer

at Intel Corporation

Chennai, India1 yr 10 mos exp

VerilogSystemVerilog

Nishant Singh

Digital Verification Engineer G2

at NXP Semiconductors

Jaunpur, India10 yrs exp

ManagementPlacement ServicesProgram Coordination

Vamsi Gullapalli

Lead Engineer

at Texas Instruments

Bengaluru, India20 yrs 11 mos exp

VLSIASIC