Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system for design verification using proof-partitioning

Method and system for design verification using proof-partitioning

US Patent 6944838 · Granted Sep 13, 2005

Estimated economic value: $11,365,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

General numeric backtracking algorithm for solving satifiability problems to ver2014
Apparatus with general numeric backtracking algorithm for solving satisfiability2014
Method and system for implementing top down design and verification of an electr2013
Method and system for verifying electronic designs having software components2012
Method and system for implementing top down design and verification of an electr2012
Method and system for implementing top down design and verification of an electr2011
System and method for abstraction refinement verification2010
Method and system for design verification using proof-based abstraction2008