Text this: Detekcia a animácia statických hazardov v logických kombinačných obvodoch