Zaslať SMS: Detekcia a animácia dynamických hazardov v logických kombinačných obvodoch