Bonjour,
je developppe atuellement un soft basé sur plusieurs machines d'états, les transitions etant constituées des etats des autres machines et de differents variables et horloges. Je cherche un soft permettant de tester tout ca, si possible freeware, ou mieux, open source. L'idee est d'obtenir des chronogrammes, un peu comme ceux d'un soft pour developpement FPGA en simulation. C'est a dire en gros injecter des scenarii et voir ce que ca donne
Merci d'avance pour votre aide.
