VHDL Visualizer: HDL Model Visualization with Simulation-Based Verification - Macko, Dominik, 1988-; Jelemenská, Katarína, 1962-