Abstract: The increasing number of Resident Space Objects (RSOs), encompassing operational satellites and space debris, presents a significant challenge to space mission safety and efficiency.

Abstract: This paper introduces the initial steps towards formal verification of a wave-union based time-to-digital converter (TDC) system designed in a field-programmable gate array (FPGA). Although ...