polito.it
Politecnico di Torino (logo)

Thesis by Raia, Gaetano Maria

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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.