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 2025Present · 10 mos · Hyderabad · On-site

AXICPU verification

Microchip technology inc.

IP Verification Engineer

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

Formal toolsFormal Verification

Education

Sathyabama Institute of Science & Technology, Chennai

Bachelor's degree

Aug 2015May 2019

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

Explore similar profiles based on matching skills and experience

Rakesh Reddy - Software Engineer | Stackforce