Little Computer 3 (LC3) Design and Verification