Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › System, method, and computer program product for improving coverage accuracy in formal verification

System, method, and computer program product for improving coverage accuracy in formal verification

US Patent 10546083 · Granted Jan 28, 2020

Estimated economic value: $11,530,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

User interface for formal verification of computer instructions for compatibilit2025
Dynamic power efficient low power flip-flop2025
Non-soap detergent bar compositions2025
Systems and methods for enabling precision time protocol over a link aggregation2025
Power efficient retention flip flop circuit2025
Interest-based conversational recommendation system2025
System for data analytics using a local device and a cloud computing platform2024
Universally trained model for detecting objects using common class sensor device2024
Soap bar composition for high water structuring and binding2024
Providing concise data for analyzing checker completeness2024
Providing concise data for analyzing checker completeness2024
Clock multiplexer circuitry with glitch reduction2023