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 |
