Inventor · disambiguated record
Bhaskar Pal
Also filed as: PAL BHASKAR
8 granted patents·3 pending applications·12 citations·filing 2008–2022
76Inventor score
Files withSYNOPSYS INC11
Top patents by PatentIndex Score
11 records- 0178US7797123B2Method and apparatus for extracting assume properties from a constrained random test-benchSYNOPSYS INC·Filed 2008·Granted Sep 14, 2010·10 cites·18 claims
- 0271US10831961B2Automated coverage convergence by correlating random variables with coverage variables sampled from simulation result dataSYNOPSYS INC·Filed 2019·Granted Nov 10, 2020·2 cites·20 claims
- 0360US11288427B2Automated root-cause analysis, visualization, and debugging of static verification resultsSYNOPSYS INC·Filed 2020·Granted Mar 29, 2022·0 cites·20 claims
- 0452US10586001B2Automated root-cause analysis, visualization, and debugging of static verification resultsSYNOPSYS INC·Filed 2019·Granted Mar 10, 2020·0 cites·20 claims
- 0550US11222154B2State table complexity reduction in a hierarchical verification flowSYNOPSYS INC·Filed 2020·Granted Jan 11, 2022·0 cites·20 claims
- 0647US12353810B2Unified power format annotated RTL image recognition to accelerate low power verification convergenceSYNOPSYS INC·Filed 2022·Granted Jul 8, 2025·0 cites·20 claims
- 0742US2023072923A1Supervised machine learning based memory and runtime prediction using design and auxiliary constructsSYNOPSYS INC·Filed 2022·Application pending·0 cites
- 0841US11556406B2Automatic root cause analysis of complex static violations by static information repository explorationSYNOPSYS INC·Filed 2019·Granted Jan 17, 2023·0 cites·20 claims
- 0940US2022075920A1Automated Debug of Falsified Power-Aware Formal Properties using Static Checker ResultsSYNOPSYS INC·Filed 2021·Application pending·0 cites
- 1040US2022284161A1Automated design hierarchy identification and simplified reduced model generation for static verification of circuit designsSYNOPSYS INC·Filed 2022·Application pending·0 cites
- 1134US10990735B2System and method for generating a cluster-based power architecture user interfaceSYNOPSYS INC·Filed 2020·Granted Apr 27, 2021·0 cites·21 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →