Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system for verifying circuit designs through propagation of assertions

Method and system for verifying circuit designs through propagation of assertions

US Patent 7444274 · Granted Oct 28, 2008

Estimated economic value: $13,703,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
System, method, and computer program product for analyzing X-propagation simulat2022
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
Debugging failures in X-propagation logic circuit simulation2019
Weighted experience website performance score2019
Modeling lifetime of hybrid software application using application manifest2019