Text this: Detekcia a oprava sémantických chýb v kóde v HDL