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