Piyush Kumar Gupta — Software Engineer
Formal Verification Engineer Worked on various formal tools like VC Formal, Jasper Gold. Worked on connectivity, formal security verification, formal property verification and Sequential Equivalence Apps. Have worked extensively in the formal domain from designing of test plan to compete sign off of blocks using formal. Well versed with commonly used abstraction techniques for complexity reduction and resolve convergence issues.
Stackforce AI infers this person is a Formal Verification Engineer with expertise in VLSI and embedded systems.
Location: Allahabad, Uttar Pradesh, India
Experience: 7 yrs 6 mos
Skills
- Formal Verification
Career Highlights
- Expert in formal verification tools and methodologies.
- Extensive experience in formal property verification.
- Strong background in VLSI and circuit design.
Work Experience
AMD
MTS Silicon Design Engineer (11 mos)
Formal Verification Engineer (2 yrs 10 mos)
Qualcomm
Engineer (1 yr 7 mos)
Associate Engineer (1 yr 2 mos)
Head at Robotics Club M.N.N.I.T. Allahabad
Head (1 yr)
Education
Electrical at Motilal Nehru National Institute Of Technology
Inter at St. Basil School Basti,Uttar Pradesh, India
