Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Determining large-scale finite state machines using constraint relaxation

Determining large-scale finite state machines using constraint relaxation

US Patent 8903699 · Granted Dec 2, 2014

Estimated economic value: $2,921,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

System and method for stopping integrated circuit simulation2016
Dynamically adjusting speed versus accuracy of computer platform simulation2014
Interface converter for unified view of multiple computer system simulations2014
Method for dynamically adjusting speed versus accuracy of computer platform simu2013
Large scale finite state machines2013
Determining large-scale finite state machines using constraint relaxation2012
Large scale finite state machines2010
Method and system for dynamically adjusting speed versus accuracy of computer pl2010
Interface converter for unified view of multiple computer system simulations2010