Advanced Automation in Formal Verification of Processors