Combined Dynamic and Formal Verification Approach to Processor Veri... - Aimee Sutton & Xiaolin Chen