Seminář UPSY - Šimková M.: Aplikácia evolučného výpočtu pre optimalizáciu funkčnej verifikácie.

Prezentácia predstaví dve témy týkajúce sa optimalizácie funkčnej verifikácie pomocou genetického algoritmu. Prvá téma sa venuje optimalizácii regresných testov získaných z procesu funkčnej verifikácie. Budú predvedené experimenty s aritmeticko-logickou jednotkou. Druhá téma sa venuje optimalizácii verifikácie riadenej pokrytím pre procesor typu RISC. Budú demonštrované najmä nové experimenty.