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.

Relators: Andrea Bottino
Academic year: 2023/24
Publication type: Electronic
Number of Pages: 61
Additional Information: Tesi secretata. Fulltext non presente
Subjects:
Corso di laurea: Corso di laurea magistrale in Ingegneria Matematica
Classe di laurea: New organization > Master science > LM-44 - MATHEMATICAL MODELLING FOR ENGINEERING
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
Modify record (reserved for operators) Modify record (reserved for operators)