ABSTRACT In the dynamic fields of semiconductor design and digital system development, effective verification procedures are in high demand. In particular, functional verification is essential for space systems to guarantee mission success, prevent errors in…
ABSTRACT - In recent years, optical communications have gained a foothold in satellite communications because of their high bandwidth data transmission capability and the capacity to cover much greater distances than radio systems. Recently, the…
Abstract — This paper describes how different IP Cores for on-board high-speed data interfaces have been developed and verified by IngeniArs S.r.l. These are the CODECs and Routers implementing SpaceWire and SpaceFibre communication protocols, i.e.,…
Authors: N. Ferrante, L. Fanucci, F. Rossi, F. Terrosi, A. Bondavalli ABSTRACT To achieve confidence in safety-critical systems, requires among others to meet high requirements on online testing of computer systems, as dictated by safety standards…
Authors: N. Ferrante, L. Fanucci, F. Rossi, F. Terrosi, A. Bondavalli ABSTRACT To achieve confidence in safety-critical systems, requires among others to meet high requirements on online testing of computer systems, as dictated by safety standards…