Seminář UPSY - Čekan O: Principy generování verifikačních stimulů

V prezentaci shrnu dosaženou práci za uplynulé 2 roky doktorského studia a představím budoucí plán prací, který se orientuje převážně na generování programů pro procesory. Popis těchto programů plánuji řešit pomocí již existujícího jazyka.