Method and system for automata-based approach to state reachabil

Details Method and system for automata-based approach to state reachabil Method and system for automata-based approach to state reachabil

1997-12-30

2000-05-09

Teska, Kevin J.

Data processing: structural design, modeling, simulation, and em

Emulation

Compatibility emulation

703 2, 703 20, 39550006, 714 25, G06F 944

Patent

active

060598379

ABSTRACT:
A method and system for an automata-based approach to state reachability of an interacting extended finite state machine. The present invention comprises a computer system having a processor, and a memory coupled to the processor via a bus, the memory containing computer readable instructions which when executed by the processor cause the processor to implement a process in accordance with the present invention. A digital system is modeled as an extended finite state machine. Automata operations are applied to the extended finite state machine to efficiently compute a set of reachable states from an initial state. The design of the system is verified by determining whether the set of reachable states includes an undesirable state.

REFERENCES:
patent: 5163016 (1992-11-01), Har'El et al.
patent: 5291427 (1994-03-01), Loyer et al.
patent: 5394347 (1995-02-01), Kita et al.
patent: 5513122 (1996-04-01), Cheng et al.
patent: 5594656 (1997-01-01), Tamisier
patent: 5615137 (1997-03-01), Holzmann et al.
patent: 5918037 (1999-06-01), Tremblay et al.
Ashar et al., "Boolean satisfiability and equivalence checking using general binary decision diagrams", IEEE, 1991, pp. 259-264.

Affiliated with

Also associated with

Rating

Method and system for automata-based approach to state reachabil does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and system for automata-based approach to state reachabil, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for automata-based approach to state reachabil will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1060233