Exploiting model-knowledge in high-level synthesis
Gespeichert in:
Veröffentlicht in: | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen |
---|---|
Weitere Verfasser: | , , , |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
2012
|
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
ISBN: | 383006201X 9783830062011 |
---|