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