Automatický generátor funkčných testov procesorov - Ignačák, Miroslav, 1990- (STU v Bratislave FIIT, 2014)