Navigation

Springe zum Hauptinhalt
Universitätsbibliothek
Universitätsbibliographie

Eintrag in der Universitätsbibliographie der TU Chemnitz


Schott, Christian ; Rößler, Marko* ; Heinkel, Ulrich

Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese

Process of assertion based verification in High-Level-Synthesis


Universität: Technische Universität Chemnitz
Institut: Professur Schaltkreis- und Systementwurf
Dokumentart: Konferenzbeitrag, referiert
ISBN/ISSN: 9783000488894
URL/URN: http://nbn-resolving.de/urn:nbn:de:101:1-201503138427
Quelle: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2015, 3. bis 4. März 2015, Chemnitz, S. 5-13
Freie Schlagwörter (Englisch): high level synthesis , verification , assertion

 

Presseartikel

Soziale Medien

Verbinde dich mit uns: