Seol mar théacs é seo: Practical Formal Verification in Microprocessor Design