Invia SMS: Detekcia a oprava sémantických chýb v kóde v HDL