Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Constraint minimization method for formal verification

Constraint minimization method for formal verification

US Patent 8316332 · Granted Nov 20, 2012

Estimated economic value: $2,479,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