EDA
System
IP
SolvNetPlus
Training & Education
WEBINAR
Jun 09, 2021
From this Author
Sudipta Kundu
Sudipta Kundu is a R&D Principal Engineer in the Verification Group at Synopsys. He is the R&D architect of the VC Formal Sequential Equivalence Checking (SEQ) App. He leads the R&D of various VC Formal Apps including SEQ, FSV, FXP, and FuSa. He received a B.S. and M.S. degree from IIT Kharagpur, India and a PhD in Computer Engineering from University of California San Diego. He has 1 book, 3 patents (4 pending) and published 12 peer-reviewed technical papers. His expertise includes equivalence checking, formal technologies, compilers and distributed systems.
Ask
i
NOTICE: You are interacting with an AI-powered chatbot that provides general information about Synopsys, including its products and services, which may be incorrect or incomplete. In the event of any conflict or discrepancy, the terms of your applicable agreements supersede any information provided by this chatbot. These chats may be accessed by Synopsys and its service providers to customize the experience and improve this tool, and your use of this chatbot is an agreement to that data processing activity.