fsm − Finite State Machine representation.
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 AT asim DOT lip6 DOT fr
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 :
This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.