Zaineb Khelifi. Top cell Verification and Automation of Analog Mixed-Signal Simulations. Rel. Carlo Ricciardi. Politecnico di Torino, Corso di laurea magistrale in Nanotechnologies For Icts (Nanotecnologie Per Le Ict), 2024