Lock, Th. ; Mendler, Michael ; Mutz, M.:
Combined formal post- and presynthesis verification in high level synthesis
.
In: Gopalakrishnan, G. ; Windley, Ph. (Hrsg.) : International Conference on Formal Methods in Computer-Aided Design (FMCAD '98).
Berlin u.a. : Springer, 1998, (LNCS Bd. 1522), S. 222-236.
Institution: Professur für Grundlagen der Informatik
|
|