Generating Proof Certificates in the Presence of Netlist Optimizations Duration: 01/09/2024 - 31/08/2025 Principal investigator(s): Gianpiero Cabodi Contract type: Commercial Research Structures DAUIN - Department of Control and Computer Engineering Partners SEMICONDUCTOR RESEARCH CORPORATION
