Michelangelo Bartolomucci. Automating Safety Mechanisms insertion providing standard SIL compliance in digital circuits. Rel. Matteo Sonza Reorda, Riccardo Cantoro. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023