KIT | KIT-Bibliothek | Impressum | Datenschutz

Formally embedding existing high level synthesis algorithms

Eisenbiegler, Dirk; Kumar, Ramayya


Volltext §
DOI: 10.5445/IR/293795
Cover der Publikation
Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Deutsch
Identifikator ISBN: 3-540-60385-9
ISSN: 0302-9743
urn:nbn:de:swb:90-AAA2937952
KITopen-ID: 293795
Erschienen in Correct hardware design and verification methods. CHARME '95. Ed.: P.E. Camurati
Verlag Springer Verlag
Seiten 71 - 83
Serie Lecture notes in computer science ; 987
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page