Generating Proof Certificates in the Presence of Netlist Optimizations Durata: 01/09/2024 - 31/08/2025 Responsabile scientifico: Gianpiero Cabodi Tipo di contratto: Ricerca Commerciale Strutture coinvolte DAUIN - Dipartimento di Automatica e Informatica Partner SEMICONDUCTOR RESEARCH CORPORATION
