Envoyer par SMS: Automatický návrh viacstupňových bezhazardných logických kombinačných obvodov