Lock, Th. ; Mendler, Michael ; Mutz, M.:
Äquivalenz von annotierten Kontrollflußgraphen zur Darstellung von HLS-Ein- und -Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren
.
In: Mutz, M. ; Lange, N. (Hrsg.) : GI/ITG/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.
Braunschweig : Shaker, 1999, S. 51-60.
Institution: Professur für Grundlagen der Informatik
|
|