Thesis

• 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, Master of science program in Electronic Engineering, 2022