Seminář UPSY - Košař V.: Redukce využitých zdrojů FPGA pro vyhledávání vzorů pomocí relace simulace