Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › SAT solver based on interpretation and truth table analysis

SAT solver based on interpretation and truth table analysis

US Patent 11232174 · Granted Jan 25, 2022

Estimated economic value: $79,702,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

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
Unified functional coverage and synthesis flow for formal verification and emula2021
Method and system for emulation clock tree reduction2021
Efficient realization of coverage collection in emulation2021
Force/release support in emulation and formal verification2020