Logo Politecnico di Torino
ITEN
WebThesis

Automated Hardware Verification Verification Attribute Generation from Multi-Source Specifications

Samuele Neyroz

Automated Hardware Verification Verification Attribute Generation from Multi-Source Specifications.

Rel. Maurizio Martina. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2026