Single-Cycle CPU Micro-Architecture Design and Reference-Model-Based Verification