KIT | KIT-Bibliothek | Impressum | Datenschutz

A flowgraph semantics of VHDL: a basis for hardware verification with VHDL

Reetz, Ralf; Kropf, Thomas



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Sonderforschungsbereich 358 (SFB 358)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 312495
Erscheinungsvermerk In: Formal semantics for VHDL. Ed.: C. Delgado Kloos. Boston, Mass. 1995. S. 205-238. (The Kluwer international series in engineering and computer science. 307.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page