Describir: Automatický návrh viacstupňových logických kombimačných obvodov