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 8265920 · Granted Sep 11, 2012

Estimated economic value: $2,907,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

System and method for stopping integrated circuit simulation2016
Determining large-scale finite state machines using constraint relaxation2014
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
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