Vizualizácia Verilog modelov digitálnych systémov - Nosáľ, Michal, 1986- (STU v Bratislave FIIT, 2010)