elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Formal Arbitration and Data Integrity Checking of a SpaceWire Router IP-Core

Borchers, Kai (2022) 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] 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:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Borchers, KaiUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Date:October 2022
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:
EditorsEmailEditor's ORCID iDORCID Put Code
Borchers, KaiUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
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:14 Nov 2023 09:05

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.