polito.it

Login

Webthesis
Libraries

Thesis by Raia, Gaetano Maria

Group by: Item Type | No Grouping

Number of items: 1.

Gaetano Maria Raia. Formal Verification Techniques to Check Functional Equivalence between High-Level C Models and RTL Implementations using Jasper C2RTL. Rel. Maurizio Martina. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2023

This list was generated on Tue Oct 15 19:37:15 2024 CEST.

Contacts