KIT | KIT-Bibliothek | Impressum | Datenschutz

ABC-VHDL. A synchronous VHDL subset with a formal semantics in HOL

Eisenbiegler, Dirk; Kumar, Ramayya

Open Access Logo


Volltext §
DOI: 10.5445/IR/291395
Cover der Publikation
Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buch
Publikationsjahr 1995
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA2913957
KITopen-ID: 291395
Verlag Universität Karlsruhe (TH)
Umfang 46 S.
Serie FZI-Bericht / Forschungszentrum Informatik an der Universität Karlsruhe ; 1995,8
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page