Siddartha Papineni — DevOps Engineer
Experienced Verification Lead with a demonstrated history of working in the computer hardware industry. Strong quality assurance professional skilled in Formal verification methods (Model Checking and Equivalence Checking), Matlab, TCL, Perl, Debugging and C++.
Stackforce AI infers this person is a Formal Verification Expert in the Computer Hardware industry.
Location: Mountain View, California, United States
Experience: 14 yrs 6 mos
Skills
- Formal Verification
- Quality Assurance
Career Highlights
- Expert in Formal Verification methods and Quality Assurance.
- Proven leadership in verification roles at top tech companies.
- Strong programming skills in C++, Perl, and Matlab.
Work Experience
Synopsys Inc
Formal Verification Lead (7 yrs 9 mos)
NVIDIA
Formal Verification Lead (1 yr 1 mo)
Formal Verification Engineer (5 yrs 8 mos)
Education
M.Tech at Indian Institute of Technology, Kharagpur
Electronics & Communication Engg. at Osmania University
