Reining In The Functional Verification Of Complex Processor Designs With Automation, Prioritization, And Approximation