Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and apparatus for extracting assume properties from a constrained random test-bench

Method and apparatus for extracting assume properties from a constrained random test-bench

US Patent 7797123 · Granted Sep 14, 2010

Estimated economic value: $2,885,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Unified power format annotated RTL image recognition to accelerate low power ver2025
Identifying glitches and levels in mixed-signal waveforms2025
Low-power static signoff verification from within an implementation tool2024
Transistor—level defect coverage and defect simulation2023
Automatic root cause analysis of complex static violations by static information2023
Implementing and verifying safety measures in a system design based on safety sp2023
On-the-fly computation of analog mixed-signal (AMS) measurements2023
Analog mixed-signal assertion-based checker system2022
Machine learning (ML)-based static verification for derived hardware-design elem2022
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