Automatický návrh logických kombinačných obvodov TANT - Velecký, Michal, 1983- (STU v Bratislave FIIT, 2007)