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