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.

IDiyas Innovation Intelligence. (2026). Inventor Profile: Sudipta Kundu. Retrieved from https://idiyas.com/inventor/sudipta-kundu

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

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),

Profile summary based on public USPTO records.

Data Sources: USPTO Patent Grant XML, Patent Center, EPO & CIPO • Normalized by IDiyas Innovation Graph. Methodology & provenance architecturePlease report any incorrect information to [email protected]

1 patent pending: