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 |
Drucken
Impressum