LC-3 Microcontroller Verification: Fetch and Decode Block