Design and Verification of Microprocessor Systems for