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.
|