Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Automatic root cause analysis of complex static violations by static information repository exploration

Automatic root cause analysis of complex static violations by static information repository exploration

US Patent 11556406 · Granted Jan 17, 2023

Estimated economic value: $84,456,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
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
Automated root-cause analysis, visualization, and debugging of static verificati2022
Automated root-cause analysis, visualization, and debugging of static verificati2022
State table complexity reduction in a hierarchical verification flow2022
State table complexity reduction in a hierarchical verification flow2022
System and method for generating a cluster-based power architecture user interfa2021