Inventor
KUNDU SUDIPTA
IN8 patents
⚠️ This page may combine multiple inventors who share the name “KUNDU SUDIPTA”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
SYNOPSYS INC
5 patentsUS10515170B1Dec 24, 2019
Deep insight for debug using internal equivalence visualization and counter-example for sequential equivalence checking
SYNOPSYS INC4 citations68
US8914758B1Dec 16, 2014
Equivalence checking using structural analysis on data flow graphs
SYNOPSYS INC3 citations60
US11507719B1Nov 22, 2022
Accelerating formal property verification across design versions using sequential equivalence checking
SYNOPSYS INC1 citations54
US12481814B1Nov 25, 2025
Performing automatic sign-off for clock gating verification using toggle cover properties
SYNOPSYS INC0 citations49
US11556676B2Jan 17, 2023
Scalable formal security verification of circuit designs
SYNOPSYS INC0 citations47