Giacomo Spinello
Flusso di lavoro per la verifica di dispositivi DSP progettati in C++ per High-Level Synthesis = Workflow for verifcation of DSP designed in C++ for High-Level Synthesis.
Rel. Maurizio Martina, Guido Masera. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2022
Abstract
In questa tesi si presenta la realizzazione di un flusso di lavoro che si proponga di verificare il DUT (Design Under Test) dal punto di vista funzionale. Lungo la trattazione, per verifica funzionale si intenderà il procedimento tramite il quale dimostrare la correttezza del funzionamento del dispositivo rispetto alle specifiche. Il flusso di lavoro è inteso come un insieme di operazioni, una prassi, che l'utente seguirà per sottoporre il DUT di interesse al processo di verifica funzionale. Tale prassi è da considerarsi, infatti, all'interno di un contesto lavorativo di più persone con la necessità di verificare dispositivi diversi. Il flusso sarà il punto di partenza di ogni processo di verifica e può essere schematizzato nei seguenti passaggi: 1) randomizzazione dei vettori in ingresso al DUT, 2) simulazioni multiple del DUT, 3) raccolta dei risultati, creazione di un report finale e rappresentazione della copertura funzionale (Functional Coverage in inglese).
La categoria di DUT per cui è stato pensato il flusso è quella dei dispositivi DSP (Digital Signal Processing) descritti in C++ la cui sintesi RTL (Register-Transfer Level) è affidata ad un programma di sintesi HLS (High-Level Synthesis)
Relatori
Anno Accademico
Tipo di pubblicazione
Numero di pagine
Informazioni aggiuntive
Corso di laurea
Classe di laurea
Aziende collaboratrici
URI
![]() |
Modifica (riservato agli operatori) |
