Design and verification of an embedded microprocessor | IEEE Conference Publication | IEEE Xplore