Metodologia di test per macchine a stati finiti per riconoscimento gestuale in sensori MEMS = Testing methodology for MEMS Gesture Recognition Finite State Machine

L'attività di tesi verte sullo studio e sull'implementazione di una metodologia di test in ambito validazione per una funzione digitale avanzata presente nei sensori inerziali MEMS STMicroelectronics. Il blocco, basato sull'astrazione logica delle macchine a stati finiti (FSM), consente all'utilizzatore di programmare il riconoscimento di eventi (Gesture Recognition). L'attività è stata articolata in tre fasi: la realizzazione di un modello Python del blocco, lo sviluppo di una procedura di iniezione e comparazione di dati tra chip e modello e l'ideazione di una procedura di generazione pseudo-casuale di listati di istruzioni e stimoli di iniezione. Il lavoro è stato sviluppato e verificato comunicando direttamente con un dispositivo fisico e offre uno strumento di analisi delle problematiche di funzionamento del blocco FSM al team di validazione, ponendo le basi per sviluppi futuri in ambito di test di funzionalità digitali avanzate.