Finite state machine transition analyzer

Details Finite state machine transition analyzer Finite state machine transition analyzer

1994-01-31

1996-05-14

Zanelli, Michael

Boots, shoes, and leggings

364490, G06F 1900

Patent

active

055174329

ABSTRACT:
A state machine synthesis tool, a state table script generator, a state table extraction tool, a simulation driver, a simulator, and an interactive reporter, are provided to verify the design and implementation of finite state machines (FSMs). The synthesis tool takes a formal specification of a logic circuit where FSMs are embedded as input, and generates a gate level specification of the logic circuit. The state table script generator takes the same formal specification of the logic circuit as input, and generates state table extraction command files for the FSMs. The state table extraction tool takes the gate level specification of the logic circuit and the state table extraction command files of the FSMs as inputs, and generates state tables for the FSMs. The simulation driver takes the state tables of the FSMs as inputs, and in cooperation with the simulator, which takes the gate level specification of the logic circuit and a number of functional vectors as inputs, simulates the logic circuit and generates simulation results of the FSMs. Finally, the interactive reporter takes the simulation results of the FSMs, the state tables and user commands as inputs, and generates the analysis results that allow verification of the design and implementation of the FSMs.

REFERENCES:
patent: 5161115 (1992-11-01), Teshima et al.
patent: 5220512 (1993-06-01), Watkins et al.
patent: 5222030 (1993-06-01), Dangelo et al.
patent: 5228040 (1993-07-01), Agrawal et al.
patent: 5461573 (1995-10-01), Chakradhar et al.

Affiliated with

Also associated with

Rating

Finite state machine transition analyzer does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Finite state machine transition analyzer, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Finite state machine transition analyzer will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1901590