| KEYWORD |
Evolutionary test-set generation
Parole chiave EVOLUTIONARY ALGORITHMS, HW/SW CODESIGN
Riferimenti EDGAR ERNESTO SANCHEZ SANCHEZ, GIOVANNI SQUILLERO
Gruppi di ricerca ELECTRONIC CAD & RELIABILITY GROUP - CAD
Tipo tesi RESEARCH, INNOVATIVE
Descrizione The goal of the thesis is to automatize the process of stimuli generation for semi-formal verification expliting an evolutionary algorithm, in a hw/sw co-design environment. The thesis will be in collaboration with STM Products (Verona).
Scadenza validita proposta 31/12/2016
PROPONI LA TUA CANDIDATURA