Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Apparatus with general numeric backtracking algorithm for solving satisfiability problems to verify functionality of circuits and software

Apparatus with general numeric backtracking algorithm for solving satisfiability problems to verify functionality of circuits and software

US Patent 8656330 · Granted Feb 18, 2014

Estimated economic value: $4,534,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Using information flow for security aware design and analysis2025
Software and hardware emulation system2020
Static analysis of computer code to determine impact of change to a code compone2017
Prioritization of tests of computer program code2017
Policy evaluation based upon dynamic observation, static analysis and code chang2016
Static analysis of computer code to determine impact of change to a code compone2015
General numeric backtracking algorithm for solving satifiability problems to ver2014
General numeric backtracking algorithm for solving satifiability problems to ver2014
General numeric backtracking algorithm for solving satifiability problems to ver2014
Optimizing integrated circuit design through use of sequential timing informatio2013
Method and system for implementing top down design and verification of an electr2013
Temporal decomposition for design and verification2013