| FSM101(1) | ALLIANCE FSM LIBRARY | FSM101(1) |
NAME¶
fsm - Finite State Machine representation.ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France.Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr
DESCRIPTION¶
fsm is a library that enables to represent finite state machine.- Types :
fsmin_list - inputs of a FSM.
- fsmout_list
- - outputs of a FSM.
- fsmport_list
- - ports of a FSM.
- fsmlocout_list
- - state output assign.
- fsmtrans_list
- - transition of a FSM.
- fsmstate_list
- - state of a FSM.
- fsmstack_list
- - stack of a FSM.
- fsmfig_list
- - FSM figure.
- Functions :
- libFsm101.a :
BUG REPORT¶
This tool is under development at the ASIM department of the LIP6 laboratory.We need your feedback to improve documentation and tools.
| October 1, 1997 | ASIM/LIP6 |