elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Debugging HDL designs based on functional equivalences with high-level specifications

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:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Finder, AlexanderNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Witte, Jan-PhilippNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Fey, GörschwinNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
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

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.