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), 2013-04-08 - 2013-04-10, Karlovy Vary. doi: 10.1109/DDECS.2013.6549789.
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 | ||||||||||||||||
| DOI: | 10.1109/DDECS.2013.6549789 | ||||||||||||||||
| 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 | ||||||||||||||||
| Event Start Date: | 8 April 2013 | ||||||||||||||||
| Event End Date: | 10 April 2013 | ||||||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||
| HGF - Program: | Space | ||||||||||||||||
| HGF - Program Themes: | Space System Technology | ||||||||||||||||
| DLR - Research area: | Raumfahrt | ||||||||||||||||
| DLR - Program: | R SY - Space System Technology | ||||||||||||||||
| DLR - Research theme (Project): | R - Core Avionics (old) | ||||||||||||||||
| 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: | 05 Jun 2024 08:09 |
Repository Staff Only: item control page
