Tell a friend
Print
Finder, Alexander and Witte, Jan-Philipp and 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.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1109/DDECS.2013.6549789
| Item URL in elib: | https://elib.dlr.de/86958/ | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||
| Title: | Debugging HDL designs based on functional equivalences with high-level specifications | ||||||||||||
| Authors: |
| ||||||||||||
| Date: | 2013 | ||||||||||||
| Refereed publication: | Yes | ||||||||||||
| Open Access: | No | ||||||||||||
| Gold Open Access: | No | ||||||||||||
| In SCOPUS: | No | ||||||||||||
| In ISI Web of Science: | No | ||||||||||||
| Page Range: | pp. 60-65 | ||||||||||||
| Status: | Published | ||||||||||||
| Keywords: | Hardware-Entwurf, Systembeschreibung, Äquivalenzprüfung, Integrierte Schaltkreise | ||||||||||||
| Event Title: | IEEE Int’l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) | ||||||||||||
| Event Location: | Karlovy Vary | ||||||||||||
| Event Type: | international Conference | ||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||
| HGF - Program: | Space | ||||||||||||
| HGF - Program Themes: | Space Technology | ||||||||||||
| DLR - Research area: | Raumfahrt | ||||||||||||
| DLR - Program: | R SY - Technik für Raumfahrtsysteme | ||||||||||||
| DLR - Research theme (Project): | R - Core Avionics | ||||||||||||
| Location: | Bremen | ||||||||||||
| Institutes and Institutions: | Institute of Space Systems > Avionics Systems | ||||||||||||
| Deposited By: | Fey, Görschwin | ||||||||||||
| Deposited On: | 08 Jan 2014 12:47 | ||||||||||||
| Last Modified: | 08 May 2014 23:30 |
Repository Staff Only: item control page
