Combined Formal Post- and Presynthesis Verification in High Level Synthesis. - Thomas Lock; Michael Mendler; Matthias Mutz (FMCAD, 1998)

Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren. - Thomas Lock; Michael Mendler (MBMV, 1998)

Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren. - Thomas Lock; Michael Mendler (MBMV, 1999)