Matthias Mutz, Nikolaus Lange (Eds.):
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999.
Shaker 1999
Christian Blumenröhr: A Formal Approach to Specify and Synthesize at the System Level.
11-20
Bernd Stöhr, Utz G. Baitinger: Eine neue Methode zur Spezifikation von komplexen Steuerwerken unter der Randbedingung der Synthese und eines kurzen Entwurfszyklus.
21-30
Thomas Lock, Michael Mendler: Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren.
51-60
Matthias Mutz, Sebastian Steibl: Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks.
61-70
data released under the ODC-BY 1.0 license
