Timing Verification and Optimization Method of Spacecraft Signal Processing Circuit | IEEE Conference Publication | IEEE Xplore