Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Minimizing crossover paths for functional verification of a circuit description

Minimizing crossover paths for functional verification of a circuit description

US Patent 9529948 · Granted Dec 27, 2016

Estimated economic value: $26,399,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Generating a reduced block model view on-the-fly2025
Generating a reduced block model view on-the-fly2025
Low-power static signoff verification from within an implementation tool2024
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
Implementing and verifying safety measures in a system design based on safety sp2023
Machine learning (ML)-based static verification for derived hardware-design elem2022
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
State table complexity reduction in a hierarchical verification flow2022