Generovanie funkčných testov VLSI obvodov - Štroffek, Michal, 1985- (STU v Bratislave FIIT, 2011)