Algoritmus na porovnávanie VHDL kódov - Mikuš, Martin, 1990- (STU v Bratislave FIIT, 2013)