Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for debugging unreachable design targets detected by formal verification

Method for debugging unreachable design targets detected by formal verification

US Patent 8910099 · Granted Dec 9, 2014

Estimated economic value: $5,137,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Modified stacks for 3D NAND2025
System and method for beam tracking in a 5G new radio mmWave user equipment2024
Method of meta-data extraction from semi-structured documents2021
Utilizing artificial intelligence and machine learning models to reverse enginee2021
Apparatus and method using polar code for multiple input multiple output (MIMO) 2020
Modeling lifetime of hybrid software application using application manifest2020
Techniques for reconciliation of planned network with deployed network2019
Optimized execution order correlation with production listing order2019
Method for waveform based debugging for cover failures from formal verification2019
Weighted experience website performance score2019
Modeling lifetime of hybrid software application using application manifest2019
System, method, and computer program product for oscillating loop detection in f2019