polito.it

Login

Webthesis
Libraries

Thesis by Bori, Demetrio

Group by: Item Type | No Grouping

Number of items: 1.

Demetrio Bori. Model vs RTL : correlation beyond testing. Exploring the use of C vs RTL formal equivalence techinques for verification of CPU designs. Rel. Paolo Enrico Camurati. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2023

This list was generated on Mon May 13 17:31:32 2024 CEST.

Contacts