KIT | KIT-Bibliothek | Impressum | Datenschutz

A flowgraph semantics of VHDL: toward a VHDL verification workbench in HOL

Reetz, Ralf; Kropf, Thomas



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Sonderforschungsbereich 358 (SFB 358)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 312295
Erscheinungsvermerk Formal meth. in syst. des. 7 (1995) H. 1/2 S. 73-100.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page