Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache MIMOLA

Es wird eine Methode angegeben, Digitalrechner mit Hilfe einer Programmiersprache systematisch zu entwerfen. Ausgangspunkt ist die Problemmenge, die mit Hilfe des Zielrechners bearbeitet werden soll. Der Entwurf erfolgt durch sequentielle Ubersetzung dieser Menge auf verschiedene Niveaus der Sprache. Nach jedem Ubersetzungsschritt erfolgt eine engere Definition des Zielrechners durch den Entwerfer, der von der Sprache Entscheidungshilfen erhalt. Am Ende des Prozesses ist der Entwurf vollstandig durch Deklarationen in der Sprache definiert, und die Problemmenge liegt in Form von Mikroprogrammen vor. Die Methode wird an einem Beispiel demonstriert.