KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA3393960

Implementation issues about the embedding of existing high level synthesis algorithms in HOL

Eisenbiegler, Dirk; Blumenroehr, Christian; Kumar, Ramayya



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator ISBN: 3-540-61587-3
KITopen ID: 339396
Erschienen in Theorem proving in higher order logics. TPHOLs '96. Ed.: J. von Wright
Verlag Springer, Berlin
Seiten 157-172
Serie Lecture notes in computer science ; 1125
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page