Automatizované vyhodnocovanie HDL modelov - Gažík, Michal, 1987- (STU v Bratislave FIIT, 2012)