Sudipta Kundu

This inventor holds 6 USPTO granted patents and 1 published patent application. Top assignees: Synopsys, Inc., Nec Laboratories America, Inc.. Active years: 2013-2025.

USPTO Granted Patents = 6 (Patent Applications = 1)

% Patents Active = 83.3

Average Co-Inventor Count = 2.3

ph-index = 2

Forward Citations = 8(Granted Patents)

Company Filing History:

Nec Laboratories America, Inc.

patents

Years Active: 2013-2025

Loading Chart...

6 patents (USPTO):Sort by Forward CitationsExplore Patents

1. 12481814 - Performing automatic sign-off for clock gating verification using toggle cover properties (2025-11-25),

2. 11556676 - Scalable formal security verification of circuit designs (2023-01-17),

3. 11507719 - Accelerating formal property verification across design versions using sequential equivalence checking (2022-11-22),

4. 10515170 - Deep insight for debug using internal equivalence visualization and counter-example for sequential equivalence checking (2019-12-24),

5. 8914758 - Equivalence checking using structural analysis on data flow graphs (2014-12-16),

6. 8448145 - Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactions (2013-05-21),

This text is generated by artificial intelligence and may not be accurate.

Please report any incorrect information to [email protected]

1 patent pending:

Please report any incorrect information to [email protected]