Designing and Verifying Embedded Microprocessors. - Crouch, Al; Freeman, Jeff (IEEE Des. Test Comput., 1997)