Alessandro Tempia Calvino. Implementation of Algorithms for Synthesis of Digital Circuits. Rel. Andrea Calimera. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2020