Inventor
PAL BHASKAR
IN8 patents
Patents
8 patentsUS7797123B2Sep 14, 2010
Method and apparatus for extracting assume properties from a constrained random test-bench
SYNOPSYS INC10 citations80
US10831961B2Nov 10, 2020
Automated coverage convergence by correlating random variables with coverage variables sampled from simulation result data
SYNOPSYS INC2 citations65
US11222154B2Jan 11, 2022
State table complexity reduction in a hierarchical verification flow
SYNOPSYS INC0 citations56
US11288427B2Mar 29, 2022
Automated root-cause analysis, visualization, and debugging of static verification results
SYNOPSYS INC0 citations55
US12353810B2Jul 8, 2025
Unified power format annotated RTL image recognition to accelerate low power verification convergence
SYNOPSYS INC0 citations47
US10586001B2Mar 10, 2020
Automated root-cause analysis, visualization, and debugging of static verification results
SYNOPSYS INC0 citations45
US11556406B2Jan 17, 2023
Automatic root cause analysis of complex static violations by static information repository exploration
SYNOPSYS INC0 citations43
US10990735B2Apr 27, 2021
System and method for generating a cluster-based power architecture user interface
SYNOPSYS INC0 citations39