Tagir Rakipov. Automated generation of RTL designs based on formal descriptions using Chisel HDL. Rel. Matteo Sonza Reorda, Michael Schwarz. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024