Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Formal verification coverage metrics for circuit design properties

Formal verification coverage metrics for circuit design properties

US Patent 9177089 · Granted Nov 3, 2015

Estimated economic value: $9,712,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
System for multi-modality mismatch determination2025
Spanned virtual disk initialization with dynamic number of storage controllers2025
System to determine compact representation of data2025
Glass interposer optical resonator device and method2025
System for single image multimodal biometric recognition2024
Methods and systems for alkylate production involving a multi-zone alkylation re2024
Electronic device for automated user identification2024
System for training neural network using ordered classes2024
System for training embedding network2023
Dynamic superframe slotting2023
System using multimodal decorrelated embedding model2023