Back to the moon: The verification of a small microprocessor’s logic design

摘要

The original and primary task of self-test program Smalley3 was independent verification of the logic design of the LOLA DU (Lunar Orbiter Laser Altimeter Digital Unit) microprocessor. Tasks were added to verify continuing correct operation of this central processing unit (CPU) under margin testing for supply voltage, ambient temperature, and clock frequency. Finally, an on-orbit diagnostic task was added so that any malfunctions of LOLA in lunar orbit can be identified as faults in, or not in, the CPU.