Verifica di un blocco di memoria non volatile (flash) utilizzando strumenti di simulazione mista (analog + digitale). = Verification of a non-volatile memory block (flash) using mixed simulation tools (analog + digital).

Il blocco di memoria eSTM `e costituito da blocchi secondari digitali e analogici. I blocchi secondari analogici possono essere descritti attraverso modelli per accelerare la simulazione mantenendo una precisione ragionevole. Questo lavoro intende presentare i miglioramenti apportati ai modelli esistenti di pompe di carica aggiungendo informazioni sul loro consumo di correnti di alimentazione al fine di ottimizzare il compromesso tra tempo e precisione.