KIT | KIT-Bibliothek | Impressum

A framework for object oriented hardware specification, verification, and synthesis

Kuhn, Tommy; Oppold, T.; Winterholer, M.; Rosenstiel, Wolfgang; Edwards, M.; Kashai, Y.



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Jahr 2001
Sprache Englisch
Identifikator KITopen ID: 33522001
Erscheinungsvermerk In: Design Automation Conference, DAC 01, Las Vegas, Nev. 2001.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page