| | 13 | |
| | 14 | Vous noterez que le automates sont codés en one-hot. Si vous avez déjà codé des automates, ce n’est probablement pas ce qu’on vous a appris. |
| | 15 | Ce codage est beaucoup plus performant lors de la synthèse, mais il y a un risque lors de l’écriture que votre description ne soit pas déterministe. |
| | 16 | En effet, la description est incomplète si vous n’avez aucun bit à 1 dans le registre d’état ou non orthogonal si vous avez plus d’un bit à 1 dans le registre d’état. |
| | 17 | On peut ajouter des `assert` qui vérifie que la somme de tous les bits du registre d’état vaut toujours `1`, mais ici, les `assert` ne sont pas acceptés par `vasy`. |
| | 18 | C’est donc à vous d’être vigilant. |
