Hi, First of all, thanks to every one for your answers. I found them quite usefull. Sorry to insist with (perhaps) trivial questions, but 1) Is mandatory to have a signal which represents the next state of the fsm? As far I know about Alliance (what is nearly nothing), it seems it does, due to the 2-process limitation of fsm. 2) Should't be this signal in the sensitivity list of the process which accomplish the state transistions? 3) What does 'encoding' means (when calling syf)? Do this refer to the coding style? Encoding of the states? I did run syf with different encodings and no difference found (besides the name of the entity). If there is something to read where the answers are, please let me know (besides man pages, http://asim.lip6.fr/alliance/doc/). Thank you very much, Gonzalo Arana