In: Automatisierungstechnische Praxis - atp, Vol. 33, No. 10, pages 373-377. 1991. In German.
Also in: Proceedings of the 5th Jerusalem Conference on Information Technology (JCIT), 22-25 Oct 1990, Jerusalem, Israel, pages 184-190. Los Alamitos: IEEE Comput. Soc, 1991. In German.
Abstract: Eine Methodik zum durchgängigen rechnerunterstützten Entwurf komplexer Steuerungen unter Verwendung der bekannten Entwurfswerkzeuge KOSIM und MIPRE wird am Beispiel des Entwurfs einer Pipeline-Steuerung für einen Prozessor vorgeführt. Die Steuerung wird als Petri-Netz gewählt. Die Entwurfsschritte sind Fixierung der Struktur und des Grundtimings der Steuerung und für den Controller die Erarbeitung einer formalisierten Beschreibung, die KOSIM-Simulation, die MIPRE-Analyse und der MIPRE-Entwurf sowie die Korrektur der Steuerung. Die Schritte werden beschrieben und an Beispielen erlaeutert. Die vorgestellte Methodik ist nicht auf den Einsatz beim Entwurf integrierter Schaltkreise beschränkt. A prototyping tool that implements the control flow of a parallel application is presented.