TU Darmstadt / ULB / TUbiblio

Formale Verifikation automatisch generierter Pipelinesysteme durch symbolische Simulation

Ritter, Gerd ; Hinrichsen, H. ; Eveking, H. :
Formale Verifikation automatisch generierter Pipelinesysteme durch symbolische Simulation.
In: EIS'99: Entwurf integrierter Schaltkreise; Workshop <1999, Darmstadt>: Proceedings. - Darmstadt: GMD, 1999 . GMD , Darmstadt
[Konferenz- oder Workshop-Beitrag], (1999)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1999
Autor(en): Ritter, Gerd ; Hinrichsen, H. ; Eveking, H.
Titel: Formale Verifikation automatisch generierter Pipelinesysteme durch symbolische Simulation
Sprache: Deutsch
Reihe: EIS'99: Entwurf integrierter Schaltkreise; Workshop <1999, Darmstadt>: Proceedings. - Darmstadt: GMD, 1999
Ort: Darmstadt
Verlag: GMD
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:02
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen