S

Sowmya Maganti

DevOps Engineer

India4 yrs 8 mos experience
Highly Stable

Key Highlights

  • Experienced in formal verification methodologies.
  • Proficient in multiple programming languages.
  • Strong background in digital electronics.
Stackforce AI infers this person is a Formal Verification Engineer with expertise in VLSI and digital electronics.

Contact

LinkedIn

Skills

Core Skills

Vc Formal

Other Skills

TCLPython (Programming Language)Coverage AnalysisAssertion Based VerificationVerilogLinuxJasper goldSystemVerilogVlsiC (Programming Language)C++Digital Electronics

Experience

4 yrs 8 mos
Total Experience
3 yrs 2 mos
Average Tenure
1 yr 6 mos
Current Experience

Synopsys inc

Formal Verification , Sr Engineer

Dec 2024 – Present · 1 yr 6 mos · Bengaluru, Karnataka, India · On-site

VC formalTCL

Cerium systems

Formal verification engineer

Sep 2021 – Nov 2024 · 3 yrs 2 mos · Bengaluru, Karnataka, India · On-site

Education

Jawaharlal Nehru Technological University, Kakinada

Bachelor of Technology - BTech — Electronics and Communication Engineering

Jul 2017 – Jul 2021

Stackforce found 19 more professionals with Vc Formal

Explore similar profiles based on matching skills and experience

AS

Ashwin Sahare

Member of Technical Staff

at AMD

Bengaluru, India5 yrs 10 mos exp
Kirti Kansal

Kirti Kansal

Senior Design and Verification Engineer

at Analog Devices

United Kingdom7 yrs 7 mos exp
Universal Verification Methodology (UVM)SystemVerilogFormal VerificationSystem on a Chip (SoC)
Lakshay Chandna

Lakshay Chandna

Engineer

at Qualcomm

Bengaluru, India6 yrs 4 mos exp
Functional VerificationFunctional SafetyTeamwork
Shrey .

Shrey .

Formal Verification Lead

at NVIDIA

Bengaluru, India6 yrs 10 mos exp
Formal VerificationProject LeadershipSystem Verilog AssertionsDigital Circuit Design
Rujuta Vaze

Rujuta Vaze

Senior Silicon Design Engineer

at AMD

San Jose, United States3 yrs 11 mos exp
Computer ArchitectureRTL VerificationFormal VerificationDigital Hardware Design
Rohit Wasnik

Rohit Wasnik

Staff Engineer

at Synopsys Inc

Bengaluru, India3 yrs 10 mos exp
Formal Verification
Raushan Raj

Raushan Raj

Staff Engineer

at Infineon Technologies

Bengaluru, India6 yrs 10 mos exp
Synopsys toolsVerilog
Arib Faisal

Arib Faisal

Sr. Silicon Design Engineer

at AMD

Bengaluru, India4 yrs 11 mos exp
Formal VerificationGPUDatapath ValidationReliability Testing