Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › System and method for abstraction refinement verification

System and method for abstraction refinement verification

US Patent 7661082 · Granted Feb 9, 2010

Estimated economic value: $4,451,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
Method and system for design verification using proof-based abstraction2008
Method and system for design verification using proof-based abstraction2008
Method and system for design verification using proof-partitioning2005