Versenden
Drucken
Finder, Alexander und Witte, Jan-Philipp und Fey, Görschwin (2013) Debugging HDL designs based on functional equivalences with high-level specifications. IEEE Int’l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 2013-04-08 - 2013-04-10, Karlovy Vary. doi: 10.1109/DDECS.2013.6549789.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: http://dx.doi.org/10.1109/DDECS.2013.6549789
| elib-URL des Eintrags: | https://elib.dlr.de/86958/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||
| Titel: | Debugging HDL designs based on functional equivalences with high-level specifications | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | 2013 | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Nein | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||
| DOI: | 10.1109/DDECS.2013.6549789 | ||||||||||||||||
| Seitenbereich: | Seiten 60-65 | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | Hardware-Entwurf, Systembeschreibung, Äquivalenzprüfung, Integrierte Schaltkreise | ||||||||||||||||
| Veranstaltungstitel: | IEEE Int’l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) | ||||||||||||||||
| Veranstaltungsort: | Karlovy Vary | ||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
| Veranstaltungsbeginn: | 8 April 2013 | ||||||||||||||||
| Veranstaltungsende: | 10 April 2013 | ||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||
| HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||
| DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Core Avionics (alt) | ||||||||||||||||
| Standort: | Bremen | ||||||||||||||||
| Institute & Einrichtungen: | Institut für Raumfahrtsysteme > Avioniksysteme | ||||||||||||||||
| Hinterlegt von: | Fey, Görschwin | ||||||||||||||||
| Hinterlegt am: | 08 Jan 2014 12:47 | ||||||||||||||||
| Letzte Änderung: | 05 Jun 2024 08:09 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
