Thomas Lock

Publication Activity (10 Years)

Years Active: 1998-1999
Publications (10 Years): 0

Publications

Thomas Lock, Michael Mendler
Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren. MBMV (1999)
Thomas Lock, Michael Mendler
Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren. MBMV (1998)
Thomas Lock, Michael Mendler, Matthias Mutz
Combined Formal Post- and Presynthesis Verification in High Level Synthesis. FMCAD (1998)