Detekcia a animácia statických hazardov v logických kombinačných obvodoch - Tkačov, Peter, 1987- (STU v Bratislave FIIT, 2010)