Detekcia a oprava sémantických chýb v kóde v HDL - Petričko, David (2024)