Christian Schott, Marko Rößler, Ulrich Heinkel. Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese. In Ulrich Heinkel, Daniel Kriesten, Marko Rößler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. pages 5-13, Sächsische Landesbibliothek, 2015.
Abstract is missing.