Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Systems, methods, and apparatus to perform logic synthesis preserving high-level specification

Systems, methods, and apparatus to perform logic synthesis preserving high-level specification

US Patent 7380226 · Granted May 27, 2008

Estimated economic value: $15,274,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Quantifier elimination by dependency sequents2013
Method and mechanism for performing simulation off resolution proof2010
Method and mechanism for using systematic local search for SAT solving2009
Toggle equivalence preserving logic synthesis2009
Method and system for solving satisfiability problems2008