Describir: Funkčné generovanie testov procesorov