Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Temporal decomposition for design and verification

Temporal decomposition for design and verification

US Patent 7900173 · Granted Mar 1, 2011

Estimated economic value: $5,144,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
Apparatus with general numeric backtracking algorithm for solving satisfiability2014
Optimizing integrated circuit design through use of sequential timing informatio2013
Temporal decomposition for design and verification2013
Temporal decomposition for design and verification2013
Temporal decomposition for design and verification2013