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), 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:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Finder, Alexander	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Witte, Jan-Philipp	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Fey, Görschwin	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

2013

Referierte Publikation:

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

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:

10 Jul 2023 12:38

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags