@ -143,14 +143,11 @@ On programme la carte et on vérifie le fonctionnement en changeant l'état des
Afin de détecter l'appui sur un bouton poussoir, on réalise un traitement de l'entrée associée. En effet il faut d'abord éliminer un éventuel bruit créé par les rebonds créés lors du changement de l'état du bouton et synchroniser le signal avec celui de l'horloge afin d'obtenir le signal \verb|BPS|. Cette partie est réalisée avec une bascule D (on suppose donc que le bruit dure moins d'une période d'horloge). On souhaite ensuite passer la sortie à l'état haut pendant une période d'horloge sur front montant de \verb|BPS|. On se propose de synthétiser cette partie avec une machine de \bsc{Moore} puis avec une machine de \bsc{Mealy}.
On remarquera que du fait du câblage des boutons (figure \ref{fig:elecbouton}), un appui sur un bouton se traduira par le passage à l'état bas de l'entrée correspondante.
NOTE : ça apparaît pas dans les schémas qui suivent, il faut aller vérifier que ça y est dans les fichiers de simulation
\paragraph{Note :} On remarquera que du fait du câblage des boutons (figure \ref{fig:elecbouton}), un appui sur un bouton se traduira par le passage à l'état bas de l'entrée correspondante. Par soucis de simplicité, les calculs de cette partie se font en supposant le fonctionnement inversé. Ce n'est pas un problème puisqu'il suffit d'ajouter une porte inverseuse entre le bouton et l'entrée de notre système pour corriger cela. Les schémas présentés en fin de section auront donc une porte inverseuse en entrée.
Enfin, on vérifie que le fonctionnement est celui attendu par simulation, ce que montrent les figures \ref{fig:schemaBpMoore} et \ref{fig:chronoBpMoore}.
Enfin, on vérifie que le fonctionnement est celui attendu par simulation, ce que montrent les figures \ref{fig:schemaBpMoore}(présenté avec la porte inverseuse en entrée pour tenir compte du câblage du bouton) et \ref{fig:chronoBpMoore}.
Enfin, on vérifie que le fonctionnement est celui attendu par simulation, ce que montrent les figures \ref{fig:schemaBpMealy} et \ref{fig:chronoBpMealy}.
Enfin, on vérifie que le fonctionnement est celui attendu par simulation, ce que montrent les figures \ref{fig:schemaBpMealy}(présenté avec la porte inverseuse en entrée pour tenir compte du câblage du bouton) et \ref{fig:chronoBpMealy}.