%==============================================================================
\section{Procédure de recette}
%==============================================================================

\begin{frame} \FT{Validation des résultats}
    \BI
	\o Une suite de tests semi-automatisée, d'après des calculs sur papier :
        \BI 
        \o comptage correct des hit/miss pour différentes configurations
        \o calcul du temps d'exécution estimé total
        \EI
    \o Comparaison des résultats avec unisim.
    \EI
\end{frame} %-------------------------------------------------------------------