Sriharsha Karnati

Software Engineer

Bengaluru, Karnataka, India6 yrs 9 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

Skills

Core Skills

Formal VerificationVlsi

Other Skills

VerilogFabric Interface LogicAXI2APBAXIP2PJavaPythonSemiconductors

Experience

6 yrs 9 mos

Total Experience

2 yrs 3 mos

Average Tenure

5 yrs 1 mo

Current Experience

Nvidia

Formal Verification Engineer

May 2021 – Present · 5 yrs 1 mo · 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

Komal Singh

Associate Staff Engineer

at Samsung Semiconductor

Jamshedpur, India5 yrs 5 mos exp

Functional VerificationUniversal Verification Methodology (UVM)

Rakesh yadav

Lead Physical Design Engineer

at Quest Global

Hyderabad, India11 yrs exp

Mixed-Signal Integrated CircuitsPhysical Design

Deepak Kumar Tala

Managing Director

at SmartDV Ematic India Private Limited

Bengaluru, India28 yrs 11 mos exp

Sai Charan Elluru

Staff Engineer

at Synopsys Inc

Hyderabad, India9 yrs 9 mos exp

Physical DesignStatic Timing Analysis

Priyanshu S.

R&D Engineer

at Synopsys Inc

Greater Delhi, India3 yrs exp

Very-Large-Scale Integration (VLSI)Verification and Validation (V&V)VerificationValidation (V&V)Game Design

VENKAT RAJKUMAR BOMMADENI

Senior Staff Engineer

at Qualcomm

Bengaluru, India13 yrs 6 mos exp

Physical DesignASIC

Dhruv P

Technical Director

at Vibhuaya Technologies

Hyderabad, India15 yrs exp

System on a Chip (SoC)DFT methodologiesDFT strategies

Sudhanshu Kumar

Staff Engineer

at Samsung Semiconductor

Bengaluru, India4 yrs 9 mos exp

GPU ArchitectureCache Memory SubsystemDigital LogicDesign SpecificationsOral Communication