Tell a friend
Print
Thole, Niels and Riener, Heinz and Fey, Görschwin (2016) Equivalence Checking on ESL Utilizing A Priori Knowledge. Forum on specification & Design Languages (FDL) 2016, 2016-09-14 - 2016-09-16, Bremen, Deutschland. doi: 10.1109/FDL.2016.7880367. ISBN 979-109227917-7. ISSN 1636-9874.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Only accessible within DLR
279kB |
| Item URL in elib: | https://elib.dlr.de/105922/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||
| Title: | Equivalence Checking on ESL Utilizing A Priori Knowledge | ||||||||||||||||
| Authors: |
| ||||||||||||||||
| Date: | 2016 | ||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||
| Open Access: | No | ||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||
| DOI: | 10.1109/FDL.2016.7880367 | ||||||||||||||||
| ISSN: | 1636-9874 | ||||||||||||||||
| ISBN: | 979-109227917-7 | ||||||||||||||||
| Status: | Published | ||||||||||||||||
| Keywords: | Electronic Design Automation, Equivalence Checking, Formal Methods | ||||||||||||||||
| Event Title: | Forum on specification & Design Languages (FDL) 2016 | ||||||||||||||||
| Event Location: | Bremen, Deutschland | ||||||||||||||||
| Event Type: | international Conference | ||||||||||||||||
| Event Start Date: | 14 September 2016 | ||||||||||||||||
| Event End Date: | 16 September 2016 | ||||||||||||||||
| Organizer: | Electronic Chips & Systems Design Initiative | ||||||||||||||||
| 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 - Small Sat Kleinsatelliten (old), R - Systemtechnologien (old) | ||||||||||||||||
| Location: | Bremen | ||||||||||||||||
| Institutes and Institutions: | Institute of Space Systems > Avionics Systems | ||||||||||||||||
| Deposited By: | Mörz, Martina | ||||||||||||||||
| Deposited On: | 08 Sep 2016 09:30 | ||||||||||||||||
| Last Modified: | 21 Oct 2024 10:59 |
Repository Staff Only: item control page
