polito.it
Politecnico di Torino (logo)

Learning process to select relevant subset of parameters in CPU verification

Giuseppe Intilla

Learning process to select relevant subset of parameters in CPU verification.

Rel. Andrea Bottino. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Matematica, 2023

Abstract:

Verification is a fundamental stage in the development of CPUs, ensuring their accurate and reliable functionality. It involves subjecting CPUs to a battery of tests and scenarios, simulating real-world usage to identify and rectify potential design flaws, functional discrepancies, and performance bottlenecks. In theory, the verification process should generate all possible scenarios to totally verify the CPU behaviour. In reality, the physical limitations and the limited amount of time do not allow to do that. For this reason the verification team should cleverly select some configurations to generate only representative subsets of scenario. The goal of this project is to develop an automatic process to extract a subset of relevant parameters and good configurations that impact given metrics in the verification environment.

Relatori: Andrea Bottino
Anno accademico: 2023/24
Tipo di pubblicazione: Elettronica
Numero di pagine: 61
Informazioni aggiuntive: Tesi secretata. Fulltext non presente
Soggetti:
Corso di laurea: Corso di laurea magistrale in Ingegneria Matematica
Classe di laurea: Nuovo ordinamento > Laurea magistrale > LM-44 - MODELLISTICA MATEMATICO-FISICA PER L'INGEGNERIA
Ente in cotutela: INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE (INPG) - ENSIMAG (FRANCIA)
Aziende collaboratrici: ARM France SAS
URI: http://webthesis.biblio.polito.it/id/eprint/28154
Modifica (riservato agli operatori) Modifica (riservato agli operatori)