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