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

Method and system for design verification using proof-based abstraction

US Patent 7406405 · Granted Jul 29, 2008

Estimated economic value: $23,410,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
System and method for abstraction refinement verification2010
Method and system for design verification using proof-partitioning2005