Seminář UPSY - Zachariášová M.: Optimalizácia verifikácie procesorov pomocou genetického algoritmu

V prezentácii stručne predstavím, akým spôsobom prebieha verifikácia procesorov v spoločnosti Codasip a aké verifikačné nástroje vyvinul môj tím za posledných 5 rokov. Ďalej ukážem nové výsledky môjho optimalizačného algoritmu, ktorý som navrhla v rámci mojej dizertačnej práce a ktoré práve spisujem do časopiseckej publikácie.