EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (416 KB) Eisenbiegler.pdf2.pdf (226 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA2937952
Titel Formally embedding existing high level synthesis algorithms
Autor Eisenbiegler, Dirk
Kumar, Ramayya
Institution Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erschienen in Correct hardware design and verification methods. CHARME '95. Ed.: P.E. Camurati
Verlag: Springer Verl., Berlin
Jahr: 1995
ISBN: 3-540-60385-9
Seitenangabe: 71 - 83

Serie:
Lecture notes in computer science ; 987
ISSN: 0302-9743