Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Automated root-cause analysis, visualization, and debugging of static verification results

Automated root-cause analysis, visualization, and debugging of static verification results

US Patent 11288427 · Granted Mar 29, 2022

Estimated economic value: $100,633,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
Reset domain crossing detection and simulation2024
Memory select register to simplify operand mapping in subroutines2024
Automatic root cause analysis of complex static violations by static information2023
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
State table complexity reduction in a hierarchical verification flow2022
State table complexity reduction in a hierarchical verification flow2022
State table complexity reduction in a hierarchical verification flow2022