KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Eisenbiegler, Dirk; Blumenroehr, Christian; Kumar, Ramayya


Volltext §
DOI: 10.5445/IR/339396
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Publikationsjahr 1996
Sprache Englisch
Identifikator ISBN: 3-540-61587-3
urn:nbn:de:swb:90-AAA3393960
KITopen-ID: 339396
Erschienen in Theorem proving in higher order logics. TPHOLs '96. Ed.: J. von Wright
Verlag Springer-Verlag
Seiten 157-172
Serie Lecture notes in computer science ; 1125
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page