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 |
