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

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

Seitenaufrufe: 22
seit 13.05.2018

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	2001
Sprache	Englisch
Identifikator	KITopen-ID: 33522001
Erscheinungsvermerk	In: Design Automation Conference, DAC 01, Las Vegas, Nev. 2001.