Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Force/release support in emulation and formal verification

Force/release support in emulation and formal verification

US Patent 10579760 · Granted Mar 3, 2020

Estimated economic value: $35,668,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Regression testing based on overall confidence estimating2023
On-the-fly computation of analog mixed-signal (AMS) measurements2023
Analog mixed-signal assertion-based checker system2022
Detecting timing violations in emulation using field programmable gate array (FP2022
Detecting timing violations in emulation using field programmable gate array (FP2022
SAT solver based on interpretation and truth table analysis2022
Combinatorial and sequential logic compaction in electronic circuit design emula2022
Unified functional coverage and synthesis flow for formal verification and emula2021
Method and system for emulation clock tree reduction2021
Method and system for emulation clock tree reduction2021
Dedicated reconfigurable IP for emulation-based power estimation2021
Speeding matching search of hierarchical name structures2021