Formally embedding existing high level synthesis algorithms
| Zugehörige Institution(en) am KIT | Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität) FZI Forschungszentrum Informatik (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 |