The SECD Microprocessor: A Verification Case Study (The Springer International Series in Engineering and Computer Science)