Bhaskar Pal

Person

Bangalore, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic root cause analysis of complex static violations by stati...
- Patent number 11,556,406
- Issue date Jan 17, 2023
- Synopsys, Inc.
- Aditya Daga
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated root-cause analysis, visualization, and debugging of stat...
- Patent number 11,288,427
- Issue date Mar 29, 2022
- Synopsys, Inc.
- Sauresh Bhowmick
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
State table complexity reduction in a hierarchical verification flow
- Patent number 11,222,154
- Issue date Jan 11, 2022
- Synopsys, Inc.
- Kaushik De
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating a cluster-based power architecture...
- Patent number 10,990,735
- Issue date Apr 27, 2021
- Synopsys, Inc.
- Sauresh Bhowmick
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated coverage convergence by correlating random variables with...
- Patent number 10,831,961
- Issue date Nov 10, 2020
- Synopsys, Inc.
- Esha Dutta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated root-cause analysis, visualization, and debugging of stat...
- Patent number 10,586,001
- Issue date Mar 10, 2020
- Synopsys, Inc.
- Sauresh Bhowmick
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for extracting assume properties from a constr...
- Patent number 7,797,123
- Issue date Sep 14, 2010
- Synopsys, Inc.
- Kaushik De
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATED DESIGN HIERARCHY IDENTIFICATION AND SIMPLIFIED REDUCED MO...
- Publication number 20220284161
- Publication date Sep 8, 2022
- Synopsys, Inc.
- Gaurav Pratap
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automated Debug of Falsified Power-Aware Formal Properties using St...
- Publication number 20220075920
- Publication date Mar 10, 2022
- Synopsys, Inc.
- Sachin Bansal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATE TABLE COMPLEXITY REDUCTION IN A HIERARCHICAL VERIFICATION FLOW
- Publication number 20210110093
- Publication date Apr 15, 2021
- Synopsys, Inc.
- Kaushik DE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATING A CLUSTER-BASED POWER ARCHITECTURE...
- Publication number 20200372196
- Publication date Nov 26, 2020
- Synopsys, Inc.
- Sauresh Bhowmick
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automated Root-Cause Analysis, Visualization, and Debugging of Stat...
- Publication number 20200349311
- Publication date Nov 5, 2020
- Synopsys, Inc.
- Sauresh BHOWMICK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic Root Cause Analysis of Complex Static Violations by Stati...
- Publication number 20200174871
- Publication date Jun 4, 2020
- Synopsys, Inc.
- Aditya Daga
- G05 - CONTROLLING REGULATING
Information Patent Application
AUTOMATED COVERAGE CONVERGENCE BY CORRELATING RANDOM VARIABLES WITH...
- Publication number 20200019664
- Publication date Jan 16, 2020
- Synopsys, Inc.
- Esha Dutta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automated Root-Cause Analysis, Visualization, and Debugging of Stat...
- Publication number 20190213288
- Publication date Jul 11, 2019
- Synopsys, Inc.
- Sauresh BHOWMICK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR EXTRACTING ASSUME PROPERTIES FROM A CONSTR...
- Publication number 20090319252
- Publication date Dec 24, 2009
- Synopsys, Inc.
- Kaushik De
- G06 - COMPUTING CALCULATING COUNTING

Bhaskar Pal

Person

Patents Grantslast 30 patents

Automatic root cause analysis of complex static violations by stati...

Automated root-cause analysis, visualization, and debugging of stat...

State table complexity reduction in a hierarchical verification flow

System and method for generating a cluster-based power architecture...

Automated coverage convergence by correlating random variables with...

Automated root-cause analysis, visualization, and debugging of stat...

Method and apparatus for extracting assume properties from a constr...

Patents Applicationslast 30 patents

AUTOMATED DESIGN HIERARCHY IDENTIFICATION AND SIMPLIFIED REDUCED MO...

Automated Debug of Falsified Power-Aware Formal Properties using St...

STATE TABLE COMPLEXITY REDUCTION IN A HIERARCHICAL VERIFICATION FLOW

SYSTEM AND METHOD FOR GENERATING A CLUSTER-BASED POWER ARCHITECTURE...

Automated Root-Cause Analysis, Visualization, and Debugging of Stat...

Automatic Root Cause Analysis of Complex Static Violations by Stati...

AUTOMATED COVERAGE CONVERGENCE BY CORRELATING RANDOM VARIABLES WITH...

Automated Root-Cause Analysis, Visualization, and Debugging of Stat...

METHOD AND APPARATUS FOR EXTRACTING ASSUME PROPERTIES FROM A CONSTR...