Tell a friend
Print
Borchers, Kai (2023) Formal Arbitration and Data Integrity Checking of a SpaceWire Router IP-Core. In: 2023 IEEE Aerospace Conference, AERO 2023. IEEE Xplore. IEEE Aerospace Conference, Big Sky, MT, USA. doi: 10.1109/AERO55745.2023.10115829. ISBN 978-166549032-0. ISSN 1095-323X.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Only accessible within DLR
407kB |
Official URL: https://ieeexplore.ieee.org/document/10115829
Abstract
Verification of Register Transfer Level (RTL) designs is still a challenging task. Even today, simulation is often considered the only viable option for verifying designs before implementation. Thereby, Formal Property Verification (FPV) provides an additional verification approach. Capable of addressing simulation-specific problems like incompleteness and frequently able to be more efficient concerning complexity and consumed time. This paper shows how FPV is applied to prove the major functionality of a SpaceWire router which covers packet arbitration and data integrity properties. On one hand, the paper includes basic approaches to allow property definitions for packet-based designs. On the other hand, typical FPV problems like system complexity issues are discussed and possible solutions are outlined.
| Item URL in elib: | https://elib.dlr.de/195221/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||
| Title: | Formal Arbitration and Data Integrity Checking of a SpaceWire Router IP-Core | ||||||||
| Authors: |
| ||||||||
| Date: | 2023 | ||||||||
| Journal or Publication Title: | 2023 IEEE Aerospace Conference, AERO 2023 | ||||||||
| Refereed publication: | Yes | ||||||||
| Open Access: | No | ||||||||
| Gold Open Access: | No | ||||||||
| In SCOPUS: | Yes | ||||||||
| In ISI Web of Science: | Yes | ||||||||
| DOI: | 10.1109/AERO55745.2023.10115829 | ||||||||
| Editors: |
| ||||||||
| Publisher: | IEEE Xplore | ||||||||
| ISSN: | 1095-323X | ||||||||
| ISBN: | 978-166549032-0 | ||||||||
| Status: | Published | ||||||||
| Keywords: | FPGA, SystemVerilog, SVA, Formal, FPV | ||||||||
| Event Title: | IEEE Aerospace Conference | ||||||||
| Event Location: | Big Sky, MT, USA | ||||||||
| Event Type: | international Conference | ||||||||
| 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 - ScOSA Flight Experiment | ||||||||
| Location: | Bremen | ||||||||
| Institutes and Institutions: | Institute of Space Systems > Avionics Systems | ||||||||
| Deposited By: | Borchers, Kai | ||||||||
| Deposited On: | 25 May 2023 09:26 | ||||||||
| Last Modified: | 06 Aug 2025 15:10 |
Repository Staff Only: item control page
