Automatic root cause analysis of complex static violations by static information repository exploration
US-11556406-B2 · Jan 17, 2023 · US
This page is not indexed by search engines while we improve data quality.
Pal Bhaskar patents
Pal Bhaskar is listed as an inventor on 14 patents in our database. Major assignees and classification codes are summarized below.
| Metric | Value |
|---|---|
| Inventor | Pal Bhaskar |
| Total patents | 14 |
| First publication | Jul 11, 2019 |
| Latest publication | Jan 17, 2023 |
Notable patents
Publications ranked by popularity score, then publication date.
Automated design hierarchy identification and simplified reduced model generation for static verification of circuit designs
US-2022284161-A1 · Sep 8, 2022 · US
Automated root-cause analysis, visualization, and debugging of static verification results
US-11288427-B2 · Mar 29, 2022 · US
Automated Debug of Falsified Power-Aware Formal Properties using Static Checker Results
US-2022075920-A1 · Mar 10, 2022 · US
State table complexity reduction in a hierarchical verification flow
US-11222154-B2 · Jan 11, 2022 · US
System and method for generating a cluster-based power architecture user interface
US-10990735-B2 · Apr 27, 2021 · US
State table complexity reduction in a hierarchical verification flow
US-2021110093-A1 · Apr 15, 2021 · US
System and method for generating a cluster-based power architecture user interface
US-2020372196-A1 · Nov 26, 2020 · US
Automated coverage convergence by correlating random variables with coverage variables sampled from simulation result data
US-10831961-B2 · Nov 10, 2020 · US
Automated Root-Cause Analysis, Visualization, and Debugging of Static Verification Results
US-2020349311-A1 · Nov 5, 2020 · US
Recent patents
Latest publications not already listed above.
Automatic Root Cause Analysis of Complex Static Violations by Static Information Repository Exploration
US-2020174871-A1 · Jun 4, 2020 · US
Automated root-cause analysis, visualization, and debugging of static verification results
US-10586001-B2 · Mar 10, 2020 · US
Automated coverage convergence by correlating random variables with coverage variables sampled from simulation result data
US-2020019664-A1 · Jan 16, 2020 · US
Automated Root-Cause Analysis, Visualization, and Debugging of Static Verification Results
US-2019213288-A1 · Jul 11, 2019 · US
Major assignees
Companies most often associated with this inventor's publications.
| Assignee | Patents |
|---|---|
| Synopsys Inc | 14 |
Top CPC classifications
Most common classification codes across this inventor's patents.
| CPC | Patents |
|---|---|
| G06F30/3323 | 10 |
| G06F2119/06 | 6 |
| G06F30/398 | 5 |
| G06F30/33 | 4 |
| G06F30/367 | 4 |