Navigation

Springe zum Hauptinhalt
Universitätsbibliothek
Universitätsbibliographie

Eintrag in der Universitätsbibliographie der TU Chemnitz


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

Entwicklungen bei Assertion basierter Verifikation in der High-Level-Synthese

Trends in assertion based high-level synthesis verification


Universität: Technische Universität Chemnitz
Institut: Professur Schaltkreis- und Systementwurf
Dokumentart: Konferenzbeitrag, nicht referiert
ISBN/ISSN: 978-3-8396-1046-6
Quelle: DASS 2016, 10. und 11. Mai 2016, Cottbus, S.85-88. - Fraunhofer Verlag, 2016
Freie Schlagwörter (Englisch): high-level synthesis , assertion , verification

 

Presseartikel

Soziale Medien

Verbinde dich mit uns: