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