S

Sriharsha Karnati

Software Engineer

Bengaluru, Karnataka, India6 yrs 7 mos experience
Most Likely To SwitchHighly Stable

Key Highlights

  • Expert in formal verification methodologies.
  • Extensive experience in semiconductor industry.
  • Proven track record in complex logic verification.
Stackforce AI infers this person is a Formal Verification Engineer specializing in semiconductor technologies.

Contact

LinkedIn

Skills

Core Skills

Formal VerificationVlsi

Other Skills

VerilogFabric Interface LogicAXI2APBAXIP2PJavaPythonSemiconductors

Experience

6 yrs 7 mos
Total Experience
2 yrs 2 mos
Average Tenure
4 yrs 11 mos
Current Experience

Nvidia

Formal Verification Engineer

May 2021 – Present · 4 yrs 11 mos · Bengaluru, Karnataka, India

  • Formal Verification of Bridges that handle inter-socket traffic between different CPU mesh networks
Formal VerificationVLSIVerilog

Intel corporation

Formal Verification Engineer

Sep 2020 – Apr 2021 · 7 mos · Bengaluru, Karnataka, India

  • Formal Verification of Fabric Interface Logic in PM cluster
Formal VerificationFabric Interface Logic

Oski technology, inc.

Formal Verification engineer

Jun 2014 – Jul 2015 · 1 yr 1 mo · Gurugram, Haryana, India

  • Formal verification of AXI2APB and AXIP2P interconnects and Memory controller modules
Formal VerificationAXI2APBAXIP2P

Education

Indian Institute of Technology, Delhi

Bachelor's Degree

Jan 2010 – Jan 2014

Sri Chaitanya educational institution

High School

Jan 2008 – Jan 2010

N. St. Mathews Public School

High School

Jan 2004 – Jan 2008

Stackforce found 100+ more professionals with Formal Verification & Vlsi

Explore similar profiles based on matching skills and experience

JG

jeevan gr

Staff Engineer

at Qualcomm

Bengaluru, India19 yrs 3 mos exp
ASICFunctional Verification
GS

Ganapathi S.

Tech Lead

at Intel Corporation

Bengaluru, India25 yrs 6 mos exp
Anirudh Royyuru

Anirudh Royyuru

Manager Electronic Design Engineering

at Western Digital

India19 yrs exp
Functional VerificationASIC
Janak Patel

Janak Patel

Design Verification Engineer

at Amazon Web Services (AWS)

Milpitas, United States15 yrs 4 mos exp
Functional VerificationSoC
Deepak Garg

Deepak Garg

Director of Engineering

at Siemens EDA (Siemens Digital Industries Software)

Noida, India20 yrs exp
Anandhan M

Anandhan M

Sr. Manager

at AMD

Bengaluru, India19 yrs 3 mos exp
Low-power Design
Santosh Thomas

Santosh Thomas

Senior Director, Engineering

at Qualcomm

Bengaluru, India26 yrs 9 mos exp
ASICVLSI
JG

Jayesh Gaur

Chief Architect of Power Core

at IBM

Bengaluru, India21 yrs 8 mos exp
Computer Architecture