KIT | KIT-Bibliothek | Impressum | Datenschutz

Verifying high-level synthesis results using a partial order based model

Hansen, Cordula; Nascimento, Francisco; Rosenstiel, Wolfgang



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 1998
Sprache Englisch
Identifikator KITopen-ID: 310798
Erscheinungsvermerk In: High-Level Design Validation and Test Workshop '98, La Jolla, CA 1998.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page