Exhaustive Equivalence Checking on AMD’s Next-generation Microprocessor Core Author(s): Baosheng Wang, Brian McMinn, Borhan Roohipour, Ashok Venkatachar, Arun Chandra, Richard Bartolotti, and Lerzan Celikkanat Download