I test sviluppati per la verifica di dispositivi digitali vengono gestiti da un software dedicato che si occupa
di compilare l’intero sistema, lanciare i singoli test sulla computer farm e collezionarne i risultati
(determinare il risultato come Pass/Fail, misura della coverage, ecc.).
E’ pratica comune quella di definire un file di configurazione secondo un formato supportato dal tool di
regressione, che specifica i test da lanciare, l’ordine e tutte le opzioni che necessitano.
La proposta del lavoro consiste nella definizione di un extra-layer nel flusso che esegue le regressioni per
la definizione della strategia di esecuzione dei test, che avrà come input i risultati delle regressioni
precedenti e produrrà come output il file di configurazione del tool di regressione.
Il file di configurazione sarà prodotto in base all’analisi dei risultati delle precedenti regressioni ed a
politiche definite dall’utente, ad esempio: 
Lista dei soli dei test che falliscono 
Lista dei test che falliscono ordinati dal più veloce al più lento o viceversa 
Lista ordinata a cominciare dai test che falliscono 
Lista ordinata a cominciare da un set di test che realizza una mini-regressione
Il candidato al termine del lavoro avrà acquisito le seguenti competenze: 
Linguaggio Systemverilog 
Metodologia UVM (UVM Community (accellera.org)) 
Makefile e comandi Linux 
Fondamenti di verifica digitale 
Python 
Algoritmi di Machine learning