Method of verification of a finite state sequential machine...

Details Method of verification of a finite state sequential machine... Method of verification of a finite state sequential machine...

G - Physics

06

F

G06F 17/10 (2006.01) G06F 17/50 (2006.01)

Patent

CA 2132691

The method of computing the reverse image of the transition function .DELTA.(.delta.,.delta.') of a product finite state machine (PFSM) : .DELTA.-1(E n-1) from the set of n-1 equivalent states comprises the steps of (a) constructing in a canonical way, from the BDD of the graph of the equivalence relation E n-1, the BDD of the graph of a total function from S into S, named cross-section and denoted C(E n-1), (b) constructing from the cross-section and vector .delta. a new vector .delta.n-1= C(E n-1) o .delta., and (c) computing the equivalent pairs of states with respect to the vector .delta.n-1 to have the pairs of (~x.DELTA.-1(E n-1)).

Affiliated with

Also associated with

Rating

Method of verification of a finite state sequential machine... 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 of verification of a finite state sequential machine..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of verification of a finite state sequential machine... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1705983