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

General numeric backtracking algorithm for solving satifiability problems to verify functionality of circuits and software

US Patent 8862439 · Granted Oct 14, 2014

Estimated economic value: $5,891,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
Apparatus with general numeric backtracking algorithm for solving satisfiability2014
Apparatus with general numeric backtracking algorithm for solving satisfiability2014
Apparatus with general numeric backtracking algorithm for solving satisfiability2014
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