Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system for automata-based approach to state reachability of interacting extended finite state machines

Method and system for automata-based approach to state reachability of interacting extended finite state machines

US Patent 6059837 · Granted May 9, 2000

Estimated economic value: $35,613,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Method for modeling an HDL design using symbolic simulation2012
Multi-mode redundancy removal2012
Integrating a boolean SAT solver into a router2011
Phase abstraction for formal verification2011
Phase abstraction for formal verification2008
Method and apparatus for solving constraints2007
Latch modeling technique for formal verification2007
Method and apparatus for performing generator-based verification2006
Method and apparatus for solving constraints2006
Method and apparatus for formally constraining random simulation2006
Method and apparatus for formally constraining random simulation2006
Parallel tables for data model with inheritance1995