Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Toggle equivalence preserving logic synthesis

Toggle equivalence preserving logic synthesis

US Patent 7600211 · Granted Oct 6, 2009

Estimated economic value: $8,064,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
Systems, methods, and apparatus to perform logic synthesis preserving high-level2008
Method and system for solving satisfiability problems2008