Zusammenfassung
Vor dem Hintergrund der vielfach erhobenen Forderung nach der systematischen Entwicklung von Rechnern als eine ingenieurwissenschaftliche Disziplin, stellt die Simulation der mit Hilfe geeigneter Hardware-Beschreibungssprachen formal erfaßten funktionellen sowie strukturellen Eigenschaften digitaler Schaltwerke einen wichtigen Beitrag für die rechnergestützte Verifikation bzw. Falsifikation von System- Konzeptionen dar.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
Brendel W, Fan ZG, Klar R, Schmielau W, ERES 82 Arbeitsberichte des IMMD, Erlangen, Vol. 15, No. 12 (Sept.1982)
Gulden Stefan, Erweiterungen von ERES für hierarchische Modellierungen. Diplomarbeit, Univ. Erlangen, Informatik V II, Nov. 1983
R Gardill, HF Jordan, R Klar, “A CHDL Description of Semisynchronous Networks”, Univ. Erlangen (1977).
R Gardill, W Händler, H Hessling, R Klar, P Spies: “ERES — Eine nichtprozedurale Rechnerentwurfssprache mit präziser Zeitbeschreibung”, vol. 10, no. 15, Univ. Erlangen IMMD (1977).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gulden, S., Klar, R. (1984). SIMULATION ASYNCHRONER KOPPLUNGSVORGÄNGE zwischen in sich SYNCHRONEN TEILSTRUKTUREN DIGITALER RECHENSYSTEME in der RECHNERENTWURFSSPRACHE ERES. In: Breitenecker, F., Kleinbert, W. (eds) Simulationstechnik. Informatik — Fachberichte, vol 85. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69706-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-69706-7_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13393-3
Online ISBN: 978-3-642-69706-7
eBook Packages: Springer Book Archive