Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Automated coverage convergence by correlating random variables with coverage variables sampled from simulation result data

Automated coverage convergence by correlating random variables with coverage variables sampled from simulation result data

US Patent 10831961 · Granted Nov 10, 2020

Estimated economic value: $31,326,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Generating a reduced block model view on-the-fly2025
Unified power format annotated RTL image recognition to accelerate low power ver2025
Connecting random variables to coverage targets using an ensemble of static anal2024
Connecting random variables to coverage targets using an ensemble of static anal2024
Reset domain crossing detection and simulation2024
Memory select register to simplify operand mapping in subroutines2024
Performing hardware description language transformations2023
Automatic root cause analysis of complex static violations by static information2023
Automatic root cause analysis of complex static violations by static information2023
Machine learning (ML)-based static verification for derived hardware-design elem2022
Convergence centric coverage for clock domain crossing (CDC) jitter in simulatio2022
Automated root-cause analysis, visualization, and debugging of static verificati2022