Une façon de surmonter la machine d'état ne simule pas dans winsim est de changer les équations formées lorsque wincupl respecte le code. Pour une machine d'état, wincupl conforme dans une logique de booleon sous la forme de flip-flops. Ces équations ne sont pas parfaits et dans le cas du code précédent peut montrer comment des erreurs peuvent se former. 'OR'ing ou «AND'ing le terme« résolution »à chaque équation peut satisfaire que les pistes de programme et simule correctement. Dans le cas de l'exemple précédent à l'état initial S0 est de 0.110.000 a, b, c, d, e, f, g.
Pour les termes qui sont '0' (a, d, e, f, g) Vous et (PAS (RES)) avec le reste de l'équation, tandis que pour 'b' et 'c' vous 'ou' RES avec le .! repos pour l'équation
ad = (__________) & res; BD = (__________) # res; cd = (__________) # res; dd = (__________) & res;! ed = (__________) & res;! fd = (__________) & res;! gd = (__________) & res;!
Si vous utilisez les équations de ce genre, «le nombre de champ ', les définitions de l'Etat et de la machine d'état ne sont pas nécessaire dans le code.
Notez que le (__________) partie dans le code ci-dessus se trouve dans un rapport de compilation dans wincupl. Changement de la configuration pour produire des équations compilation fait cela (Ce sont très long et en ajoutant le terme supplémentaire, il peut être trop long. Pour cette autre broche est nécessaire, qui décompose les longues équations en équations 2 petites). Ou une autre façon de trouver les équations est de résoudre manuellement.
Un exemple de cela étant manuellement résoudre est indiqué ci-dessous et est beaucoup plus petite que les équations produites par wincupl
annonce = & res. ((C & F # E & F & G)!!!!);! Bd = f # A & C & F # res;! cd = g & #res! (b & c & e!); dd = (! d & c & b # E & F & G # B & C!!) & res;! ed = (! g # b et c) et res;! fd = (g & ! (! (B & C) # (B & C)!!)) et la chose;! gd = (b # c) & res;
Retour à la page précédente