Tesi

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