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