| KEYWORD |
Evolutionary test-set generation
keywords EVOLUTIONARY ALGORITHMS, HW/SW CODESIGN
Reference persons EDGAR ERNESTO SANCHEZ SANCHEZ, GIOVANNI SQUILLERO
Research Groups ELECTRONIC CAD & RELIABILITY GROUP - CAD
Thesis type RESEARCH, INNOVATIVE
Description 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).
Deadline 31/12/2016
PROPONI LA TUA CANDIDATURA