Approximate high-level synthesis using Taffo

This thesis contains the results of the integration of Taffo and VitisHLS. This integration allows performing Approximate High-Level Synthesis in order to have a more efficient hardware design using Taffo to perform float to fixed autotuning. This integration is allowed by the fact that both the tools are based on LLVM. Additionally, in this project was proven that the hardware synthesized by this new tool has a lower latency on executing compute intensive kernels than the equivalent one using plain VitisHLS. These results were proven on the PolyBenchC benchmarking suite which contains important kernels for machine learning and high performance computing.

Questa Tesi contiene i risultati dell’integrazione di Taffo e VitisHLS. Questa integrazione permette di eseguire "Approximate High-Level Synthesis" per avere un design dell’ hardware più efficiente grazie all’abilità di Taffo di eseguire "float to fixed autotuning". Questa integrazione è resa possibile dal fatto che i due software sono entrambi basati su LLVM. In oltre, in questo progetto viene provato che l’hardware sintetizzato da questo nuovo strumento ha una latenza minore nell’esecuzione di algoritmi computazionalmente inten- sivi rispetto al semplice utilizzo di VitisHLS. Questi risultati sono stati ottenuti usando PolyBenchC, una "benchmarking suite" che contiene importanti algoritmi di "machine learning" e "high performance computing".