Funktionen des Pflichtenheftes als Digitalschaltung entwerfen und simulieren